Metamodelling and conformance checking with PVS

DOI10.1007/3-540-45314-8_2MaRDI QIDQ2764102zbMATH OpenFDO

Authors Richard F. Paige, Jonathan S. Ostroff

Publication date 22 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2029/20290002

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Logic in artificial intelligence (68T27) Computing methodologies and applications (68U99)

Recommendations

• Research on metamodels consistency verification based on formalization of domain-specific metamodeling language
• Constraint validation support in visual model transformation systems
• scientific article; zbMATH DE number 1931780
• An institution theory of formal meta-modelling in graphically extended BNF
• scientific article; zbMATH DE number 2085179

Cited in

(3)

• An institution theory of formal meta-modelling in graphically extended BNF
• Research on metamodels consistency verification based on formalization of domain-specific metamodeling language
• scientific article; zbMATH DE number 1931780 (Why is no real title available?)

Describes a project that uses

Uses Software

• PVS

This page was built for publication: Metamodelling and conformance checking with PVS

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2764102)