Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Formal specification: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Design pattern modelling and instantiation using DPML
CRPIT '02 Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A Proposal for a Formal OCL Semantics in Isabelle/HOL
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
A Formal Semantics for OCL 1.4
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
A Visual Language for Design Pattern Modelling and Instantiation
HCC '01 Proceedings of the IEEE 2001 Symposia on Human Centric Computing Languages and Environments (HCC'01)
A Two-Aspect Approach for a Clearer Behavior Model
ISORC '03 Proceedings of the Sixth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
Instantiating and Detecting Design Patterns: Putting Bits and Pieces Together
Proceedings of the 16th IEEE international conference on Automated software engineering
A UML-Based Pattern Specification Technique
IEEE Transactions on Software Engineering
Towards the completion of the formal semantics of OCL 2.0
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
The meta-object facility typed
Proceedings of the 2006 ACM symposium on Applied computing
Mathematical Logic
LePUS3: An Object-Oriented Design Description Language
Diagrams '08 Proceedings of the 5th international conference on Diagrammatic Representation and Inference
Visual Software Architecture Description Based on Design Space
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
On the Composition of Design Patterns
QSIC '08 Proceedings of the 2008 The Eighth International Conference on Quality Software
Specifying Behavioural Features of Design Patterns in First Order Logic
COMPSAC '08 Proceedings of the 2008 32nd Annual IEEE International Computer Software and Applications Conference
Semantics of Metamodels in UML
TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
Tool Support for Design Pattern Recognition at Model Level
COMPSAC '09 Proceedings of the 2009 33rd Annual IEEE International Computer Software and Applications Conference - Volume 01
Formal specification of the variants and behavioural features of design patterns
Journal of Systems and Software
Semantics of OCL Operation Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebraic semantics for MOF
Formal Aspects of Computing
On the Theoretical Foundation of Meta-Modelling in Graphically Extended BNF and First Order Logic
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
A metamodeling approach to pattern specification
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
ACM Transactions on Software Engineering and Methodology (TOSEM) - In memoriam, fault detection and localization, formal methods, modeling and design
Hi-index | 0.00 |
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.