On understanding types, data abstraction, and polymorphism
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
A Theory of Objects
Interface Theories for Component-Based Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
QEST '05 Proceedings of the Second International Conference on the Quantitative Evaluation of Systems
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Architecture in Practice: A Software Production Environment Based on Conceptual Modeling
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
A MDE Based Approach for Bridging Formal Models
TASE '08 Proceedings of the 2008 2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering
Dynamic Service Substitution in Service-Oriented Architectures
SERVICES '08 Proceedings of the 2008 IEEE Congress on Services - Part I
Multiformalism and transformation inheritance for dependability analysis of critical systems
IFM'10 Proceedings of the 8th international conference on Integrated formal methods
Defining Formalisms for Performance Evaluation With SIMTHESys
Electronic Notes in Theoretical Computer Science (ENTCS)
Exploiting multiformalism models for testing and performance evaluation in SIMTHESys
Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools
Exploiting product forms solution techniques in multiformalism modeling
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
Component based modeling is of great importance for building and analyzing models of real systems. It is based on a well known paradigm which makes use of abstraction and composition. In this paper we focus on abstraction, by describing a practical approach to the definition of very simple interface models allowing the substitution of components within composed multiformalism models. The work extends the OsMoSys methodology and relies on meta-modeling. This paper does not discuss formal aspects about interface theory and components interaction, but focuses on the problem of building component models in practice with the ultimate goal of solving them by using (the existing) analysis tools. The paper formally extends the OsMoSys conceptual model in order to introduce model interfaces and to provide some rules for interface compatibility. The paper also describes some steps towards the full definition of mechanisms for interface binding and their implementation.