Scholarly Research Excellence

Digital Open Science Index

Commenced in January 2007 Frequency: Monthly Edition: International Publications Count: 29023


Select areas to restrict search in scientific publication database:
693
On Formalizing Predefined OCL Properties
Abstract:
The ability of UML to handle the modeling process of complex industrial software applications has increased its popularity to the extent of becoming the de-facto language in serving the design purpose. Although, its rich graphical notation naturally oriented towards the object-oriented concept, facilitates the understandability, it hardly successes to report all domainspecific aspects in a satisfactory way. OCL, as the standard language for expressing additional constraints on UML models, has great potential to help improve expressiveness. Unfortunately, it suffers from a weak formalism due to its poor semantic resulting in many obstacles towards the build of tools support and thus its application in the industry field. For this reason, many researches were established to formalize OCL expressions using a more rigorous approach. Our contribution join this work in a complementary way since it focuses specifically on OCL predefined properties which constitute an important part in the construction of OCL expressions. Using formal methods, we mainly succeed in expressing rigorously OCL predefined functions.
Digital Object Identifier (DOI):

References:

[1] The Object Management Group, Object Constraint Language 2.2, http://www.omg.org/spec/OCL/2.2/
[2] The Object Management Group, UML 2.3 superstructure specification, http://www.omg.org/spec/uml/2.3/
[3] J.M. Spivey, "The Z Notation: A Reference Manual," in Prentice Hall international series in computer science xi, 158, 1989.
[4] J. Woodcock, and J. Davies, "Using Z: specification, refinement, and proof," in Prentice Hall international series in computer science xi, 39, 1996.
[5] L. Henocque, "Z specification of Object Oriented Constraint Programs," in Revista Real Academia de Ciencias SerieA. Math. (RACSAM). 98 (1): pp. 127-152, 2004.
[6] M. Lamrani, Y. El Amrani, and A. Ettouhami, "Formal Specification of Software Design Metrics," The Sixth International Conference on Software Engineering Advances, pp. 348-355. Barcelona, 2011.
[7] M. Richters, and M. Gogolla, "On Formalizing the UML Object Constraint Language OCL," in Wirtschaftsinformatik 50, 449-464, 1998.
[8] 8. Flake, and W. Mueller, "Formal Semantics of OCL Messages," in Electronic Notes in Theoretical Computer Science 102, 77-97, 2003.
[9] S. Flake, "Towards the Completion of the Formal Semantics of OCL 2. 0," in Reproduction 73-82, 2003.
[10] G. Mezei, T. Levendovszky, and H. Charaf, "Formalizing the Evaluation of OCL Constraints," in Acta Polytechnica Hungarica. 4, 89-110, 2007.
[11] M. Kyas, et al., "Formalizing UML Models and OCL Constraints in PVS1," in Electronic Notes in Theoretical Computer Science 115, 39-47, 2005.
[12] R. Marcano, and N. Levy, "Transformation rules of OCL constraints into B formal expressions," (CSDUML2002) Workshop on critical systems development with UML 5th International Conference on the Unified Modeling Language, 2002.
[13] J. Woodcock, P.G. Larsen, J. Bicarregui, and J. Fitzgerald, "Formal methods," in ACM Computing Surveys 41, 1-36, 2009.
[14] M. Saaltink, " Z and EVES," Z User Workshop York 1991 223-242, 1992.
Vol:12 No:11 2018Vol:12 No:10 2018Vol:12 No:09 2018Vol:12 No:08 2018Vol:12 No:07 2018Vol:12 No:06 2018Vol:12 No:05 2018Vol:12 No:04 2018Vol:12 No:03 2018Vol:12 No:02 2018Vol:12 No:01 2018
Vol:11 No:12 2017Vol:11 No:11 2017Vol:11 No:10 2017Vol:11 No:09 2017Vol:11 No:08 2017Vol:11 No:07 2017Vol:11 No:06 2017Vol:11 No:05 2017Vol:11 No:04 2017Vol:11 No:03 2017Vol:11 No:02 2017Vol:11 No:01 2017
Vol:10 No:12 2016Vol:10 No:11 2016Vol:10 No:10 2016Vol:10 No:09 2016Vol:10 No:08 2016Vol:10 No:07 2016Vol:10 No:06 2016Vol:10 No:05 2016Vol:10 No:04 2016Vol:10 No:03 2016Vol:10 No:02 2016Vol:10 No:01 2016
Vol:9 No:12 2015Vol:9 No:11 2015Vol:9 No:10 2015Vol:9 No:09 2015Vol:9 No:08 2015Vol:9 No:07 2015Vol:9 No:06 2015Vol:9 No:05 2015Vol:9 No:04 2015Vol:9 No:03 2015Vol:9 No:02 2015Vol:9 No:01 2015
Vol:8 No:12 2014Vol:8 No:11 2014Vol:8 No:10 2014Vol:8 No:09 2014Vol:8 No:08 2014Vol:8 No:07 2014Vol:8 No:06 2014Vol:8 No:05 2014Vol:8 No:04 2014Vol:8 No:03 2014Vol:8 No:02 2014Vol:8 No:01 2014
Vol:7 No:12 2013Vol:7 No:11 2013Vol:7 No:10 2013Vol:7 No:09 2013Vol:7 No:08 2013Vol:7 No:07 2013Vol:7 No:06 2013Vol:7 No:05 2013Vol:7 No:04 2013Vol:7 No:03 2013Vol:7 No:02 2013Vol:7 No:01 2013
Vol:6 No:12 2012Vol:6 No:11 2012Vol:6 No:10 2012Vol:6 No:09 2012Vol:6 No:08 2012Vol:6 No:07 2012Vol:6 No:06 2012Vol:6 No:05 2012Vol:6 No:04 2012Vol:6 No:03 2012Vol:6 No:02 2012Vol:6 No:01 2012
Vol:5 No:12 2011Vol:5 No:11 2011Vol:5 No:10 2011Vol:5 No:09 2011Vol:5 No:08 2011Vol:5 No:07 2011Vol:5 No:06 2011Vol:5 No:05 2011Vol:5 No:04 2011Vol:5 No:03 2011Vol:5 No:02 2011Vol:5 No:01 2011
Vol:4 No:12 2010Vol:4 No:11 2010Vol:4 No:10 2010Vol:4 No:09 2010Vol:4 No:08 2010Vol:4 No:07 2010Vol:4 No:06 2010Vol:4 No:05 2010Vol:4 No:04 2010Vol:4 No:03 2010Vol:4 No:02 2010Vol:4 No:01 2010
Vol:3 No:12 2009Vol:3 No:11 2009Vol:3 No:10 2009Vol:3 No:09 2009Vol:3 No:08 2009Vol:3 No:07 2009Vol:3 No:06 2009Vol:3 No:05 2009Vol:3 No:04 2009Vol:3 No:03 2009Vol:3 No:02 2009Vol:3 No:01 2009
Vol:2 No:12 2008Vol:2 No:11 2008Vol:2 No:10 2008Vol:2 No:09 2008Vol:2 No:08 2008Vol:2 No:07 2008Vol:2 No:06 2008Vol:2 No:05 2008Vol:2 No:04 2008Vol:2 No:03 2008Vol:2 No:02 2008Vol:2 No:01 2008
Vol:1 No:12 2007Vol:1 No:11 2007Vol:1 No:10 2007Vol:1 No:09 2007Vol:1 No:08 2007Vol:1 No:07 2007Vol:1 No:06 2007Vol:1 No:05 2007Vol:1 No:04 2007Vol:1 No:03 2007Vol:1 No:02 2007Vol:1 No:01 2007