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
The paper version of this report will appear at ECOOP '95.
Doug Lea@Fri Mar 17 08:19:23 EST 1995