Interface-Based Protocol Specification of Open Systems using PSL
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
The MOCA platform: simulating the dynamics of social networks
MABS'02 Proceedings of the 3rd international conference on Multi-agent-based simulation II
Hi-index | 0.00 |
Protocol Specification Language (PSL) is a framework for describingdynamic and architectural properties of component-centered opensystems. PSL extends established interface-based tactics fordescribing the functional properties of open systems to the realmof protocol description. PSL specifications consist of logical andtemporal rules relating situations, each of which describespotential states with respect to the roles of components,role attributes, and the issuance and reception of events. Aspecialized form, PSL/IDL supports design methods and engineeringtools for describing protocols in CORBA systems.