Output details
11 - Computer Science and Informatics
Oxford Brookes University
Return to search
Output 0 of 0 in the submission
Article title
An institution theory of formal meta-modelling in graphically extended BNF
Type
D - Journal article
Title of journal
Frontiers of Computer Science
Article number
-
Volume number
6
Issue number
1
First page of article
40
ISSN of journal
2095-2228
Year of publication
2012
URL
-
Number of additional authors
0
Additional information
<08>GEBNF is a meta-notation proposed by Zhu for the formal definition of the abstract syntax of models. It extends the BNF notation. This paper is a systematic study of the logic foundation of the GEBNF-based meta-modelling approach also proposed by Zhu. This meta-modelling approach has been successfully applied in the development of a formal theory of design patterns, published in a number of journal and conference papers co-authored with Bayley, including a Best Paper Award winner at COMPSAC’08, and a journal paper (also co-authored with Bayley) in ACM Transactions on Software Engineering and Methodology.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
1
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
