Skip to main content
Disciplines
Automotive Business IT + Informatics Construction + Real Estate Electrical Engineering + Electronics Energy + Sustainability Insurance + Risk Finance + Banking Management + Leadership Marketing + Sales Mechanical Engineering + Materials
Events
DE
EN
Books
Journals
Topic Page
Marketing
Start single access now
Access for companies
EXTENDED SEARCH
Log in
Top
Published in:
Improving the Correctness of Some Database Research Using ORA-Semantics Read chapter Read first chapter

2016 | OriginalPaper | Chapter

UnifiedOCL: Achieving System-Wide Constraint Representations

Authors : David Weber, Jakub Szymanek, Moira C. Norrie

Published in: Conceptual Modeling

Publisher: Springer International Publishing

Log in

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

Constraint definitions tend to be distributed across the components of an information system using a variety of technology-specific representations. We propose an approach where constraints are managed in a single place using OCL with extensions for technology-specific concepts. These constraints are then mapped to technology-specific representations which are validated at runtime. Bi-directional translations of constraint definitions allows existing components to be easily integrated into the system. We present an implementation of the approach and report on a user study with developers from industry and research.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

inform now
previous chapter Pragmatic Quality Assessment for Automatically Extracted Data
next chapter Building Large Models of Law with NómosT
Footnotes
Literature
1.
Avila, C., Sarcar, A., Cheon, Y., Yeep, C.: Runtime constraint checking approaches for OCL. a critical comparison. In: SEKE (2010)
2.
Baresi, L., Young, M.: Toward translating design constraints to run-time assertions. Electr. Notes Theor. Comput. Sci. 116, 73–84 (2005)CrossRef
3.
Cosentino, V., Martínez, S.: Extracting UML/OCL integrity constraints and derived types from relational databases. In: MoDELS International Workshops (2013)
4.
5.
Hamie, A.: Using patterns to map OCL constraints to JML specifications. In: Hammoudi, S., Pires, L.F., Filipe, J., Neves, R.C.D. (eds.) Model-Driven Engineering and Software Development. Communications in Computer and Information Science, vol. 506, pp. 35–48. Springer, Switzerland (2015)CrossRef
6.
Khan, M.U., Arshad, N., Iqbal, M.Z., Umar, H.: AspectOCL: extending OCL for crosscutting constraints. In: Taentzer, G., Bordeleau, F. (eds.) ECMFA 2015. LNCS, vol. 9153, pp. 92–107. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-21151-0_​7 CrossRef
7.
Kleppe, A., Warmer, J., Bast, W.: MDA explained - the model driven architecture: practice and promise. Addison-Wesley, Reading (2003)
8.
Leavens, G.T., Baker, A.L., Ruby, C.: JML: a notation for detailed design. In: Kilov, E., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol. 523, pp. 175–188. Springer, New York (1999)CrossRef
9.
Mellor, S.J., Scott, K., Uhl, A., Weise, D.: Model-driven architecture. In: Bruel, J.-M., Bellahsene, Z. (eds.) OOIS 2002. LNCS, vol. 2426, pp. 290–297. Springer, Heidelberg (2002). doi:10.​1007/​3-540-46105-1_​33 CrossRef
10.
Moiseev, R., Hayashi, S., Saeki, M.: Using hierarchical transformation to generate assertion code from OCL constraints. IEICE Trans. 94(3), 612–621 (2011)CrossRef
11.
Obrenovic, N., Popovic, A., Aleksic, S., Lukovic, I.: Transformations of check constraint PIM specifications. Comput. Inf. 31(5), 1045–1079 (2012)MathSciNet
12.
Oriol, X., Teniente, E.: Incremental checking of OCL constraints with aggregates through SQL. In: Johannesson, P., Lee, M.L., Liddle, S.W., Opdahl, A.L., López, Ó.P. (eds.) ER 2015. LNCS, vol. 9381, pp. 199–213. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-25264-3_​15 CrossRef
13.
Shimba, H., Hanada, K., Okano, K., Kusumoto, S.: Bidirectional translation between OCL and JML for round-trip engineering. In: APSEC (2013)
14.
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0. Addison-Wesley Professional, Reading (2009)
15.
16.
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd edn. Addison-Wesley Longman Publishing Co. Inc., Boston (2003)
17.
Wilke, C.: Java code generation for Dresden OCL2 for eclipse. Technische Universität Dresden, Germany (2009)
18.
Wimmer, M., Burgueño, L.: Testing M2T/T2M transformations. In: Moreira, A., Schätz, B., Gray, J., Vallecillo, A., Clarke, P. (eds.) MODELS 2013. LNCS, vol. 8107, pp. 203–219. Springer, Heidelberg (2013). doi:10.​1007/​978-3-642-41533-3_​13 CrossRef
Metadata
Title
UnifiedOCL: Achieving System-Wide Constraint Representations
Authors
David Weber
Jakub Szymanek
Moira C. Norrie
Copyright Year
2016
Book
Conceptual Modeling

Print ISBN: 978-3-319-46396-4

Electronic ISBN: 978-3-319-46397-1

Copyright Year: 2016

DOI
https://doi.org/10.1007/978-3-319-46397-1_17

Premium Partner

    Image Credits