A Framework for Defining and Comparing Modelling Methods

  • Gianna Reggio
  • Egidio Astesiano
  • Christine Choppy
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)


There are a huge number of scientific papers and reports intended for practitioners, not forgetting whole books and websites, presenting modelling methods in the field of software development. Thus, many questions naturally arise concerning both the nature of method itself (say, e.g. its scope and intended use) and the relationships between different methods, to compare them and choosing the most appropriate for a specific application. Here we present a preliminary attempt at proposing a “modelling method framework” suitable for presenting the constituents, both technical and methodological, of a method in an organized and possibly precise way. The purpose of our framework is to provide a setting for answering the above mentioned questions in a systematic and well-founded way. We will illustrate our proposed framework using some existing methods for modelling service-based systems.

At the end of the paper we offer a short tribute to a long standing friendship with Martin.


Business Process Modelling Method User Guidance Service Interface Service Contract 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aguilar-Saén, R.S.: Business process modelling: Review and framework. International Journal of Production Economics 90(2), 129 (2004)CrossRefGoogle Scholar
  2. 2.
    Astesiano, E., Reggio, G.: Formalism and method. Theor. Comput. Sci. 236(1-2), 3–34 (2000)CrossRefzbMATHGoogle Scholar
  3. 3.
    Astesiano, E., Reggio, G., Cerioli, M.: From formal techniques to well-founded software development methods. In: Aichernig, B.K. (ed.) Formal Methods at the Crossroads. From Panacea to Foundational Support. LNCS, vol. 2757, pp. 132–150. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Choppy, C., Reggio, G.: A well-founded approach to service modelling with Casl4Soa: part 1 (service in isolation). In: Shin, S.Y., Ossowski, S., Schumacher, M., Palakal, M.J., Hung, C. (eds.) Proceedings of the 2010 ACM Symposium on Applied Computing (SAC), Sierre, Switzerland, March 22-26, pp. 2451–2458. ACM (2010)Google Scholar
  5. 5.
    Choppy, C., Reggio, G.: casl-mdl, modelling dynamic systems with a formal foundation and a UML-like notation. In: Mossakowski, T., Kreowski, H.-J. (eds.) WADT 2010. LNCS, vol. 7137, pp. 76–97. Springer, Heidelberg (2012), Scholar
  6. 6.
    Choppy, C., Reggio, G.: Precise and formal modelling methods for service systems. Technical Report TR-14-03, DIBRIS, Università di Genova (2014)Google Scholar
  7. 7.
    Choppy, C., Reggio, G., Tran, K.-D.: Formal or not, but precise modelling of services with CASL4SOA and SoaML. In: Hung, D.V., Vo, H.T., Sanders, J., Bui, L.T., Pham, S.B. (eds.) Fourth International Conference on Knowledge and Systems Engineering (KSE 2012), pp. 187–194. IEEE Computer Society (2012)Google Scholar
  8. 8.
    Dingle, N.J., Knottenbelt, W.J., Suto, T.: PIPE2: A tool for the performance evaluation of generalised stochastic Petri nets. SIGMETRICS Perform. Eval. Rev. 36(4), 34–39 (2009)CrossRefGoogle Scholar
  9. 9.
    Fiadeiro, J., Lopes, A., Bocchi, L., Abreu, J.: The sensoria reference modelling language. In: Wirsing, M., Hölzl, M. (eds.) SENSORIA. LNCS, vol. 6582, pp. 61–114. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  10. 10.
    Giaglis, G.M.: A taxonomy of business process modeling and information systems modeling techniques. International Journal of Flexible Manufacturing Systems, 13(2), 209 (2001)CrossRefGoogle Scholar
  11. 11.
    Huma, Z., Gerth, C., Engels, G., Juwig, O.: Towards an automatic service discovery for UML-based rich service descriptions. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds.) MODELS 2012. LNCS, vol. 7590, pp. 709–725. Springer, Heidelberg (2012)CrossRefGoogle Scholar
  12. 12.
    Huma, Z., Gerth, C., Engels, G., Juwig, O.: A UML-based rich service description language for automatic service discovery of heterogeneous service partners. In: Proceedings of the CAiSE 2012 Forum at the 24th International Conference on Advanced Information Systems Engineering (CAiSE). CEUR Workshop Proceedings, vol. 855, pp. 90–97 (2012)Google Scholar
  13. 13.
    Li, X., Fan, Y., Sheng, Q.Z., Maamar, Z., Zhu, H.: A Petri net approach to analyzing behavioral compatibility and similarity of web services. Trans. Sys. Man Cyber. Part A 41(3), 510–521 (2011)CrossRefGoogle Scholar
  14. 14.
    OMG. Service oriented architecture Modeling Language (SoaML) Specification, Version 1.0.1 (2012)Google Scholar
  15. 15.
    Pavlov, R., Shekhovtsov, V.A., Zlatkin, S.: Towards selecting among business process modeling methodologies. In: Proceedings of 9th International Conference on Business Information Systems, BIS 2006 (2006)Google Scholar
  16. 16.
    Reggio, G., Astesiano, E., Choppy, C.: Casl-Ltl: A Casl Extension for Dynamic Reactive Systems Version 1.0–Summary. Technical Report DISI-TR-03-36, DISI – Università di Genova, Italy (2003),
  17. 17.
    Reggio, G., Leotta, M., Ricca, F., Astesiano, E.: Business process modelling: Five styles and a method to choose the most suitable one. In: Proceedings of 2nd International Workshop on Experiences and Empirical Studies in Software Modelling, EESSMod 2012, pp. 8:1–8:6. ACM (2012)Google Scholar
  18. 18.
    Schwinger, W., Koch, N.: Modeling web applications. In: Gerti, K., Birgit, P., Siegfried, R., Werner, R. (eds.) Web Engineering - The Discipline of Systematic Development of Web Applications, pp. 39–64. John Wiley (2006)Google Scholar
  19. 19.
    Wirsing, M., et al.: Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol. 17, pp. 170–190. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Gianna Reggio
    • 1
  • Egidio Astesiano
    • 1
  • Christine Choppy
    • 2
  1. 1.DIBRISUniversità di GenovaItaly
  2. 2.Sorbonne Paris Cité, LIPN, CNRS UMR 7030Université Paris 13France

Personalised recommendations