Advertisement

Modeling Issues: a Survival Guide for a Non-expert Modeler

  • Emilio Rodriguez-Priego
  • Francisco J. García-Izquierdo
  • Ángel Luis Rubio
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6395)

Abstract

While developing an integral security model to be used in a Service Oriented Architecture (SOA) context, we find a lot of ambiguities and inaccuracies when authors speak of models, metamodels, profiles and so on. This led us to study a great number of references in a search for precise definitions to help us to address our research. Our study and discussions were so extensive that we are convinced they will be a valuable contribution to the community. In particular, in this paper we present several Reference Concept Maps that depict graphically a large number of definitions with their associated bibliographical references. Nevertheless, we truly believe that there are still a lot of concepts to be clarified and that this clarification is essential so that basic modeling concepts can be best used by non-expert modelers.

Keywords

Modeling concepts Reference Concept Maps Metamodeling issues Stereotypes 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Rodriguez-Priego, E., Garcia-Izquierdo, F.J.: Securing code in services oriented architecture. In: Baresi, L., Fraternali, P., Houben, G.-J. (eds.) ICWE 2007. LNCS, vol. 4607, pp. 550–555. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  2. 2.
    Muller, P.A., Fondement, F., Baudry, B.: Modeling Modeling. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 2–16. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  3. 3.
    Novak, J.D., Cañas, A.J.: The theory underlying concept maps and how to construct and use them. Technical report, Florida Institute for Human and Machine Cognition (2008)Google Scholar
  4. 4.
    Bézivin, J.: On the unification power of models. Software and Systems Modeling 4(2), 171–188 (2005)CrossRefGoogle Scholar
  5. 5.
    Barbero, M., Jouault, F., Bézivin, J.: Model Driven Management of Complex Systems: Implementing the Macroscope’s Vision. In: ECBS 2008, IEEE Int. Conf. on the Engineering of Computer-Based Systems, Washington, DC, USA, pp. 277–286. IEEE Computer Society, Los Alamitos (2008)Google Scholar
  6. 6.
    Aßmann, U., Zschaler, S., Wagner, G.: Ontologies, Meta-models, and the Model-Driven Paradigm. In: Ontologies for Software Engineering and Software Technology, pp. 249–273. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Ober, I., Prinz, A.: What do we need metamodels for? In: 4th Nordic Workshop on UML and Software Modelling, pp. 8–28 (2006)Google Scholar
  8. 8.
    Pidd, M.: Tools for Thinking: Modelling in Management Science, 3rd edn. John Wiley and Sons, Chichester (February 2009)Google Scholar
  9. 9.
    Sánchez, D.M., Cavero, J.M., Marcos, E.: On models and ontologies. In: 1st Int. Workshop on Philosophical Foundations of Information Systems Engineering, PHISE 2005 (2005)Google Scholar
  10. 10.
    Kühne, T.: Matters of (meta-) modeling. Software and Systems Modeling 5(4), 369–385 (2006)CrossRefGoogle Scholar
  11. 11.
    OMG: MetaObject Facility (MOF) 1.4. Technical report (April 2002) Google Scholar
  12. 12.
    Gonzalez-Perez, C., Henderson-Sellers, B.: Modelling software development methodologies: A conceptual foundation. Journal of Systems and Software 80(11), 1778–1796 (2007)CrossRefGoogle Scholar
  13. 13.
    Bézivin, J.: Towards a precise definition of the OMG/MDA framework. In: Proc. of the 16th Int. Conf. on Automated Software Engineering (ASE), pp. 273–280. IEEE Computer Society, Los Alamitos (2001)Google Scholar
  14. 14.
    Stachowiak, H.: Allgemeine Modelltheorie. Springer, Wien (1973)CrossRefGoogle Scholar
  15. 15.
    OMG: MDA Guide Version 1.0.1. Technical report (June 2003) Google Scholar
  16. 16.
    Kleppe, A., Warmer, J., Bast, W.: MDA Explained. The Model Driven Architecture:Practice and Promise. Addison-Wesley, Reading (May 2003)Google Scholar
  17. 17.
    Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (April 2006)Google Scholar
  18. 18.
    Favre, J.M.: Foundations of meta-pyramids: Languages vs. metamodels Episode II: Story of thotus the baboon. In: Language Engineering for Model-Driven Software Development, vol. 4101 (2005)Google Scholar
  19. 19.
    Klir, G.J.: Facets of Systems Science. Kluwer Academic Publishers, Dordrecht (August 2001)CrossRefGoogle Scholar
  20. 20.
    Asikainen, T., Männistö, T.: Nivel: a metamodelling language with a formal semantics. Software and Systems Modeling 8(4), 521–549 (2009)CrossRefGoogle Scholar
  21. 21.
    Seidewitz, E.: What Models Mean. IEEE Software 20(5), 26–32 (2003)CrossRefGoogle Scholar
  22. 22.
    Rensink, A.: Subjects, Models, Languages, Transformations. In: Language Engineering for Model-Driven Software Development, Dagstuhl. Dagstuhl Seminar Proceedings, Schloss Dagstuhl, Germany, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), vol. 04101 (2005)Google Scholar
  23. 23.
    OMG: MetaObject Facility (MOF) 2.0 Core specification. Tech. Rep. (January 2006) Google Scholar
  24. 24.
    Kurtev, I.: Metamodels: Definitions of Structures or Ontological Commitments. In: Workshop on TOWERS of models. Collocated with TOOLS Europe (2007)Google Scholar
  25. 25.
    Favre, J.M.: Towards a basic theory to model model driven engineering. In: Proc. of the Workshop on Software Model Engineering (WISME 2004), Joint Event with UML 2004 (October 2004)Google Scholar
  26. 26.
    Sánchez, D.M., Cavero, J.M., Marcos, E.: The concepts of model in information systems engineering: a proposal for an ontology of models. The Knowledge Engineering Review 24(Special Issue 01), 5–21 (2009)CrossRefGoogle Scholar
  27. 27.
    Kühne, T.: What is a Model? In: Dagstuhl Seminar. Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany (2005)Google Scholar
  28. 28.
    Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simul. 12(4), 290–321 (2002)CrossRefGoogle Scholar
  29. 29.
    Favre, J.M., Nguyen, T.: Towards a megamodel to model software evolution through transformations. In: SETRA Workshop. ENCTS, vol. 127, pp. 59–74. Elsevier, Amsterdam (2004)Google Scholar
  30. 30.
    Jouault, F., Bézivin, J., Barbero, M.: Towards an advanced model-driven engineering toolbox. Innovations in Systems and Software Engineering 5(1), 5–12 (2009)CrossRefGoogle Scholar
  31. 31.
    Favre, J.M.: Foundations of Model (driven) (Reverse) Engineering - Episode I: Story of the Fidus Papyrus and the Solarus. In: Dagsthul Seminar on Language Engineering for Model- Driven Software Development (2004)Google Scholar
  32. 32.
    OMG: UML Infrastructure v2.2. Technical report (February 2009) Google Scholar
  33. 33.
    OMG: UML Superstructure v2.2. Technical report (February 2009) Google Scholar
  34. 34.
    Zito, A., Diskin, Z., Dingel, J.: Package Merge in UML 2: Practice vs. Theory? Model Driven Engineering Languages and Systems, 185–199 (2006)Google Scholar
  35. 35.
    Zito, A., Dingel, J.: Modeling UML2 package merge with Alloy. In: First Alloy Workshop (2006)Google Scholar
  36. 36.
    Bottoni, P., D’Antonio, F., Missikoff, M.: Towards a Unified View of Model Mapping and Transformation. In: Proceedings of the Open Interop Workshop on Enterprise Modelling and Ontologies for Interoperability (EMOI-INTEROP), co-located with CAiSE 2006 Conf. (June 2006)Google Scholar
  37. 37.
    Dingel, J., Diskin, Z., Zito, A.: Understanding and improving UML package merge. Software and Systems Modeling 7(4), 443–467 (2008)CrossRefGoogle Scholar
  38. 38.
    Barbero, M., Jouault, F., Gray, J., Bézivin, J.: A Practical Approach to Model Extension. MDA-Foundations and Applications, 32–42 (2007)Google Scholar
  39. 39.
    Atkinson, C., Kühne, T.: Reducing accidental complexity in domain models. Software and Systems Modeling 7(3), 345–359 (2008)CrossRefGoogle Scholar
  40. 40.
    Atkinson, C., Kühne, T.: The Essence of Multilevel Metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  41. 41.
    Weisemöller, I., Schürr, A.: A Comparison of Standard Compliant Ways to Define Domain Specific Languages. In: Giese, H. (ed.) MODELS 2008. LNCS, vol. 5002, pp. 47–58. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  42. 42.
    Henderson-Sellers, B., Gonzalez-Perez, C.: Uses and abuses of the stereotype mechanism in uml 1.x and 2.0. In: Model Driven Engineering Languages and Systems, pp. 16–26 (2006)Google Scholar
  43. 43.
    Gitzel, R., Hildenbrand, T.: A Taxonomy of metamodel hierarchies. Technical report, Department of Information Systems. University of Mannheim (2005)Google Scholar
  44. 44.
    Thomas, D.: MDA: Revenge of the modelers or UML utopia? IEE Software 21(3), 15–17 (2004)CrossRefGoogle Scholar
  45. 45.
    Merunka, V.: Critical Assessment of the Role of UML for Information System Development. In: Systems Integration, pp. 445–452 (2003)Google Scholar
  46. 46.
    Gitzel, R., Ott, I., Schader, M.: Ontological Extension to the MOF Metamodel as a Basis for Code Generation. The Computer Journal 50(1), 93–115 (2007)CrossRefGoogle Scholar
  47. 47.
    France, R.B., Ghosh, S., Dinh Trong, T., Solberg, A.: Model-Driven Development Using UML2.0: Promises and Pitfalls. Computer 39(2), 59–66 (2006)CrossRefGoogle Scholar
  48. 48.
    Milicev, D.: On the Semantics of Associations and Association Ends in UML. IEEE Transactions on Software Engineering 33(4), 238–251 (2007)CrossRefGoogle Scholar
  49. 49.
    Shan, L., Zhu, H.: A Formal Descriptive Semantics of UML. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 375–396. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  50. 50.
    Akehurst, D.H., Howells, W.G.J., Bordbar, B., Mcdonald-Maier, K.D.: Maths vs (Meta) Modelling: Are we reinventing the Wheel? In: ICSOFT 2008, Porto, Portugal (2008)Google Scholar
  51. 51.
    Buttner, F., Gogolla, M.: On generalization and overriding in UML 2.0. In: Proc. UML 2004 Workshop OCL and Model Driven Engineering, pp. 69–83 (2004)Google Scholar
  52. 52.
    Fuentes, J.M., Quintana, V., Llorens, J., Genova, G., Prieto Diaz, R.: Errors in the UML metamodel? SIGSOFT Software Engineering Notes 28(6), 3 (2003)CrossRefGoogle Scholar
  53. 53.
    Flatscher, R.G.: Metamodeling in EIA/CDIF—meta-metamodel and metamodels. ACM Transactions on Modeling and Computer Simulation (TOMACS) 12(4), 322–342 (2002)CrossRefGoogle Scholar
  54. 54.
    Atkinson, C., Kühne, T.: Model-driven development: a metamodeling foundation. IEEE Software 20(5), 36–41 (2003)CrossRefGoogle Scholar
  55. 55.
    Gaševic, D., Kaviani, N., Hatala, M.: Ón Metamodeling in Megamodels. Model Driven Engineering Languages and Systems, 91–105 (2007)Google Scholar
  56. 56.
    Varró, D., Pataricza, A.: A Unifying Semantic Framework for Multilevel Metamodeling. Tech. rep., Budapest Univ. of Technology and Economics (2001)Google Scholar
  57. 57.
    Jouault, F., Bézivin, J.: KM3:A DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  58. 58.
    Ludewig, J.: Models in software engineering - an introduction. Software and Systems Modeling 2(1), 5–14 (2003)CrossRefGoogle Scholar
  59. 59.
    Bruni, R., Hölzl, M., Koch, N., Lluch Lafuente, A., Mayer, P., Montanari, U., Schroeder, A., Wirsing, M.: A service-oriented UML profile with formal support. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol. 5900, pp. 455–469. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  60. 60.
    Rodriguez, A., Fernandez-Medina, E., Piattini, M.: Security requirement with a uml 2.0 profile. In: Proceedings of the First Int. Conf. on Availability, Reliability and Security (ARES), pp. 670–677. IEEE Computer Society, Los Alamitos (2006)Google Scholar
  61. 61.
    Houmb, S.H., Den Braber, F., Lund, M.S., Stølen, K., Informatics, S.T.: Towards a UML profile for model-based risk assessment. In: Critical Systems Development with UML-Proceedings of the UML 2002 Workshop, pp. 79–91 (2002)Google Scholar
  62. 62.
    Selic, B.: What’s new in UML 2.0. IBM rational software (2005)Google Scholar
  63. 63.
    OMG: Diagram Interchange Specification, v1.0. Tech. rep. (2006) Google Scholar
  64. 64.
    OMG: Diagram Definition RFP-OMG Document 07-09-02. Tech. rep. (2007) Google Scholar
  65. 65.
    Atkinson, C., Henderson-Sellers, B., Kühne, T.: To Meta or Not to Meta. That Is the Question. Journal of Object-Oriented Programming 13(8), 32–35 (2000)Google Scholar
  66. 66.
    Atkinson, C., Kühne, T.: Profiles in a strict metamodeling framework. Science of Computer Programming 44(1), 5–22 (2002)CrossRefMATHGoogle Scholar
  67. 67.
    Kuhne, T.: Contrasting Classification with Generalisation. In: Proceedings of the Sixth Asia-Pacific Conf. on Conceptual Modelling, New Zealand (2009)Google Scholar
  68. 68.
    Atkinson, C., Kühne, T., Sellers, B.H.: Systematic stereotype usage. Software and Systems Modeling 2(3), 153–163 (2003)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Emilio Rodriguez-Priego
    • 1
  • Francisco J. García-Izquierdo
    • 1
  • Ángel Luis Rubio
    • 1
  1. 1.Departamento de Matemáticas y ComputaciónUniversidad de La RiojaLogroño (La Rioja)Spain

Personalised recommendations