A fully abstract semantics for data flow nets
Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
The Z notation: a reference manual
The Z notation: a reference manual
The UML as a formal modeling notation
Computer Standards & Interfaces - Special issue on semantics in specifications
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
Modeling Languages: Syntax, Semantics and All That Stuff, Part I: The Basic Stuff
An Algebraic Framework for Merging Incomplete and Inconsistent Views
RE '05 Proceedings of the 13th IEEE International Conference on Requirements Engineering
Proceedings of the 2006 international workshop on Global integrated model management
Formal Model Merging Applied to Class Diagram Integration
Electronic Notes in Theoretical Computer Science (ENTCS)
Using a model merging language for reconciling model versions
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A canonical scheme for model composition
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A reference process for model composition
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Detecting and Resolving Process Model Differences in the Absence of a Change Log
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Model Superimposition in Software Product Lines
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A Framework for Testing Model Composition Engines
SC '09 Proceedings of the 8th International Conference on Software Composition
Variability in Automation System Models
ICSR '09 Proceedings of the 11th International Conference on Software Reuse: Formal Foundations of Reuse and Domain Engineering
Towards Class Diagram Algebra for Composing Data Models
Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10
Composition of architectural models: Empirical analysis and language support
Journal of Systems and Software
VirtualEMF: a model virtualization tool
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Towards model and language composition
Proceedings of the First Workshop on the Globalization of Domain Specific Languages
Hi-index | 0.00 |
Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide several complementary views on the system to be developed. This however leads to a need for compositional models. This paper describes a foundational theory of model composition in form of an algebra to explicitly clarify different variants and uses of composition, their interplay with the semantics of the involved models and their composition operators.