Interface-Based Protocol Specification of Open Systems using PSL

PSL is a framework for describing dynamic and architectural properties of open systems. 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 instances of interfaces, their attributes, and the issuance and reception of events. PSL accommodates refinement and extensibility of specifications along the three dimensions of interfaces, situations, and orderings. A specialized form, PSL/IDL describes protocols in CORBA systems.

• Type: Conference
• Year: 1995
• Where: ECOOP
• Authors: Doug Lea, Jos Marlowe
• Keywords: ECOOP 1995, Open Systems, Programming Languages, PSL Accommodates Refinement, PSL Specifications