An institution theory of formal meta-modelling in graphically extended BNF

Meta-modelling plays an important role in model driven software development. In this paper, a graphic extension of BNF (GEBNF) is proposed to define the abstract syntax of graphic modelling languages. From a GEBNF syntax definition, a formal predicate logic language can be induced so that meta-modelling can be performed formally by specifying a predicate on the domain of syntactically valid models. In this paper, we investigate the theoretical foundation of this meta-modelling approach. We formally define the semantics of GEBNF and its induced predicate logic languages, then apply Goguen and Burstall’s institution theory to prove that they form a sound and valid formal specification language for meta-modelling.

[1]  Amnon H. Eden,et al.  Objectives , 1975 .

[2]  Amnon H. Eden,et al.  LePUS3: An Object-Oriented Design Description Language , 2008, Diagrams.

[3]  Hong Zhu,et al.  Semantics of Metamodels in UML , 2009, 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering.

[4]  Yann-Gaël Guéhéneuc,et al.  Instantiating and detecting design patterns: putting bits and pieces together , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[5]  Iman Poernomo,et al.  The meta-object facility typed , 2006, SAC.

[6]  Hong Zhu,et al.  Specifying Behavioural Features of Design Patterns in First Order Logic , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[7]  Stephan Flake,et al.  Towards the Completion of the Formal Semantics of OCL 2.0 , 2004, ACSC.

[8]  Hong Zhu,et al.  Formal specification of the variants and behavioural features of design patterns , 2010, J. Syst. Softw..

[9]  María Victoria Cengarle,et al.  A Formal Semantics for OCL 1.4 , 2001, UML.

[10]  Axel van Lamsweerde,et al.  Formal specification: a roadmap , 2000, ICSE '00.

[11]  Hong Zhu,et al.  Tool Support for Design Pattern Recognition at Model Level , 2009, 2009 33rd Annual IEEE International Computer Software and Applications Conference.

[12]  Qian Zhang,et al.  Visual Software Architecture Description Based on Design Space , 2008, 2008 The Eighth International Conference on Quality Software.

[13]  Sébastien Gérard,et al.  A two-aspect approach for a clearer behavior model , 2003, Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, 2003..

[14]  Hong Zhu,et al.  On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic , 2010, 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering.

[15]  Joseph A. Goguen,et al.  Institutions: abstract model theory for specification and programming , 1992, JACM.

[16]  Ralph Johnson,et al.  design patterns elements of reusable object oriented software , 2019 .

[17]  Achim D. Brucker,et al.  A Proposal for a Formal OCL Semantics in Isabelle/HOL , 2002, TPHOLs.

[18]  Lionel C. Briand,et al.  A metamodeling approach to pattern specification , 2006, MoDELS'06.

[19]  Artur Boronat,et al.  Algebraic Semantics of OCL-Constrained Metamodel Specifications , 2009, TOOLS.

[20]  Alexander Knapp,et al.  Semantics of OCL Operation Specifications , 2004, OCL 2.0 @ UML.

[21]  Hong Zhu,et al.  Laws of Pattern Composition , 2010, ICFEM.

[22]  Artur Boronat,et al.  An algebraic semantics for MOF , 2009, Formal Aspects of Computing.

[23]  Raymond Turner,et al.  Specification , 2011, Minds and Machines.

[24]  John Grundy,et al.  Design pattern modelling and instantiation using DPML , 2002 .

[25]  Artur Boronat,et al.  Algebraic Semantics of EMOF/OCL Metamodels , 2007 .

[26]  Robert B. France,et al.  A UML-based pattern specification technique , 2004, IEEE Transactions on Software Engineering.

[27]  Achim D. Brucker,et al.  Semantic Issues of OCL: Past, Present, and Future , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[28]  John C. Grundy,et al.  A visual language for design pattern modelling and instantiation , 2001, Proceedings IEEE Symposia on Human-Centric Computing Languages and Environments (Cat. No.01TH8587).

[29]  Hong Zhu,et al.  On the Composition of Design Patterns , 2008, 2008 The Eighth International Conference on Quality Software.

[30]  Hong Zhu,et al.  A Formal Language of Pattern Compositions , 2010 .

[31]  Hong Zhu,et al.  WELL-FORMEDNESS , CONSISTENCY AND COMPLETENESS OF GRAPHIC MODELS , 2006 .

[32]  Tony Clark,et al.  Object Modeling with the OCL: The Rationale behind the Object Constraint Language , 2002 .