Skip to main content
Erschienen in: Software and Systems Modeling 6/2019

25.04.2019 | Regular Paper

Broadened support for software and system model interchange

verfasst von: Catalina M. Lladó, Connie U. Smith

Erschienen in: Software and Systems Modeling | Ausgabe 6/2019

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

Although sound performance analysis theories and techniques exist, they are not widely used because they require extensive expertise in performance modeling and measurement. The overall goal of our work is to make performance modeling more accessible by automating much of the modeling effort. We have proposed a model interoperability framework that enables performance models to be automatically exchanged among modeling (and other) tools. The core of the framework is a set of model interchange formats (MIF): a common representation for data required by performance modeling tools. Our previous research developed a representation for system performance models (PMIF) and another for software performance models (S-PMIF), both based on the Queueing Network Modeling (QNM) paradigm. In order to manage the research scope and focus on model interoperability issues, the initial MIFs were limited to QNMs that can be solved by efficient, exact solution algorithms. The overall model interoperability approach has now been demonstrated to be viable. This paper broadens the scope of PMIF and S-PMIF to represent models that can be solved with additional methods such as analytical approximations or simulation solutions. It presents the extensions considered, describes the extended meta-models, and provides verification with examples and a case study.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
We opted not to change the name to QueueingNetworkModelPlus so that previous models are still compatible with this meta-model.
 
Literatur
1.
Zurück zum Zitat Smith, C.U., Lladó, C.M., Puigjaner, R.: Model interchange format specifications for experiments, output and results. Comput. J. 54, 674–690 (2011)CrossRef Smith, C.U., Lladó, C.M., Puigjaner, R.: Model interchange format specifications for experiments, output and results. Comput. J. 54, 674–690 (2011)CrossRef
2.
Zurück zum Zitat Smith, C.U., Lladó, C.M.: Performance model interchange format (PMIF 2.0): XML definition and implementation. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems, pp. 38–47, September (2004) Smith, C.U., Lladó, C.M.: Performance model interchange format (PMIF 2.0): XML definition and implementation. In: Proceedings of the First International Conference on the Quantitative Evaluation of Systems, pp. 38–47, September (2004)
3.
Zurück zum Zitat Smith, C.U., Lladó, C.M., Puigjaner, R.: Performance model interchange format (PMIF 2): a comprehensive approach to queueing network model interoperability. Perform. Eval. 67(7), 548–568 (2010)CrossRef Smith, C.U., Lladó, C.M., Puigjaner, R.: Performance model interchange format (PMIF 2): a comprehensive approach to queueing network model interoperability. Perform. Eval. 67(7), 548–568 (2010)CrossRef
4.
Zurück zum Zitat Smith, C.U., Cortellessa, V., Di Marco, A., Lladó, C.M., Williams, L.G.: From uml models to software performance results: an SPE process based on XML interchange formats. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP), pp. 87–98. July (2005) Smith, C.U., Cortellessa, V., Di Marco, A., Lladó, C.M., Williams, L.G.: From uml models to software performance results: an SPE process based on XML interchange formats. In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP), pp. 87–98. July (2005)
5.
Zurück zum Zitat Moreno, G.A., Smith, C.U.: Performance analysis of real-time component architectures: an enhanced model interchange approach. Perform Eval. Spec. Issue Softw. Perform. 67, 612–633 (2010)CrossRef Moreno, G.A., Smith, C.U.: Performance analysis of real-time component architectures: an enhanced model interchange approach. Perform Eval. Spec. Issue Softw. Perform. 67, 612–633 (2010)CrossRef
6.
Zurück zum Zitat Woodside, M., Petriu, D.C., Merseguer, J., Petriu, D.B., Alhaj, M.: Transformation challenges: from software models to performance models. Softw. Syst. Model. 13(4), 1529–1552 (2014)CrossRef Woodside, M., Petriu, D.C., Merseguer, J., Petriu, D.B., Alhaj, M.: Transformation challenges: from software models to performance models. Softw. Syst. Model. 13(4), 1529–1552 (2014)CrossRef
8.
Zurück zum Zitat Smith, C.U., Williams, L.G.: A performance model interchange format. J. Syst. Softw. 49(1), 63–80 (1999)CrossRef Smith, C.U., Williams, L.G.: A performance model interchange format. J. Syst. Softw. 49(1), 63–80 (1999)CrossRef
9.
Zurück zum Zitat Williams, L.G., Smith, C.U.: Information requirements for software performance engineering. In: Beilner, H., Bause, F. (eds.) Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, pp. 86–101. Springer, Berlin (1995)CrossRef Williams, L.G., Smith, C.U.: Information requirements for software performance engineering. In: Beilner, H., Bause, F. (eds.) Quantitative Evaluation of Computing and Communication Systems, Lecture Notes in Computer Science, pp. 86–101. Springer, Berlin (1995)CrossRef
10.
Zurück zum Zitat Troya, J., Vallecillo, A.: Specification and simulation of queuing network models using domain–specific languages. Comput. Stand. Interfaces 36(5), 863–879 (2014)CrossRef Troya, J., Vallecillo, A.: Specification and simulation of queuing network models using domain–specific languages. Comput. Stand. Interfaces 36(5), 863–879 (2014)CrossRef
11.
Zurück zum Zitat Berardinelli, L., Maetzler, E., Mayerhofen, T., Wimmer, M.: Integrating performance modeling in industrial automation through automationml and pmif. In: 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), pp. 383–388, July (2016) Berardinelli, L., Maetzler, E., Mayerhofen, T., Wimmer, M.: Integrating performance modeling in industrial automation through automationml and pmif. In: 2016 IEEE 14th International Conference on Industrial Informatics (INDIN), pp. 383–388, July (2016)
12.
Zurück zum Zitat Lladó, C.M., Smith, C.U., Bonet, P.: A model transformation tool: Pmif+ to qnap. In: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (2014) Lladó, C.M., Smith, C.U., Bonet, P.: A model transformation tool: Pmif+ to qnap. In: Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools (2014)
13.
Zurück zum Zitat Lladó, C.M., Smith, C.U.: Pmif+: Extensions to broaden the scope of supported models. In: Computer Performance Engineering LNCS 8168. Proceedings of the 10th European Workshop, EPEW 2013 (2013) Lladó, C.M., Smith, C.U.: Pmif+: Extensions to broaden the scope of supported models. In: Computer Performance Engineering LNCS 8168. Proceedings of the 10th European Workshop, EPEW 2013 (2013)
14.
Zurück zum Zitat Smith, C.U., Lladó, C.M.: SPE for the internet of things and other real-time embedded systems. In: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion, ICPE ’17 Companion, pp. 227–232. ACM, New York, NY Smith, C.U., Lladó, C.M.: SPE for the internet of things and other real-time embedded systems. In: Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering Companion, ICPE ’17 Companion, pp. 227–232. ACM, New York, NY
15.
Zurück zum Zitat Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Boston (2002) Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley, Boston (2002)
17.
Zurück zum Zitat Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Boston (1990) Smith, C.U.: Performance Engineering of Software Systems. Addison-Wesley, Boston (1990)
20.
Zurück zum Zitat Simulog. MODLINE 2.0 QNAP2 9.3: Reference Manual (1996) Simulog. MODLINE 2.0 QNAP2 9.3: Reference Manual (1996)
22.
Zurück zum Zitat Bertoli, M., Casale, G., Serazzi, G.: JMT: performance engineering tools for system modeling. SIGMETRICS Perform. Eval. Rev. 36(4), 10–15 (2009)CrossRef Bertoli, M., Casale, G., Serazzi, G.: JMT: performance engineering tools for system modeling. SIGMETRICS Perform. Eval. Rev. 36(4), 10–15 (2009)CrossRef
26.
Zurück zum Zitat Electronics Industries Association. CDIF– CASE Data Interchange Format Overview. EIA/IS-106 (1994) Electronics Industries Association. CDIF– CASE Data Interchange Format Overview. EIA/IS-106 (1994)
27.
Zurück zum Zitat Woodside, C.M., Petriu, D.B.: An intermediate metamodel with scenarios and resources for generating performance models from uml designs. Softw. Syst. Model. 6(2), 163–184 (2007)CrossRef Woodside, C.M., Petriu, D.B.: An intermediate metamodel with scenarios and resources for generating performance models from uml designs. Softw. Syst. Model. 6(2), 163–184 (2007)CrossRef
28.
Zurück zum Zitat Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP), pp. 1–12, July (2005) Woodside, C.M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by unified model analysis (PUMA). In: Proceedings of the Fifth International Workshop on Software and Performance (WOSP), pp. 1–12, July (2005)
29.
Zurück zum Zitat Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3–22 (2009)CrossRef Becker, S., Koziolek, H., Reussner, R.: The palladio component model for model-driven performance prediction. J. Syst. Softw. 82(1), 3–22 (2009)CrossRef
30.
Zurück zum Zitat Happe, J., Koziolek, H., Reussner, R.: Facilitating performance predictions using software components. IEEE Softw. 28(3), 27–33 (2011)CrossRef Happe, J., Koziolek, H., Reussner, R.: Facilitating performance predictions using software components. IEEE Softw. 28(3), 27–33 (2011)CrossRef
31.
Zurück zum Zitat Grassi, V., Mirandola, R., Randazzo, E., Sabetta, A.: Klaper: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability. The Common Component Modeling Example, volume 5153 of Lecture Notes in Computer Science, pp. 327–356. Springer, Berlin (2008) Grassi, V., Mirandola, R., Randazzo, E., Sabetta, A.: Klaper: An Intermediate Language for Model-Driven Predictive Analysis of Performance and Reliability. The Common Component Modeling Example, volume 5153 of Lecture Notes in Computer Science, pp. 327–356. Springer, Berlin (2008)
33.
34.
Zurück zum Zitat Selic, B., Gérard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. The MK/OMG Press, Los Altos (2013) Selic, B., Gérard, S.: Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE: Developing Cyber-Physical Systems. The MK/OMG Press, Los Altos (2013)
35.
Zurück zum Zitat Medina, J.L., Cuesta, A.G.: From composable design models to schedulability analysis with uml and the uml profile for marte. SIGBED Rev. 8(1), 64–68 (2011)CrossRef Medina, J.L., Cuesta, A.G.: From composable design models to schedulability analysis with uml and the uml profile for marte. SIGBED Rev. 8(1), 64–68 (2011)CrossRef
36.
Zurück zum Zitat Mohammad, A., Petriu, D.: Aspect-oriented modelling of platforms in software and performance models. In: Proceedigs of the International Conference on Electrical and Computer Systems (2012) Mohammad, A., Petriu, D.: Aspect-oriented modelling of platforms in software and performance models. In: Proceedigs of the International Conference on Electrical and Computer Systems (2012)
37.
Zurück zum Zitat Mohammad, A., Petriu, D.: Using aspects for platform-independent to platform-dependent model transformations. Int. J. Electr. Comput. Eng. 1, 35–48 (2012) Mohammad, A., Petriu, D.: Using aspects for platform-independent to platform-dependent model transformations. Int. J. Electr. Comput. Eng. 1, 35–48 (2012)
38.
Zurück zum Zitat Petriu, D.: Model driven engineering for distributed real-time systems: MARTE modelling, model transformations and their usages. In: Chapter Software Model-Based Performance Analysis, pp. 139–166. Wiley, New York (2010) Petriu, D.: Model driven engineering for distributed real-time systems: MARTE modelling, model transformations and their usages. In: Chapter Software Model-Based Performance Analysis, pp. 139–166. Wiley, New York (2010)
39.
Zurück zum Zitat Merseguer, J., Bernardi, S.: Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22(2), 163–178 (2012)MathSciNetCrossRefMATH Merseguer, J., Bernardi, S.: Dependability analysis of DES based on MARTE and UML state machines models. Discret. Event Dyn. Syst. 22(2), 163–178 (2012)MathSciNetCrossRefMATH
40.
Zurück zum Zitat Berardinelli, L., Bernardo, M., Cortellessa, V., Di Marco, A.: Multidimensional context modeling applied to non-functional analysis of software. Softw Syst. Model. pp. 1–40 (2017) Berardinelli, L., Bernardo, M., Cortellessa, V., Di Marco, A.: Multidimensional context modeling applied to non-functional analysis of software. Softw Syst. Model. pp. 1–40 (2017)
41.
Zurück zum Zitat Bandyopadhyay, A., Ghost, S.: Developing model transformation tools using the uml metamodel: challenges and solutions. In: Proceedings of the International Conference on Software Engineering and Applications (2007) Bandyopadhyay, A., Ghost, S.: Developing model transformation tools using the uml metamodel: challenges and solutions. In: Proceedings of the International Conference on Software Engineering and Applications (2007)
42.
Zurück zum Zitat Smith, C.U., Lladó, C.M.: Model Interoperability for Performance Engineering: Survey of Milestones and Evolution, pp. 10–23. Springer, Berlin (2011) Smith, C.U., Lladó, C.M.: Model Interoperability for Performance Engineering: Survey of Milestones and Evolution, pp. 10–23. Springer, Berlin (2011)
43.
Zurück zum Zitat Casale, G., Gribaudo, M., Serazzi, G.: Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives, pp. 24–37. Springer, Berlin (2011) Casale, G., Gribaudo, M., Serazzi, G.: Tools for Performance Evaluation of Computer Systems: Historical Evolution and Perspectives, pp. 24–37. Springer, Berlin (2011)
44.
Zurück zum Zitat Smith, C.U., Lladó, C.M., Puigjaner, R.: PMIF extensions: increasing the scope of supported models. In: Proceedgings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE), pp. 255–256, Jannuary (2010) Smith, C.U., Lladó, C.M., Puigjaner, R.: PMIF extensions: increasing the scope of supported models. In: Proceedgings of the 1st Joint WOSP/SIPEW International Conference on Performance Engineering (ICPE), pp. 255–256, Jannuary (2010)
45.
Zurück zum Zitat Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp 222–231, Sept (2008) Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating co-evolution in model-driven engineering. In: 2008 12th International IEEE Enterprise Distributed Object Computing Conference, pp 222–231, Sept (2008)
46.
Zurück zum Zitat Erl, T.: SOA Design Patterns. Prentice Hall, Upper Saddle River (2009) Erl, T.: SOA Design Patterns. Prentice Hall, Upper Saddle River (2009)
47.
Zurück zum Zitat Smith, C.U., Smith, M.A.: Automated performance prediction for model-driven engineering of real-time embedded systems. In: Proceedings of the Systems and Software Technology Conference (2011) Smith, C.U., Smith, M.A.: Automated performance prediction for model-driven engineering of real-time embedded systems. In: Proceedings of the Systems and Software Technology Conference (2011)
52.
Zurück zum Zitat Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass queueing network models. In: Proceedings of the Fifth International Workshop of Software and Performance (WOSP), July (2005) Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass queueing network models. In: Proceedings of the Fifth International Workshop of Software and Performance (WOSP), July (2005)
53.
Zurück zum Zitat Gómez, A., Smith, C.U., Spellmann, A., Cabot, J.: Enabling performance modeling for the masses: initial experiences. In: Khendek, F., Gotzhein, R. (eds.) System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, pp. 105–126. Springer International Publishing, Cham (2018)CrossRef Gómez, A., Smith, C.U., Spellmann, A., Cabot, J.: Enabling performance modeling for the masses: initial experiences. In: Khendek, F., Gotzhein, R. (eds.) System Analysis and Modeling. Languages, Methods, and Tools for Systems Engineering, pp. 105–126. Springer International Publishing, Cham (2018)CrossRef
55.
Zurück zum Zitat Garcia, D., Lladó, C.M., Smith, C.U., Puigjaner, R.: A PMIF semantic validation tool. In: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems, pp. 121–122, September (2006) Garcia, D., Lladó, C.M., Smith, C.U., Puigjaner, R.: A PMIF semantic validation tool. In: Proceedings of the Third International Conference on the Quantitative Evaluation of Systems, pp. 121–122, September (2006)
Metadaten
Titel
Broadened support for software and system model interchange
verfasst von
Catalina M. Lladó
Connie U. Smith
Publikationsdatum
25.04.2019
Verlag
Springer Berlin Heidelberg
Erschienen in
Software and Systems Modeling / Ausgabe 6/2019
Print ISSN: 1619-1366
Elektronische ISSN: 1619-1374
DOI
https://doi.org/10.1007/s10270-019-00728-x

Weitere Artikel der Ausgabe 6/2019

Software and Systems Modeling 6/2019 Zur Ausgabe