Protocol design and implementation using formal methods
The Computer Journal - Special issue on formal methods: part 1
Bisimulation and action refinement
Selected papers of the 3rd workshop on Concurrency and compositionality
A design model for open distributed processing systems
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
The art of systems architecting
The art of systems architecting
On the role of basic design concepts in behaviour structuring
Computer Networks and ISDN Systems - Special issue: specification architecture
LOTOSphere: Software Development with Lotos
LOTOSphere: Software Development with Lotos
What Makes Industries Believe in Formal Methods
Proceedings of the IFIP TC6/WG6.1 Thirteenth International Symposium on Protocol Specification, Testing and Verification XIII
Adding Action Refinement to a Finite Process Algebra
ICALP '91 Proceedings of the 18th International Colloquium on Automata, Languages and Programming
Service Creation: A Model-Based Approach
FTDCS '99 Proceedings of the 7th IEEE Workshop on Future Trends of Distributed Computing Systems
An Engineering Approach towards Action Refinement
FTDCS '95 Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems
Methodological support for service-oriented design with ISDL
Proceedings of the 2nd international conference on Service oriented computing
An approach to relate business and application services using ISDL
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Abstract Interactions and Interaction Refinement in Model-Driven Design
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
COSMO: A conceptual framework for service modelling and refinement
Information Systems Frontiers
The adequacy of languages for representing interaction mechanisms
Information Systems Frontiers
Requirements traceability in model-driven development: Applying model and transformation conformance
Information Systems Frontiers
Designing interaction behaviour in service-oriented enterprise application integration
Proceedings of the 2008 ACM symposium on Applied computing
Modelling and analysing interoperability in service compositions using COSMO
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Abstractions of interaction mechanisms
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Interaction refinement in the design of business collaborations
Proceedings of the 2010 ACM Symposium on Applied Computing
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
Requirements and method for assessment of service interoperability
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Model-driven development of context-aware services
DAIS'06 Proceedings of the 6th IFIP WG 6.1 international conference on Distributed Applications and Interoperable Systems
Extending profiles with stereotypes for composite concepts
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
An architectural model for component groupware
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
| Hi-index | 0.00 |
During the top-down design of distributed systems, abstract designs have to be replaced by more concrete designs, which add details that define how these systems can be implemented using available building blocks. Behaviour refinement is a design operation in which abstract behaviours are replaced by more concrete behaviours. Methods that guide and enforce the correctness of these replacements are necessary. This paper presents a set of methods to perform behaviour refinement, based on a careful consideration of the architectural concepts of action and causality relation. Correctness is enforced by validation of the conformance relation between an abstract and a concrete behaviour. Rules are provided to determine whether a concrete behaviour conforms to an abstract behaviour.