skip to main content
10.1145/1370700.1370706acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

Towards a solution for synchronizing disparate models of ultra-large-scale systems

Published:10 May 2008Publication History

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.

References

  1. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  2. G. Behrmann, A. David, and K. G. Larsen. A tutorial on uppaal. In SFM, pages 200--236, 2004.Google ScholarGoogle ScholarCross RefCross Ref
  3. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  4. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  5. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, MA, 1995. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  7. S. E. Institute. Ultra-Large-Scale Systems: Software Challenge of the Future. Technical report, Carnegie Mellon University, Pittsburgh, PA, USA, Jun 2006.Google ScholarGoogle Scholar
  8. G. Karsai, A. Lang, and S. Neema. Design Patterns for Open Tool Integration. Software and Systems Modeling (SoSym), 4(2):157--170, 2005.Google ScholarGoogle Scholar
  9. 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 ScholarGoogle Scholar
  10. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  11. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  12. Object Management Group. Unified Modeling Language (UML) v1.4, OMG Document formal/2001-09-67 edition, Sept. 2001.Google ScholarGoogle Scholar
  13. 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 ScholarGoogle ScholarDigital LibraryDigital Library
  14. D. C. Schmidt. Model-Driven Engineering. IEEE Computer, 39(2):25--31, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. 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 ScholarGoogle Scholar
  16. 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 ScholarGoogle ScholarDigital LibraryDigital Library

Index Terms

  1. Towards a solution for synchronizing disparate models of ultra-large-scale systems

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        ULSSIS '08: Proceedings of the 2nd international workshop on Ultra-large-scale software-intensive systems
        May 2008
        80 pages
        ISBN:9781605580265
        DOI:10.1145/1370700
        • General Chairs:
        • Kevin Sullivan,
        • Rick Kazman

        Copyright © 2008 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 10 May 2008

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        ULSSIS '08 Paper Acceptance Rate19of19submissions,100%Overall Acceptance Rate19of19submissions,100%

        Upcoming Conference

        ICSE 2024
      • Article Metrics

        • Downloads (Last 12 months)3
        • Downloads (Last 6 weeks)0

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader