@inproceedings{1355a27f5cfc4fc8b6fe0955c3229ac2,
title = "Using transition systems to unify UML models",
abstract = "The Unified Modeling Language (UML) is the de-facto standard modeling language for the development of software with broad ranges of applications. It supports for modeling a software at different stages during its development: requirement analysis, design and implementation. The models to produce for an object-oriented requirement analysis are a conceptual class model and a use-case model. This paper proposes a method to combine these two models by using a classic transition system. Then we can reason about and refine such systems with well established methods and tools.",
keywords = "Conceptual model, Object-orientation, Transition systems, UML, Use-case model",
author = "Zhiming Liu and Xiaoshan Li and Jifeng He",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2002.; 4th International Conference on Formal Engineering Methods, ICFEM 2002 ; Conference date: 21-10-2002 Through 25-10-2002",
year = "2002",
doi = "10.1007/3-540-36103-0\_54",
language = "英语",
isbn = "9783540000297",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "535--547",
editor = "Chris George and Huaikou Miao",
booktitle = "Formal Methods and Software Engineering - 4th International Conference on Formal Engineering Methods, ICFEM 2002, Proceedings",
address = "德国",
}