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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 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.
References
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)
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)
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)
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)
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)
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)
Conrad, S., Turowski, K.: Temporal OCL meeting specification demands for business components. In: UML 2001, vol. 2185, pp. 151–165 (2001)
Cunha, A., Garis, A., Riesco, D.: Translating between Alloy specifications and UML class diagrams annotated with OCL. Softw. Syst. Model 14, 5–25 (2013)
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)
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)
Eclipse MDT OCL. http://www.eclipse.org/modeling/mdt/
Flake, S., Muller, W.: Formal semantics of static and temporal state-oriented OCL constraints. Softw. Syst. Model. 2(3), 164–186 (2003)
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)
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)
Guizzardi, G.: Ontological Foundations for Structural Conceptual Models. Telematica Instituut, The Netherlands (2005)
Halpin, T., Morgan, T.: Information Modeling and Relational Databases. Morgan Kaufmann, Los Altos (2010)
Jackson, D.: Software Abstractions-Logic, Language, and Analysis, Revised edn. The MIT Press, Cambridge (2012)
Kanso, B., Taha, S.: Specification of temporal properties with OCL. Sci. Comput. Program. 96, 527–551 (2014)
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)
Mylopoulos, J.: Conceptual modeling and telos. In: Conceptual Modeling, Databases, and CASE: an Integrated View of Information Systems Development. Wiley, Chichester (1992)
Olivé, A., Teniente, E.: Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27(6), 391–409 (2002)
OMG: OCL Specification v2.4.1 (2014)
OMG: UML Superstructure v2.4.1 (2012)
Sales T.P.: Ontology validation for managers. MSc thesis, Federal University of Espírito Santo, UFES (2014)
Sider, T.: Quantifiers and temporal ontology. Mind 115(457), 75–97 (2006)
Wiegers, R.: Behaviour specification for ontologically grounded conceptual models. M.Sc thesis, University of Twente (2014)
Ziemann, P., Gogolla, M.: OCL extended with temporal logic. In: 5th International Andrei Ershov Memorial Conference, PSI, vol. 2890, 351–357 (2003)
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
Corresponding author
Editor information
Editors and Affiliations
Rights 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
DOI: https://doi.org/10.1007/978-3-319-39429-9_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-39428-2
Online ISBN: 978-3-319-39429-9
eBook Packages: Business and ManagementBusiness and Management (R0)