PROCOL: a parallel object language with protocols
OOPSLA '89 Conference proceedings on Object-oriented programming systems, languages and applications
Finite transition systems: semantics of communicating systems
Finite transition systems: semantics of communicating systems
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Classification and Comparison Framework for Software Architecture Description Languages
IEEE Transactions on Software Engineering
Concurrency: state models & Java programs
Concurrency: state models & Java programs
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Handbook of Process Algebra
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Specifying Distributed Software Architectures
Proceedings of the 5th European Software Engineering Conference
AMAST '00 Proceedings of the 8th International Conference on Algebraic Methodology and Software Technology
Load-Time Structural Reflection in Java
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Component-Based Programming and Application Management with Olan
OBPDC '95 Selected papers from the Workshop, on Object-Based Parallel and Distributed Computation
Aspect-Oriented Programming with AspectJ
Aspect-Oriented Programming with AspectJ
A formal approach to software architecture
A formal approach to software architecture
Integration of formal datatypes within state diagrams
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Adaptation for Hierarchical Components and Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Enforcing web services business protocols at run-time: a process-driven approach
International Journal of Web Engineering and Technology
Defining component protocols with service composition: illustration with the Kmelia model
SC'07 Proceedings of the 6th international conference on Software composition
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
Electronic Notes in Theoretical Computer Science (ENTCS)
Enriching Java Enterprise interfaces with formal sequential contracts
Proceedings of the Third Workshop on Behavioural Modelling
A model of components with non-regular protocols
SC'05 Proceedings of the 4th international conference on Software Composition
Checking component composability
SC'06 Proceedings of the 5th international conference on Software Composition
| Hi-index | 0.00 |
Component-Based Software Engineering (CBSE) has now emerged as a discipline for system development. An important issue is to fill the gap between high-level models (needed for analysis) and implementation. This paper describes a component model with explicit symbolic protocols based on Symbolic Transition Systems (STSs), and its implementation in Java. This implementation relies on controllers that encapsulate protocols and channels devoted to (possibly remote) communications between components.