Skip to main content
Fachgebiete
Automobil + Motoren Bauwesen + Immobilien Business IT + Informatik Elektrotechnik + Elektronik Energie + Nachhaltigkeit Finance + Banking Management + Führung Marketing + Vertrieb Maschinenbau + Werkstoffe Versicherung + Risiko
DE
EN
Bücher
Zeitschriften
Themenseiten
Organisationspsychologie Projektmanagement Marketing Smart Manufacturing
Weitere Formate
Podcasts Webinare Technik Webinare Wirtschaft Kongresse Veranstaltungskalender Awards
Jetzt Einzelzugang starten
Zugang für Unternehmen
Referenzkunden
SLX-Digitalkonferenz: Zukunftswerkstatt 2024

Mehr Umsatz mit Top-Kontakten

Am 7. Mai erfahren Sie, wie Vertriebsteams Leadgenerierung, Leadnurturing und Leadstrategien effizient steuern können.
Erweiterte Suche
Anmelden
nach oben
Erschienen in:
Buchtitelbild

2016 | OriginalPaper | Buchkapitel

Reflective Constraint Writing

A Symbolic Viewpoint of Modeling Languages

verfasst von : Dirk Draheim

Erschienen in: Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Verlag: Springer Berlin Heidelberg

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

In this article we show how to extend object constraint languages by reflection. We choose OCL (Object Constraint Language) and extend it by operators for reification and reflection. We show how to give precise semantics to the extended language OCL\(_{R}\) by elaborating the necessary type derivation rules and value specifications. A driving force for the introduction of reflection capabilities into a constraint language is the investigation of semantics and pragmatics of modeling constructs. We exploit the resulting reflective constraint language in modeling domains including sets of sets of domain objects. We give precise semantics to UML power types. We carve out the notion of sustainable constraint writing which is about making models robust against unwanted updates. Reflective constraints are an enabler for sustainable constraint writing. We discuss the potential of sustainable constraint writing for emerging tools and technologies. For this purpose, we need to introduce a symbolic viewpoint of information system modeling.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren
Nächstes Kapitel PPP-Codes for Large-Scale Similarity Searching
Anhänge
Nur mit Berechtigung zugänglich
Fußnoten
1
Note, that we feel free to drop brackets from OCL operation calls whenever the paramter list is empty, e.g., we write \(s \! \rightarrow \! asSet \rightarrow \! size\) instead of \(s \! \rightarrow \! asSet() \rightarrow \! size() \).
 
Literatur
1.
2.
Asikainen, T., Männistö, T.: Nivel – a metamodeling language with a formal semantics. Softw. Syst. Model. 8(4), 521–549 (2009)CrossRef
3.
Atkinson, C., Bostan, P., Draheim, D.: Foundational MDA patterns for service-oriented computing. J. Object Technol. 13(5), 1–30 (2015)
4.
Atkinson, C., Bostan, P., Draheim, D.: A unified conceptual framework for service-oriented computing. In: Hameurlain, A., Küng, J., Wagner, R. (eds.) TLDKS VII. LNCS, vol. 7720, pp. 128–169. Springer, Heidelberg (2012)CrossRef
5.
Atkinson, C., Draheim, D.: Cloud aided-software engineering - evolving viable software systems through a web of views. In: Mahmood, Z., Saeed, S. (eds.) Software Engineering Frameworks for the Cloud Computing Paradigm, pp. 255–281. Springer, London (2013)CrossRef
6.
Atkinson, C., Gerbig, R., Kennel, B., General-purpose, symbiotic, languages, domain-specific. In: Proceedings of the 34th International Conference on Software Engineering, ICSE 2012. IEEE Press (2012)
7.
Atkinson, C., Grossman, G., Kühne, T., de Lara, J. (eds.): Proceedings of the 1st Workshop on Multi-Level Modelling, MULTI 2014 (2014)
8.
Atkinson, C., Gutheil, M., Kennel, B.: A flexible infrastructure for multilevel language engineering. IEEE Trans. Softw. Eng. 35(6), 742–755 (2009)CrossRef
9.
Atkinson, C., Kennel, B., Goß, B.: Supporting constructive and exploratory modes of modeling in multi-level ontologies. In: Proceedings of the 7th International Conference on Semantic Web-Enabled Software Engineering, SWESE 2011 (2011)
10.
Atkinson, C., Kühne, T.: Rearchitecting the UML infrastructure. ACM Trans. Model. Comput. Simulat. 12(4), 290–321 (2002)CrossRef
11.
Barendregt, H.P.: The Lambda Calculus - Its Syntax and Semantics. North Holland, Amsterdam (1984)MATH
12.
Barr, M., Wells, C.: Category Theory for Computing Science, 2nd edn. Prentice Hall, Reading (1995)
13.
Berger, M., Tratt, L.: Program logics for homogeneous generative run-time meta-programming. Logic Comput. Sci. 11(5) (2015)
14.
Bordbar, B., Draheim, D., Horn, M., Schulz, I., Weber, G.: Integrated model-based software development, data access and data migration. In: Proceedings of the 8th ACM/IEEE Conference on Model Driven Engineering, Languages and Systems, MODELS 2005 (2005)
15.
Brentano, F.: Psychologie vom empirischen Standpunkt. Duncker & Humblot, Leipzig (1874)
16.
Brentano, F.: Psychology from an Empirical Standpoint. Routledge, London (1995)
17.
Cardelli, L.: Type systems. In: Handbook of Computer Science and Engineering. CRC Press (1997)
18.
Chen, P.P.-S.: The entity-relationship model - toward a unified view of data. ACM Trans. Database Syst. 1(1), 9–36 (1976)CrossRef
19.
Corradi, A., Servetto, M., Zucca, E.: DeepFJig: modular composition of nested classes. In: Proceedings of the 9th International Conference on Principles and Practice of Programming in Java, PPPJ 2011. ACM Press (2011)
20.
Czarnecki, K., Eisenecker, U.: Generative Programming - Methods, Tools, and Applications. Addison-Wesley, Reading (2000)
21.
Deridder, D., et al. (eds.): Pre-proceedings of the International Workshop on Models and Evolution, MODELS 2011 (2010)
22.
van Deursen, A., Klint, P., Visser, J.: Domain-specific languages: an annotated bibliography. ACM SIGPLAN Not. 35(6), 26–36 (2000)CrossRef
23.
de Lara, J., Guerra, E.: Deep meta-modelling with MetaDepth. In: Vitek, J. (ed.) TOOLS 2010. LNCS, vol. 6141, pp. 1–20. Springer, Heidelberg (2010)CrossRef
24.
de Lara, J., Guerra, E.: Generic meta-modelling with concepts, templates and mixin layers. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 16–30. Springer, Heidelberg (2010)CrossRef
25.
Draheim, D., Weber, G.: Strongly typed server pages. In: Halevy, A.Y., Gal, A. (eds.) NGITS 2002. LNCS, vol. 2382, pp. 29–44. Springer, Heidelberg (2002)CrossRef
26.
Draheim, D., Weber, G.: Modeling submit/response style systems with form charts and dialogue constraints. In: Meersman, R., Tari, Z. (eds.) OTM 2003. LNCS, vol. 2889, pp. 267–278. Springer, Heidelberg (2003)CrossRef
27.
Draheim, D.: Business Process Technology - A Unified View on Business Processes, Workflows and Enterprise Applications. Springer, Heidelberg (2010)
28.
Draheim, D., Horn, M., Schulz, I.: The schema evolution, data migration framework of the environmental mass database IMIS. In: Proceedings of the 16th International Conference on Scientific and Statistical Database Management. IEEE (2004)
29.
Draheim, D.: Sustainable constraint writing and a symbolic viewpoint of modeling languages. In: Decker, H., Lhotská, L., Link, S., Spies, M., Wagner, R.R. (eds.) DEXA 2014, Part I. LNCS, vol. 8644, pp. 12–19. Springer, Heidelberg (2014)
30.
Draheim, D., Himsl, M., Jabornig, D., Leithner, W., Regner, P., Wiesinger, T.: Intuitive visualization-oriented metamodeling. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2009. LNCS, vol. 5690, pp. 727–734. Springer, Heidelberg (2009)CrossRef
31.
Draheim, D., Himsl, M., Jabornig, D., Küng, J., Leithner, W., Regner, P., Wiesinger, T.: Concept and pragmatics of an intuitive visualization-oriented metamodeling tool. J. Vis. Lang. Comput. 21(4), 157–170 (2010). ElsevierCrossRef
32.
Draheim, D., Natschlger, C.: A context-oriented synchronization approach. In: Proceedings of the 2nd International Profile Management, and Context Awarness, VLDB Workshop in Personalized Access, PersDB 2008 (2008)
33.
Draheim, D., Lutteroth, C., Weber, G.: Generative programming for C#. ACM SIGPLAN Not. 40(8), 29–33 (2005). ACM PressCrossRef
34.
Draheim, D., Lutteroth, C., Weber, G.: A type system for reflective program generators. In: Glück, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol. 3676, pp. 327–341. Springer, Heidelberg (2005)CrossRef
35.
Draheim, D., Lutteroth, C., Weber, G., Factory: statically type-safe integration of genericity and reflection. In: Proceedings of the 4th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing, ACIS 2003 (2003)
36.
Draheim, D., Weber, G.: Modelling form-based interfaces with bipartite state machines. J. Interact. Comput. 17(2), 207–228 (2005). ElsevierCrossRef
37.
Draheim, D., Weber, G.: Form-Oriented Analysis - A New Methodology to Model Form-Based Applications. Springer, Heidelberg (2005)MATH
38.
Froehner, T., Nickles, M., Weiss, G.: Open ontologies – the need for modeling heterogeneous knowledge. In: Proceedings of the International Conference on Information and Knowledge Engineering, IKE 2004 (2004)
39.
Gosling, J., Joy, B., Steele, G., Bracha, G.: The Java Language Specification, 3rd edn. Addison Wesley, Reading (2005)
40.
Gurevich, Y.: Evolving Algebras 1993 - Lipari Guide. Oxford University Press, New York (1995)
41.
Guarino, N.: Formal ontology and information systems. In: Guarino, N. (ed.) Proceedings of the 1st International Conference on Formal Ontology and Information Systems, pp. 3–15. IOS Press, Amsterdam (1998)
42.
Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12(10), 30–32 (1969)CrossRef
43.
Hayes, I.J.: Applying formal specification to software development in industry. IEEE Trans. Softw. Eng. 11(2), 169–178 (1985)CrossRef
44.
Hayes, I.J.: Specification Case Studies. Prentice Hall, London (1993)MATH
45.
Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. J. Syst. Softw. 84, 303–313 (2011)CrossRef
46.
Henderson-Sellers, B., Gonzalez-Perez, C.: Connecting powertypes and stereotype. J. Object Technol. 4(7), 83–96 (2005). ETH, ZürichCrossRef
47.
Henderson-Sellers, B., Gonzalez-Perez, C.: The rationale of powertype-based metamodelling to underpin software development methodologies. In: Proceeding of the 2nd Asia-Pacific Conference on Conceptual Modelling, APCCM 2005, vol. 43, Australian Computer Society (2005)
48.
Himsl, M., Jabornig, D., Leithner, W., Regner, P., Wiesinger, T., Küng, J., Draheim, D.: An iterative process for adaptive meta- and instance modeling. In: Wagner, R., Revell, N., Pernul, G. (eds.) DEXA 2007. LNCS, vol. 4653, pp. 519–528. Springer, Heidelberg (2007)CrossRef
49.
ISO: ISO/IEC 13568:2002. Information technology – Z Formal Specification Notation – Syntax, Type System and Semantics. ISO (2002)
50.
ISO: International Standard ISO/IEC 24744: Software Engineering – Metamodel for Development Methodologies. ISO (2007)
51.
ISO: Information Technology - Object Management Group Object Constraint Language, version 2.3.1, ISO Standard ISO/IEC 19507: (E), ISO (2012)
52.
Johnson, R., Woolf, B.: Type object. In: Pattern Languages of Program Design, vol. 3. Addison-Wesley (1997)
53.
Kappel, G., Preishuber, S., Prö II, E., Rausch-Schott, S., Retschitzegger, W., Wagner, R., Gierlinger, C.: COMan – coexistence of object-oriented and relational technology. In: Loucopoulos, P. (ed.) ER 1994. LNCS, vol. 881, pp. 259–277. Springer, Heidelberg (1994)CrossRef
54.
Kolyang, T., Santen, B., Wolff, B.: A structure preserving encoding of Z in Isabelle/HOL. In: Goos, G., Hartmanis, J., van Leeuwen, J., von Wright, J., Grundy, J., Harrison, J. (eds.) TPHOLs 1996. LNCS, vol. 1125, pp. 283–298. Springer, Heidelberg (2007)CrossRef
55.
Kühne, T., Schreiber, D.: Can programming be liberated from the two-level style? Multi-level programming with DeepJava. In: Proceedings of the 22th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2007. ACM Press (2007)
56.
Kühne, T.: Matters of metamodeling. Softw. Syst. Model. 5(1), 369–385 (2006). SpringerCrossRef
57.
Lutteroth, C., Draheim, D., Weber, G.: A type system for reflective program generators. Sci. Comput. Program. 76(5), 392–422 (2011). ElsevierMATHMathSciNetCrossRef
58.
Martin-Löf, P.: Intuistionistic Type-Theory. Bibliopolis (1984)
59.
Mahmood, Z., Saeed, S. (eds.): Software Engineering Frameworks for Cloud Computing Paradigm. Springer, London (2013)
60.
Martin, J., Odell, J.J.: Object-Oriented Methods - A Foundation (UML). Prentice Hall, Englewood Cliffs (1998)
61.
Morgan, C.: Programming from Specification. Prentice Hall, Englewood Cliffs (1990)
62.
Neumayr, B., Grün, K., Schrefl, M.: Multi-level domain modeling with M-objects and M-relationships. In: Proceedings of the 6th Asia-Pacific Conference on Conceptual Modeling, APCCM 2009. Australian Computer Society (2009)
63.
Neumayr, B., Schrefl, M.: Comparison criteria for ontological multi-level modeling. Presented at: Dagstuhl Seminar on The Evolution of Conceptual Modeling, Technical Report 08.03., Johannes-Kepler-University Linz (2008)
64.
Nipkow, T., Paulson, L.C., Wenzel, M.: Isabelle/HOL - A Proof Assistant for Higher-Order Logic. Springer, Heidelberg (2002)MATH
65.
Nystrom, N., Qi, X., Myers, A.C.: J & – nested intersection for scalable software composition. In: Proceedings of the 21th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006. ACM Press (2006)
66.
Nystrom, N., Chong, S., Myers, A.C.: Scalable extensibility via nested inheritance. In: Proceedings of the 19th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004. ACM Press (2004)
67.
Odell, J.J.: Dynamic and multiple classification. J. Object Oriented Program. 4(9), 45–48 (1998)
68.
69.
OMG: Object Constraint Language, version 1.1. Rational Software Corporation et al. (1997)
70.
OMG: Object Constraint Language, version 2.0, OMG (2006)
71.
OMG: Object Constraint Language, version 2.2, OMG (2010)
72.
OMG: Object Constraint Language, version 2.3.1, OMG (2012)
73.
OMG: Object Constraint Language, version 2.4, OMG (2014)
74.
OMG: OMG Unified Modeling Language - Infrastructure, version 2.4.1. OMG (2011)
75.
OMG: OMG Unified Modeling Language - Superstructure, version 2.4.1. OMG (2011)
76.
OMG: OMG Meta Object Facility - Core Specification, version 2.4.1. OMG (2011)
77.
Parr, T., Fisher, K.: LL(*) - the foundation of the ANTLR parser generator. In: Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2011. ACM Press (2011)
78.
Parnas, D.L.: A technique for software module specification with examples. Commun. ACM 15(5), 330–336 (1972)CrossRef
79.
Pierce, B.C.: Types and Programming Languages. MIT Press, Cambridge (2002)
80.
81.
Razavi, R., Bouraqadi, N., Yoder, J.W., Perrot, J.-F., Johnson, R.E.: Language support for adaptive object-models using metaclasses. Comput. Lang. Syst. Struct. 31(3–4), 199–218 (2005)
82.
Rossini, A., de Lara, J., Guerra, E., Rutle, A., Wolter, U.: A formalisation of deep metamodelling. Formal Aspects Comput. 26(6), 1115–1152 (2014)MathSciNetCrossRef
83.
Santen, T.: On the semantic relation of Z and HOL. In: Bowen, J.P., Fett, A., Hinchey, M.G. (eds.) ZUM 1998. LNCS, vol. 1493, pp. 96–116. Springer, Heidelberg (1998)CrossRef
84.
Schätz, B., et al. (eds.): Pre-proceedings of the International Workshop on Models and Evolution, MoDELS 2010 (2011)
85.
Selic, B.: On the semantic foundations of standard UML 2.0. In: Bernardo, M., Corradini, F. (eds.) SFM-RT 2004. LNCS, vol. 3185, pp. 181–199. Springer, Heidelberg (2004)CrossRef
86.
Simons, P., Niemel, I., Soininen, T.: Extending and implementing the stable model semantics. Artif. Intell. 138(1–2), 181–234 (2002)MATHCrossRef
87.
Spivey, J.M.: The Z Notation. Prentice Hall, Englewood Cliffs (1992)
88.
Lara, J., Vangheluwe, H.: Using AToM as a meta CASE tool. In: Proceedings of the 4th International Conference on Enterprise Information Systems, ICEIS 2002 (2002)
89.
Yoder, J., Johnson, R.: The adaptive object model architectural style. In: Proceedings of the 3rd Working IEEE/IFIP Conference on Software Architecture, WICSA 2002. IEEE Press (2002)
90.
Metadaten
Titel
Reflective Constraint Writing
verfasst von
Dirk Draheim
Copyright-Jahr
2016
Verlag
Springer Berlin Heidelberg
Buch
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXIV

Print ISBN: 978-3-662-49213-0

Electronic ISBN: 978-3-662-49214-7

Copyright-Jahr: 2016

DOI
https://doi.org/10.1007/978-3-662-49214-7_1

Neuer Inhalt

    Bildnachweise