Abstract
Instance-level modelling is a sort of conceptual modelling that deals with concrete objects instead of general classes and types. Instance-level modelling approach offers a rather innovative way for communication with domain experts extremely useful for them, as they can see their real data in the context of the given model. Various approaches were presented in the paper “Instance-Level modelling and Simulation Using Lambda-Calculus and Object-Oriented Environments” at EOMAS 2011. The present paper is a sequel and it presents additional approaches we find useful in practice: Fact-oriented modelling, OntoUML in combination with OCL and the Alloy and Eclipse-based framework DresdenOCL. We present key features of the various approaches and demonstrate them on a running example, we follow up with a discussion comparing these approaches. Notice that OntoUML combined with the Alloy is an original research achievement built on the research of OntoUML.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Mylopoulos, J.: Conceptual modelling and telos. In: Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development (1992)
Gurr, C.: Effective diagrammatic communication: Syntactic, semantic and pragmatic issues. Journal of Visual Languages & Computing 10(4), 317–342 (1999)
Birkmeier, D., Overhage, S.: Is BPMN really first choice in joint architecture development? an empirical study on the usability of BPMN and UML activity diagrams for business users. In: Heineman, G.T., Kofron, J., Plasil, F. (eds.) QoSA 2010. LNCS, vol. 6093, pp. 119–134. Springer, Heidelberg (2010)
Beck, K., Beedle, M., van Bennekum, A., Cockburn, A., Cunningham, W., Fowler, M., Grenning, J., Highsmith, J., Hunt, A., Jeffries, R., Kern, J., Marick, B., Martin, R.C., Mellor, S., Schwaber, K., Sutherland, J., Thomas, D.: Manifesto for agile software development (2001)
Boehm, B., Basili, V.R.: Software defect reduction top 10 list. Computer 34(1), 135–137 (2001)
Merunka, V.: Instance-level modeling and simulation using lambda-calculus and object-oriented environments. In: Barjis, J., Eldabi, T., Gupta, A. (eds.) EOMAS 2011. LNBIP, vol. 88, pp. 145–158. Springer, Heidelberg (2011)
Hadar, I., Soffer, P.: Variations in conceptual modeling: Classification and ontological analysis. Journal of the Association for Information Systems 7(8), 568–592 (2006); WOS:000246738800004
Ullmann, S.: Semantics: an introduction to the science of meaning. Barnes & Noble (December 1978)
Halpin, T.: Fact-oriented modeling: Past, present and future. In: Conceptual Modelling in Information Systems Engineering, pp. 19–38. Springer, Heidelberg (2007)
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models, vol. 15. University of Twente, Enschede (2005)
Guizzardi, G., Baio, F.A., Lopes, M., de Almeida Falbo, R.: The role of foundational ontologies for domain ontology engineering: An industrial case study in the domain of oil and gas exploration and production. International Journal of Information Systems Modeling and Design (IJISMD) 1(2), 1–22 (2010)
Carolo, F., Burlamaqui, L.: Improving Web Content Management with Semantic Technologies. SemTech, San Francisco (2011)
Silva, H.C., de Castro, R.C.C., Gomes, M.J.N., Garcia, A.S.: IT architecture from the service continuity perspective: Application of well-founded ontology in corporate environments. Journal of Information Security Research 3(2), 47–63 (2012)
U. S. Department of Defense: (Data Modeling Guide (DMG) for an Enterprise Logical Data Model)
Group, O.M.: Semantic Information Model Federation (SIMF): Candidates and Gaps
Jackson, D.: Software Abstractions - Logic, Language and Analisys, Revised edn. The MIT Press, Cambridge (2012)
Bordbar, B., Anastasakis, K.: UML2ALLOY: a tool for lightweight modelling of discrete event systems. In: Guimares, N., Isaas, P.T. (eds.) IADIS AC, IADIS, pp. 209–216 (2005)
Dennis, G., Chang, F.S.H., Jackson, D.: Modular verification of code with SAT. In: Proceedings of the 2006 International Symposium on Software Testing and Analysis, ISSTA 2006, pp. 109–120. ACM, New York (2006)
Atinga, P., Krishna, A.: Verification of i* models using alloy. In: Information Systems Development, pp. 63–74. Springer, New York (2011)
Benevides, A.B., Guizzardi, G., Braga, B.F.B., Almeida, J.P.A.: Validating modal aspects of OntoUML conceptual models using automatically generated visual world structures. Journal of Universal Computer Science 16(20), 2904–2933 (2010)
OMG: Object constraint language, version 2.3.1 (January 2012)
Arlow, J., Neustadt, I.: UML 2.0 and the Unified Process: Practical Object-Oriented Analysis and Design, 2nd edn. Addison-Wesley Professional (2005)
Demuth, B.: DresdenOCL (March 2013)
Sales, T.P., Barcelos, P.P.F., Guizzardi, G.: Identification of semantic anti-patterns in ontology-driven conceptual modeling via visual simulation. In: 4th International Workshop on Ontology-Driven Information Systems (ODISE), together with the 7th International Conference on Formal Ontology in Information Systems (FOIS), Graz, Austria (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pergl, R., Sales, T.P., Rybola, Z. (2013). Instance-Level Modelling and Simulation Revisited. In: Barjis, J., Gupta, A., Meshkat, A. (eds) Enterprise and Organizational Modeling and Simulation. EOMAS 2013. Lecture Notes in Business Information Processing, vol 153. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41638-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-41638-5_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41637-8
Online ISBN: 978-3-642-41638-5
eBook Packages: Computer ScienceComputer Science (R0)