|
Protocol Specification Language (PSL) is a framework for describing dynamic and architectural properties of component-centered 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 the roles of components, role attributes, and the issuance and reception of events. A specialized form, PSL/IDL supports design methods and engineering tools for describing protocols in CORBA systems.
|
