Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.

DOI10.1016/S1571-0661(04)00177-XzbMath1262.68121OpenAlexW1515591279MaRDI QIDQ4921553

Reiko Heckel, Jochen Malte Küster

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00177-x

zbMATH Keywords

meta-modelingmodel verificationbehavioral consistency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• FDR2

Cites Work

• Unnamed Item
• Pair grammars, graph languages and string-to-graph translations
• Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project.

This page was built for publication: Behavioral Constraints for Visual Models1 1Research partially supported by the ESPRIT Working Group APPLIGRAPH and the TMR network GETGRATS.