A Heterogeneous Approach to UML Semantics

DOI10.1007/978-3-540-68679-8_23MaRDI QIDQ3507375zbMATH OpenOpenAlexFDO

Authors María Victoria Cengarle, Alexander Knapp, Andrzej Tarlecki, Martin Wirsing

Publication date 19 June 2008

Published in Concurrency, Graphs and Models (Search for Journal in Brave)

Full work available at URL https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/44461

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1693554
• scientific article; zbMATH DE number 2086943
• UML interactions meet state machines -- an institutional approach
• scientific article; zbMATH DE number 1860616
• scientific article; zbMATH DE number 2086759

Cited in

(30)

• Formal concepts for an integrated internal model of the UML
• Institutions for OCL-like expression languages
• scientific article; zbMATH DE number 1696896 (Why is no real title available?)
• scientific article; zbMATH DE number 2086943 (Why is no real title available?)
• scientific article; zbMATH DE number 1693554 (Why is no real title available?)
• Extending standard UML with model composition semantics
• scientific article; zbMATH DE number 1835987 (Why is no real title available?)
• Towards an institutional framework for heterogeneous formal development in UML -- a position paper
• UML interactions meet state machines -- an institutional approach
• Some remarks on the representation of the conceptual modeling in the business information systems by heterogeneous structures
• scientific article; zbMATH DE number 2080212 (Why is no real title available?)
• scientific article; zbMATH DE number 2006500 (Why is no real title available?)
• Model-driven engineering in the heterogeneous tool set
• UMT-domains: A Survey
• scientific article; zbMATH DE number 5004762 (Why is no real title available?)
• scientific article; zbMATH DE number 2086759 (Why is no real title available?)
• (Heterogeneous) structured specifications in logics without interpolation
• An institution for Object-Z with inheritance and polymorphism
• scientific article; zbMATH DE number 2080626 (Why is no real title available?)
• Ode to the PST
• A typed attributed graph grammar with inheritance for the abstract syntax of UML class and sequence diagrams
• Encapsulating formal methods within domain specific languages: a solution for verifying railway scheme plans
• What Is a Multi-modeling Language?
• Querying UML class diagrams
• A homage to Martin Wirsing
• Combining UML and ontology: an exploratory survey
• Heterogeneous Logical Environments for Distributed Specifications
• An institutional approach to communicating UML state machines
• scientific article; zbMATH DE number 2088754 (Why is no real title available?)
• scientific article; zbMATH DE number 1860616 (Why is no real title available?)

Describes a project that uses

Uses Software

• Hets
• COWS

This page was built for publication: A Heterogeneous Approach to UML Semantics

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