Nothing Special   »   [go: up one dir, main page]

skip to main content
10.1109/MISE.2009.5069899acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
Article

On the use of software models during software execution

Published: 17 May 2009 Publication History

Abstract

Increasingly software systems are required to survive variations in their execution environment without or with only little human intervention. Such systems are called “eternal software systems”. In contrast to the traditional view of development and execution as separate cycles, these modern software systems should not present such a separation. Research in MDE has been primarily concerned with the use of models during the first cycle or development (i.e. during the design, implementation, and deployment) and has shown excellent results. In this paper the author argues that an eternal software system must have a first-class representation of itself available to enable change. These runtime representations (or runtime models) will depend on the kind of dynamic changes that we want to make available during execution or on the kind of analysis we want the system to support. Hence, different models can be conceived. Self-representation inevitably implies the use of reflection. In this paper the author briefly summarizes research that supports the use of runtime models, and points out different issues and research questions.

References

[1]
Len Bass, Paul Clements, and Rick Kazman. Software Architecture in Practice. Addison-Wesley Professional, 2nd edition, 2003.
[2]
Nelly Bencomo. Supporting the Modelling and Generation of Reflective Middleware Families and Applications using Dynamic Variability. PhD thesis, 2008.
[3]
Nelly Bencomo, Gordon Blair, and Robert France. [email protected] workshop in conjunction with MODELS 2006 Conference, October 2006.
[4]
Nelly Bencomo, Robert France, and Gordon Blair. 2nd international workshop on [email protected]. In Holger Giese, editor, Workshops and Symposia at MODELS 2007, Lecture Notes in Computer Science. Springer-Verlag, 2007.
[5]
Nelly Bencomo, Paul Grace, Carlos Flores, Danny Hughes, and Gordon Blair. Genie: Supporting the model driven development of reflective, component-based adaptive systems. In ICSE 2008 - Formal Research Demonstrations Track, 2008.
[6]
Betty H.C. Cheng, Holger Giese, Paola Inverardi, Jeff Magee, and Rogerio de Lemos. Software engineering for self-adaptive systems: A research road map, Dagstuhl-seminar on software engineering for self-adaptive systems. 2008.
[7]
Paul Clements and Paul Kogut. The software architecture renaissance. Crosstalk - The Journal of Defense Software Engineering, 7(11), 1994.
[8]
Anthony Finkelstein. Talk "requirements reflection" in schloss Dagstuhl seminar on software engineering for self-adaptive systems. 2008.
[9]
Franck Fleurey, Vegard Dehlen, Nelly Bencomo, Brice Morin, and Jean-Marc Jézéquel. Modeling and validating dynamic adaptation. In Workshops and Symposia at MODELS 2008, volume 5421M.R.V. Chaudron, 2008.
[10]
Jacqueline Floch, Svein Hallsteinsen, Erlend Stav, Frank Eliassen, Ketil Lund, and Eli Gjorven. Using architecture models for runtime adaptability. Software IEEE, 23(2):62-70, 2006.
[11]
Robert France and Bernhard Rumpe. Model-driven development of complex software: A research roadmap. In L. Briand and A. Wolf, editors, Future of Software Engineering. IEEE-CS Press, 2007.
[12]
David Garlan. Software Architecture: a Roadmap. ACM Press, 2000.
[13]
David Garlan, Shang-Wen Cheng, An-Cheng Huang, Bradley Schmerl, and Peter Steenkiste. Rainbow: Architecture-based self-adaptation with reusable infrastructure. IEEE Computer, 37(10):46-54, 2004.
[14]
David Garlan and Bradley Schmer. Using architectural models at runtime: Research challenges. In European Workshop on Software Architectures, St. Andrews, Scotland, 2004.
[15]
Paul Grace, Gordon Blair, Carlos Flores, and Nelly Bencomo. Engineering complex adaptations in highly heterogeneous distributed systems. In 2nd International Conference on Autonomic Computing and Communication Systems (Autonomics 2008), Turin, Italy, 2008.
[16]
J. Kramer and J. Magee. The evolving philosophers problem: Dynamic change management. IEEE Transactions on Software Engineering, 16(11):1293-1306, 1990.
[17]
Brice Morin, Olivier Barais, Gregory Nain, and Jean-Marc Jezequel. Taming dynamically adaptive systems using models and aspects. In International COnference in Software Engineering (ICSE), 2009.
[18]
Brice Morin, Franck Fleurey, Nelly Bencomo, Jean-Marc Jézéquel, Arnor Solberg, Vegard Dehlen, and Gordon Blair. An aspect-oriented and model-driven approach for managing dynamic variability. In MODELS'08 Conference, France, 2008.
[19]
Oscar Nierstrasz, Marcus Denker, Tudor Girba, Adrian Lienhard, and David Rothlisberger. Challenges for Software-Intensive Systems and New Computing Paradigm, chapter Change-Enabled Software Systems. 2008.
[20]
Peyman Oreizy, Michael M. Gorlick, Richard N. Taylor, Dennis Heimbigner, Gregory Johnson, Nenad Medvidovic, Alex Quilici, David S. Rosenblum, and Alexander L. Wolf. An architecture-based approach to self-adaptive software. IEEE Intelligent Systems and Their Applications, 14(3):54- 62, 1999.
[21]
David Röthlisberger, Marcus Denker, and Éric Tanter. Unanticipated partial behavioral reflection: Adapting applications at runtime. Comput. Lang. Syst. Struct., 34(2-3):46-65, 2008.
[22]
B. C. Smith. Reflection and Semantics in a Procedural Language. PhD thesis, B. C. Smith. Reflection and Semantics in a Procedural Language. PhD thesis, M.I.T, 1982., 1982.
[23]
Martin Wirsing and Matthias Holzl. Report of the beyond the horizon thematic group 6 on software intensive systems. Technical report, 2006.
[24]
Edward Yourdon and Larry L. Constantine. Structured Design: Fundamentals of a Discipline of Computer Program and Systems Design. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1979.

Cited By

View all
  • (2019)Business process runtime modelsInformation Systems and e-Business Management10.1007/s10257-018-0374-217:1(27-64)Online publication date: 1-Mar-2019
  • (2018)A Pattern Language for Manual Analysis of Runtime Events Using Design ModelsProceedings of the 23rd European Conference on Pattern Languages of Programs10.1145/3282308.3282324(1-24)Online publication date: 4-Jul-2018
  • (2016)Controlled experiment on the comprehension of runtime phenomena using models created at design timeProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976768(151-161)Online publication date: 2-Oct-2016
  • Show More Cited By

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM Conferences
MISE '09: Proceedings of the 2009 ICSE Workshop on Modeling in Software Engineering
May 2009
83 pages
ISBN:9781424437221

Sponsors

Publisher

IEEE Computer Society

United States

Publication History

Published: 17 May 2009

Check for updates

Qualifiers

  • Article

Acceptance Rates

Overall Acceptance Rate 13 of 30 submissions, 43%

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)1
  • Downloads (Last 6 weeks)0
Reflects downloads up to 28 Sep 2024

Other Metrics

Citations

Cited By

View all
  • (2019)Business process runtime modelsInformation Systems and e-Business Management10.1007/s10257-018-0374-217:1(27-64)Online publication date: 1-Mar-2019
  • (2018)A Pattern Language for Manual Analysis of Runtime Events Using Design ModelsProceedings of the 23rd European Conference on Pattern Languages of Programs10.1145/3282308.3282324(1-24)Online publication date: 4-Jul-2018
  • (2016)Controlled experiment on the comprehension of runtime phenomena using models created at design timeProceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems10.1145/2976767.2976768(151-161)Online publication date: 2-Oct-2016
  • (2016)Modeling for sustainabilityProceedings of the 8th International Workshop on Modeling in Software Engineering10.1145/2896982.2896992(62-66)Online publication date: 14-May-2016
  • (2015)Reusable event types for models at runtime to support the examination of runtime phenomenaProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351742(4-13)Online publication date: 30-Sep-2015
  • (2015)A survey on engineering approaches for self-adaptive systemsPervasive and Mobile Computing10.1016/j.pmcj.2014.09.00917:PB(184-206)Online publication date: 1-Feb-2015
  • (2013)Conditional Safety Certification of Open Adaptive SystemsACM Transactions on Autonomous and Adaptive Systems10.1145/2491465.24914678:2(1-20)Online publication date: 1-Jul-2013
  • (2012)Model Based Monitoring and Controlling for Platform-as-a-Service PaaSInternational Journal of Cloud Applications and Computing10.4018/ijcac.20120101012:1(1-15)Online publication date: 1-Jan-2012
  • (2012)A model-driven monitoring approach for Internetware on platform-as-a-service (PaaS)Proceedings of the Fourth Asia-Pacific Symposium on Internetware10.1145/2430475.2430489(1-8)Online publication date: 30-Oct-2012
  • (2012)Autonomic pervasive applications driven by abstract specificationsProceedings of the 2012 international workshop on Self-aware internet of things10.1145/2378023.2378028(19-24)Online publication date: 17-Sep-2012
  • Show More Cited By

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media