Skip to main content
SpringerLink
Log in
Book cover

International Conference on Business Process Modeling, Development and Support

International Conference on Evaluation and Modeling Methods of Systems Analysis and Development

BPMDS 2016, EMMSAD 2016: Enterprise, Business-Process and Information Systems Modeling pp 303–317Cite as

Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Business Information Processing ((LNBIP,volume 248))

Abstract

Conceptual models often capture the invariant aspects of the phenomena we perceive. These invariants may be considered static when they refer to structures we perceive in phenomena at a particular point in time or dynamic/temporal when they refer to regularities across different points in time. While static invariants have received significant attention, dynamics enjoy marginal support in widely-employed techniques such as UML and OCL. This paper aims at addressing this gap by proposing a technique for the representation of dynamic invariants of subject domains in UML-based conceptual models. For that purpose, a temporal extension of OCL is proposed. It enriches the ontologically well-founded OntoUML profile and enables the expression of a variety of (arbitrary) temporal constraints. The extension is fully implemented in the tool for specification, verification and simulation of enriched OntoUML models.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Notes

  1. 1.

    Note that while dynamic classification is supported in principle by UML diagrams, this is not reflected in tool support and language usage, with little mention in the UML specification.

  2. 2.

    https://code.google.com/p/ontouml-lightweight-editor/.

References

  1. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On challenges of model transformation from UML to Alloy. Softw. Syst. Model 9(1), 69–86 (2010)

    Article  Google Scholar 

  2. 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. J. Univers. Comput. Sci. 16, 2904–2933 (2011)

    Google Scholar 

  3. Bill, R., Gabmeyer, S., Kaufmann, P., Seidl, M.: OCL meets CTL - towards CTL-extended OCL model checking. In: MoDELS, vol. 1092, pp. 13–22 (2013)

    Google Scholar 

  4. Bradfield, J.C., Küster Filipe, J., Stevens, P.: Enriching OCL using observational mu-calculus. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 203–217. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Brucker, A.D., Wolff, B.: HOL-OCL: a formal proof environment for UML/OCL. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 97–100. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  6. Cabot, J., Olivé, À., Teniente, E.: Representing temporal information in UML. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 44–59. Springer, Heidelberg (2003)

    Google Scholar 

  7. Conrad, S., Turowski, K.: Temporal OCL meeting specification demands for business components. In: UML 2001, vol. 2185, pp. 151–165 (2001)

    Google Scholar 

  8. Cunha, A., Garis, A., Riesco, D.: Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model 14, 5–25 (2013)

    Article  Google Scholar 

  9. Distefano, S., Katoen, J.P., Rensink, A.: On a temporal logic for object-based systems. In: Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems IV, vol. 49, pp. 305–325 (2000)

    Google Scholar 

  10. Dwyer, M.B., Avrunin, G.S., Corbett J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Programming, pp. 411–420 (1999)

    Google Scholar 

  11. Eclipse MDT OCL. http://www.eclipse.org/modeling/mdt/

  12. Flake, S., Muller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. 2(3), 164–186 (2003)

    Article  Google Scholar 

  13. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. Softw. Syst. Model. 4(4), 386–398 (2005)

    Article  Google Scholar 

  14. Guerson, J., Almeida, J.P.A., Guizzardi, G.: Support for domain constraints in the validation of ontologically well-founded conceptual models. In: Bider, I., Gaaloul, K., Krogstie, J., Nurcan, S., Proper, H.A., Schmidt, R., Soffer, P. (eds.) BPMDS 2014 and EMMSAD 2014. LNBIP, vol. 175, pp. 302–316. Springer, Heidelberg (2014)

    Google Scholar 

  15. Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Telematica Instituut, The Netherlands (2005)

    Google Scholar 

  16. Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann, Los Altos (2010)

    Google Scholar 

  17. Jackson, D.: Software Abstractions-Logic, Language, and Analysis, Revised edn. The MIT Press, Cambridge (2012)

    Google Scholar 

  18. Kanso, B., Taha, S.: Specification of temporal properties with OCL. Sci. Comput. Program. 96, 527–551 (2014)

    Article  Google Scholar 

  19. Mullins, J., Oarga, R.: Model checking of extended OCL constraints on UML models in SOCLe. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 59–75. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  20. Mylopoulos, J.: Conceptual modeling and telos. In: Conceptual Modeling, Databases, and CASE: an Integrated View of Information Systems Development. Wiley, Chichester (1992)

    Google Scholar 

  21. Olivé, A., Teniente, E.: Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6), 391–409 (2002)

    Article  Google Scholar 

  22. OMG: OCL Specification v2.4.1 (2014)

    Google Scholar 

  23. OMG: UML Superstructure v2.4.1 (2012)

    Google Scholar 

  24. Sales T.P.: Ontology validation for managers. MSc thesis, Federal University of Espírito Santo, UFES (2014)

    Google Scholar 

  25. Sider, T.: Quantifiers and temporal ontology. Mind 115(457), 75–97 (2006)

    Article  Google Scholar 

  26. Wiegers, R.: Behaviour specification for ontologically grounded conceptual models. M.Sc thesis, University of Twente (2014)

    Google Scholar 

  27. Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: 5th International Andrei Ershov Memorial Conference, PSI, vol. 2890, 351–357 (2003)

    Google Scholar 

Download references

Acknowledgements

This research is funded by the Brazilian Research Funding Agencies FAPES (grant number 59971509/12) and CNPq (grants number 310634/2011-3, 485368/2013-7 and 461777/2014-2).

Author information

Authors and Affiliations

  1. Ontology and Conceptual Modeling Research Group (NEMO), Federal University of Espírito Santo (UFES), Vitória, ES, Brazil

    John Guerson & João Paulo Almeida

Authors
  1. John Guerson
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. João Paulo Almeida
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to John Guerson .

Editor information

Editors and Affiliations

  1. Munich University of Applied Scienc, Munich, Germany

    Rainer Schmidt

  2. Luxembourg Inst. of Science & Technology, Esch-sur-Alzette, Luxembourg

    Wided Guédria

  3. Dept. of Computer and Systems Sciences, Stockholm University, Stockholm, Sweden

    Ilia Bider

  4. Univ. Lusófona de Humanidades e Techn., Lisboa, Portugal

    Sérgio Guerreiro

Rights and permissions

Reprints and permissions

Copyright information

© 2016 Springer International Publishing Switzerland

About this paper

Cite this paper

Guerson, J., Almeida, J.P. (2016). Representing Dynamic Invariants in Ontologically Well-Founded Conceptual Models. In: Schmidt, R., Guédria, W., Bider, I., Guerreiro, S. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2016 2016. Lecture Notes in Business Information Processing, vol 248. Springer, Cham. https://doi.org/10.1007/978-3-319-39429-9_19

Download citation

Publish with us

Policies and ethics

Search

Navigation