Using transition systems to unify UML models

DOI10.1007/3-540-36103-0_54MaRDI QIDQ4412546zbMATH OpenFDO

Authors Zhiming Liu, Xiaoshan Li, Jifeng He

Publication date 15 July 2003

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/2495/24950535.htm

zbMATH Keywords

Conceptual modelObject-orientationTransition systemsUMLUse-case model

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Formalizing UML models with Object-Z
• Transformations and software modeling languages: Automating transformations in UML
• scientific article; zbMATH DE number 2088797
• UML -- a universal modeling language?
• Concurrency and refinement in the unified modeling language

Cited in

(12)

• scientific article; zbMATH DE number 2088797 (Why is no real title available?)
• Promoting models
• An approach to identify and manage interoperability of class diagrams in visual paradigm and magicdraw tools
• Agent-oriented conceptual models to UML sequence diagrams via effect annotations
• Toward UML platform specific model for programming languages
• scientific article; zbMATH DE number 65745 (Why is no real title available?)
• Using UML for information modeling in industrial systems with multiple hierarchies
• Integration and transformation of UML models
• scientific article; zbMATH DE number 2090158 (Why is no real title available?)
• Integrating Model Information in UML Sequence Diagrams
• Computer Aided Systems Theory – EUROCAST 2005
• Linking formal methods in software development. A reflection on the development of rCOS

This page was built for publication: Using transition systems to unify UML models

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