scientific article; zbMATH DE number 1946722

MaRDI QIDQ4411018zbMATH OpenFDO

Authors Dániel Varró, András Pataricza

Publication date 7 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2460/24600018.htm

zbMATH Keywords

formal semanticsgraph transformationmetamodelingmodel transformationrefinement

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 1693510
• Using UML action semantics for model execution and transformation
• scientific article; zbMATH DE number 1946738
• On the semantics of unified modeling language diagrams using Z notation
• scientific article; zbMATH DE number 2080017

Cited in

(10)

• Using UML action semantics for model execution and transformation
• Research on metamodels consistency verification based on formalization of domain-specific metamodeling language
• scientific article; zbMATH DE number 1693510 (Why is no real title available?)
• scientific article; zbMATH DE number 1708031 (Why is no real title available?)
• An action semantic-based approach to UML\(_{\text{1.X-2.0}}\) transformation
• A metamodeling approach to transform UML 2.0 Sequence Diagrams to Petri nets
• scientific article; zbMATH DE number 1946739 (Why is no real title available?)
• scientific article; zbMATH DE number 2087518 (Why is no real title available?)
• Analysis of UML Activities Using Dynamic Meta Modeling
• An algebraic semantics for MOF

Describes a project that uses

Uses Software

• PROGRES
• SPIN

This page was built for publication:

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