next up previous
Next: Open Systems

Interface-Based Protocol Specification of Open Systems using PSL

Doug Lea (SUNY Oswego / NY CASE Center) - Jos Marlowe (Sun Microsystems Laboratories)


PSL is a framework for describing dynamic and architectural properties of open systems of components. PSL extends established interface-based tactics for describing the functional properties of open systems to the realm of protocol description. PSL specifications consist of logical and temporal rules relating situations, each of which describes potential states with respect to the roles of components, role attributes, and the issuance and reception of events. A specialized form, PSL/IDL supports protocol description in CORBA systems.

The paper version of this report will appear at ECOOP '95.

Doug Lea@Fri Mar 17 08:19:23 EST 1995