A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Statecharts: A visual formalism for complex systems
Science of Computer Programming
PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Regular types for active objects
Object-oriented software composition
Tutorial on message sequence charts
Computer Networks and ISDN Systems - Special issue on SDL and MSC
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
A formal approach to software architecture
A formal approach to software architecture
Interaction refinement in the design of business collaborations
Proceedings of the 2010 ACM Symposium on Applied Computing
Property-preserving evolution of components using VPA-based aspects
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Automating the building of software component architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
SC'05 Proceedings of the 4th international conference on Software Composition
Tracechecks: defining semantic interfaces with temporal logic
SC'06 Proceedings of the 5th international conference on Software Composition
| Hi-index | 0.00 |
Component-based programming, which promises to facilitate the construction of large-scale applications, relies to a large degree on interfaces. Interfaces on most component models only declare types and sets of services that components implement, and are not expressive enough to formulate structural and behavioral properties of components. In this paper we show how to integrate one important class of behavioral properties: constraints on the sequentialization of services. We are interested in operators for the construction of components, satisfying a correctness property, allowing a component to be substituted by another one. We define a set of protocol composition operators satisfying the correctness property, we provide a first step toward the integration of additional abstract state information into protocols, and we apply our theory to two widely-used component models: JavaBeans and Enterprise JavaBeans.