ABSTRACT
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.
- K. Balasubramanian, A. Gokhale, J. Sztipanovits, G. Karsai, and S. Neema. Developing Applications Using Model-Driven Design Environments. IEEE Computer, 39(2):33--40, Feb. 2006. Google ScholarDigital Library
- G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In SFM, pages 200--236, 2004.Google ScholarCross Ref
- M. Chechik and A. Wong. Formal Modeling in a Commercial Setting: A Case Study. Journal of Systems and Software, 60(1):59--82, 2002. Google ScholarDigital Library
- S. Fritsch, A. Senart, D. C. Schmidt, and S. Clarke. Time-bounded Adaptation for Automotive System Software. In Proceedings of the Experience Track on Automotive Systems at the 30th International Conference on Software Engineering, Leipzig, Germany, May 2008. Google ScholarDigital Library
- E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, 1995. Google ScholarDigital Library
- J. H. Hill, J. Slaby, S. Baker, and D. C. Schmidt. Applying System Execution Modeling Tools to Evaluate Enterprise Distributed Real-time and Embedded System QoS. In Proceedings of the 12th International Conference on Embedded and Real-Time Computing Systems and Applications, Sydney, Australia, August 2006. Google ScholarDigital Library
- S. E. Institute. Ultra-Large-Scale Systems: Software Challenge of the Future. Technical report, Carnegie Mellon University, Pittsburgh, PA, USA, Jun 2006.Google Scholar
- G. Karsai, A. Lang, and S. Neema. Design Patterns for Open Tool Integration. Software and Systems Modeling (SoSym), 4(2):157--170, 2005.Google Scholar
- G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proceedings of the 11th European Conference on Object-Oriented Programming, pages 220--242, June 1997.Google Scholar
- A. Ledeczi, A. Bakay, M. Maroti, P. Volgysei, G. Nordstrom, J. Sprinkle, and G. Karsai. Composing Domain-Specific Design Environments. IEEE Computer, pages 44--51, November 2001. Google ScholarDigital Library
- G. Madl and S. Abdelwahed. Model-based analysis of distributed real-time embedded system composition. In EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software, pages 371--374, New York, NY, USA, 2005. ACM Press. Google ScholarDigital Library
- Object Management Group. Unified Modeling Language (UML) v1.4, OMG Document formal/2001-09-67 edition, Sept. 2001.Google Scholar
- D. J. Pearce and P. H. J. Kelly. A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs. Journal of Experimental Algorithmics (JEA), 11:1.7, 2006. Google ScholarDigital Library
- D. C. Schmidt. Model-Driven Engineering. IEEE Computer, 39(2):25--31, 2006. Google ScholarDigital Library
- J. White, D. C. Schmidt, and A. Gokhale. Simplifying autonomic enterprise java bean applications via model-driven development: a case study. Journal of Software and System Modeling, 2007.Google Scholar
- P. Zave and M. Jackson. Where Do Operations Come From?: A Multiparadigm Specification Technique. IEEE Transactions on Software Engineering, 22(7):508--528, July 1996. Google ScholarDigital Library
Index Terms
Towards a solution for synchronizing disparate models of ultra-large-scale systems
Recommendations
Models@ Run.time to Support Dynamic Adaptation
An approach for specifying and executing dynamically adaptive software systems combines model-driven and aspect-oriented techniques to help engineers tame the complexity of such systems while offering a high degree of automation and validation.
From aspect-oriented models to aspect-oriented code?: the maintenance perspective
AOSD '10: Proceedings of the 9th International Conference on Aspect-Oriented Software DevelopmentAspect-Oriented Modeling (AOM) provides support for separating concerns at the design level. Even though most AOM approaches provide means to execute the composition of the modularized concerns to obtain a composed model, it is also possible to keep the ...
Incremental model synchronization based on a trace model
SMO'09: Proceedings of the 9th WSEAS international conference on Simulation, modelling and optimizationModel synchronization is an extant and significant problem in model-related technologies. In general, a modeled system is composed of several models that are often related to one another. Consequently, if one model is altered in the development process, ...
Comments