Evolution Models for Information Systems Evolution Steering

Ralyté, Jolita; Léonard, Michel

doi:10.1007/978-3-319-70241-4_15

Cited by 3 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Several contributions specify metamodels with UML class diagrams, declaring object types as classes and relation types as classes or named association arrows, e.g. [33,44,53,58,60]. Others simply define the object and relation types with box-and-line models devoid of an underlying language and rely on the intuitive understanding of the reader, e.g.…”

Section: A Need For Formalizationmentioning

confidence: 99%

Formalizing the Four-layer Metamodeling Stack -- Potential and Benefits

Döller

2021

Preprint

View full text Add to dashboard Cite

Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and languages, thus amplifying the model-value beyond mere comprehensible pictures. To enable this amplification and turn models into computer-processable structures a comprehensive formalization is needed. This paper presents a generic formalism based on typed firstorder logic and provides a perspective on the potential and benefits arising for a variety of research issues in conceptual modeling. We define modeling languages as formal languages with a signature Σ -comprising object types, relation types, and attributes through types and function symbols -and a set of constraints. Three cases studies are included to show the effectiveness of the approach. Applying the formalism to the next level in the hierarchy of models we create M2FOL, a formal modeling language for metamodels. We show that M2FOL is self-describing and therefore complete the formalization of the full four-layer metamodeling stack. On the basis of our generic formalism applicable to arbitrary modeling languages we examine three current research topics -language interleaving & consistency, operations on models, and automatic translation of formalizations to platform-specific code -and how to approach them with the proposed formalism. This shows that the rich knowledge stack on formal languages in logic offers new tools for old problems.

show abstract

Section: A Need For Formalizationmentioning

confidence: 99%

Formalizing the Four-layer Metamodeling Stack -- Potential and Benefits

Döller

2021

Preprint

View full text Add to dashboard Cite

show abstract

“…Several contributions specify metamodels with UML class diagrams, declaring object types as classes and relation types as classes or named association arrows, e.g. [32] [36] [37]. Others simply define the object and relation types with box-and-line models devoid of an underlying language and rely on the intuitive understanding of the reader, e.g.…”

Section: Introductionmentioning

confidence: 99%

M2FOL: A Formal Modeling Language for Metamodels

Döller

2020

Lecture Notes in Business Information Processing

View full text Add to dashboard Cite

Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and languages, thus amplifying the model-value beyond mere comprehensible pictures. To enable this amplification and turn models into computer-processable structures a comprehensive formalization is needed. In this paper we build on the widely accepted approach of logic as basis for modeling languages and define them as languages in the sense of typed predicate logic comprising a signature Σ and a set of constraints. We concretize how the basic concepts of a language -object and relation types, attributes, inheritance and constraints -can be expressed in logical terms. This naturally leads to the denotation of a model as Σ-structure satisfying all constraints. We apply this definition also on the metalevel and propose a formal modeling language to specify metamodels called M2FOL. A thus formalized metamodel then rigorously defines the signature of a language and we provide an algorithmic derivation of the formal modeling language from the metamodel. The effectiveness of our approach is demonstrated by formalizing the Petri Net modeling language, a method frequently used for analysis and simulation in enterprise modeling.

show abstract

Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits

Döller

2022

Softw Syst Model

View full text Add to dashboard Cite

Enterprise modeling deals with the increasing complexity of processes and systems by operationalizing model content and by linking complementary models and languages, thus amplifying the model value beyond mere comprehensible pictures. To enable this amplification and turn models into computer-processable structures, a comprehensive formalization is needed. This paper presents the formalism MetaMorph based on typed first-order logic and provides a perspective on the potential and benefits of formalization that arise for a variety of research issues in conceptual modeling. MetaMorph defines modeling languages as formal languages with a signature $$\varSigma $$ Σ —comprising object types, relation types, and attributes through types and function symbols—and a set of constraints. Four case studies are included to show the effectiveness of this approach. Applying the MetaMorph formalism to the next level in the hierarchy of models, we create , a formal modeling language for metamodels. We show that is self-describing and therefore complete the formalization of the full four-layer metamodeling stack. On the basis of our generic formalism applicable to arbitrary modeling languages, we examine four current research topics—modeling with power types, language interleaving & consistency, operations on models, and automatic translation of formalizations to platform-specific code—and how to approach them with the MetaMorph formalism. This shows that the rich knowledge stack on formal languages in logic offers new tools for old problems.

show abstract

Evolution Models for Information Systems Evolution Steering

Cited by 3 publications

References 7 publications

Formalizing the Four-layer Metamodeling Stack -- Potential and Benefits

Formalizing the Four-layer Metamodeling Stack -- Potential and Benefits

M2FOL: A Formal Modeling Language for Metamodels

Formalizing the four-layer metamodeling stack with MetaMorph: potential and benefits

Contact Info

Product

Resources

About