Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Where Do Operations Come From? A Multiparadigm Specification Technique
IEEE Transactions on Software Engineering - Special issue: best papers of the 1996 international symposium on software testing and analysis ISSTA'96
Formal modeling in a commercial setting: a case study
Journal of Systems and Software
Model-based analysis of distributed real-time embedded system composition
Proceedings of the 5th ACM international conference on Embedded software
RTCSA '06 Proceedings of the 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
A dynamic topological sort algorithm for directed acyclic graphs
Journal of Experimental Algorithmics (JEA)
Time-bounded adaptation for automotive system software
Proceedings of the 30th international conference on Software engineering
Hi-index | 0.00 |
Traditional model-driven engineering (MDE) techniques rely on a paradigm where systems are developed using tightly coupled, monolithic modeling tools. Such monolithic modeling tools address many concerns, but operate largely in isolation of one another. As system size and complexity grow to become ultra-large-scale (ULS) systems, it is becoming clear that no single monolithic modeling tool can capture all the concerns of an ULS system. It is therefore essential that isolated modeling tools collaborate with each other when realizing ULS systems. This position paper presents our approach to facilitate collaboration between disparate MDE tools and their models. Our approach is based on model attributes, which are key/shared assumptions/concerns about an ULS system, extracted from a source model and used to synchronize disparate models. Our approach is suitable for ULS systems because the independent relation created between the isolated models and the model attributes enables independent trade-off analysis between models, decentralized development of models, and integration with inconsistent and rapidly changing models that are ideal for a particular domain or feature of a ULS system.