Communicating sequential processes
Communicating sequential processes
Regular types for active objects
OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
Interfaces, protocols, and the semi-automatic construction of software adaptors
OOPSLA '94 Proceedings of the ninth annual conference on Object-oriented programming systems, language, and applications
Reuse contracts: managing the evolution of reusable assets
Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Handbook of Theoretical Computer Science
Handbook of Theoretical Computer Science
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Inheriting Synchronization Protocols via Sound Enrichment Rules
JMLC '97 Proceedings of the Joint Modular Languages Conference on Modular Programming Languages
Object Protocols as Functional Parsers
ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Requirements for a Composition Language
ECOOP '94 Selected papers from the ECOOP'94 Workshop on Models and Languages for Coordination of Parallelism and Distribution, Object-Based Models and Languages for Concurrent Systems
The specification of process synchronization by path expressions
Operating Systems, Proceedings of an International Symposium
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A formal approach to software architecture
A formal approach to software architecture
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
SOFSEM '02 Proceedings of the 29th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Enhancing component specification by behavior description: the SOFA experience
WISICT '05 Proceedings of the 4th international symposium on Information and communication technologies
Component composition errors and update atomicity: static analysis: Research Articles
Journal of Software Maintenance and Evolution: Research and Practice - Unanticipated Software Evolution
Getting 'Whole Picture' Behavior In A Use Case Model
Journal of Integrated Design & Process Science
IEEE Transactions on Software Engineering
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
SOFSEM '07 Proceedings of the 33rd conference on Current Trends in Theory and Practice of Computer Science
Specifying Component Behavior with Port State Machines
Electronic Notes in Theoretical Computer Science (ENTCS)
Exceptions in component interaction protocols – necessity
Proceedings of the 2004 international conference on Architecting Systems with Trustworthy Components
| Hi-index | 0.00 |
In this paper, we welcome the SOFA Component Description Language with a semantic desription of a Components functionality. There are two key requirements this description aims to address: first, it should ensure correct composition of the nested architectural adstractions (for design purposes): second, it should be easy-to-read so that an average user can identify a component with the correct semantics for the purposes of component trading. The semantic description in SOFA expresses the behavior of the component in terms of behavior protocols using a notation similar to regular expressions which is easy to read and comprehend. The behavior protocols are used on three levels: interface, frame, and architecture. The key achievements of this paper include the definition of the protocol conformance relation. Using this relation, the designer can in most cases statically verify that the frame protocol adheres to the requirements of the interface protocols, and that the architecture protocol adheres to the requirements of the frame and interface protocols.