Introduction to graph theory
A comparative analysis of methodologies for database schema integration
ACM Computing Surveys (CSUR)
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Rondo: a programming platform for generic model management
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
GME: the generic modeling environment
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Modeling Heterogeneous Real-time Components in BIP
SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Exploring Multi-Paradigm Modeling Techniques
Simulation
Model-driven interoperability: MDI 2010
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
A plug-in based approach for UML model simulation
ECMFA'12 Proceedings of the 8th European conference on Modelling Foundations and Applications
A Model Driven Approach for the Development of Semantic RESTful Web Services
Proceedings of International Conference on Information Integration and Web-based Applications & Services
| Hi-index | 0.00 |
Software system integration is a process in which the target system is synthesised from discrete components (subsystems) whilst ensuring they function together as a system and are able to deliver required functionality. System integration is particularly important in projects in which new technologies must integrate with legacy systems. In such scenarios, this process can be broadly divided in two stages: interoperability checking and composition. Model-based approaches are promising since they allow us to carry out some of this process earlier (thus identifying problems earlier in the development lifecycle when they are easier to rectify). In this paper we describe a generic modelbased platform for system integration, applicable to different modelling languages, that supports both interoperability checking (at different levels of abstraction) and composition; our presentation focuses on the platform's support for interoperability checking. The approach, which consists of a language and a simulation tool, is presented, and its use is illustrated in a simple example for interoperability checking involving architectural models enriched with behaviour.