On the role of basic design concepts in behaviour structuring
Computer Networks and ISDN Systems - Special issue: specification architecture
A survey of structured and object-oriented software specification methods and techniques
ACM Computing Surveys (CSUR)
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
Refining Interfaces of Communicating Systems
TAPSOFT '91 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD)
A Systematic Approach to Platform-Independent Design Based on the Service Concept
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
A Rigorous Approach to Relate Enterprise and Computational Viewpoints
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
On the Notion of Abstract Platform in MDA Development
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
On Architectural Support For Behaviour Refinement In Distributed Systems Design
Journal of Integrated Design & Process Science
Aspect-Oriented Development with Stratified Frameworks
IEEE Software
Generating systems from multiple levels of abstraction
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
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
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
In a model-driven design process the interaction between application parts can be described at various levels of platform-independence. At the lowest level of platform-independence, interaction is realized by interaction mechanisms provided by specific middleware platforms. At higher levels of platform-independence, interaction must be described in such a way that it can be further refined and realized onto a number of different middleware platforms, each with its particular interaction mechanisms and implementation constraints. In this paper we investigate concepts that support interaction design at various levels of middleware-platformindependence. Also, we propose design operations for interaction refinement. The application of these operations to source designs results in target designs that take into account implementation constraints imposed by platforms, while preserving characteristics prescribed in source designs.