期刊名称：Journal of International Technology and Information Management
印刷版ISSN：1941-6679
出版年度：2007
卷号：16
期号：4
页码：6
出版社：California State University, San Bernardino
摘要：UML is widely used as an industry standard for modeling any system. In this paper will be dealing with simple UML diagrams and show that low it can be transformed into process algebra models specially designated to model urban traffic systems. The model capture functionality at the level of mesoscopic as well as microscopic level and it is merged with process algebra’s producer consumer theory. The model is also formalized using Process algebra equations. This paper focuses on complex situational activity diagrams enhancing the expressivity by refining at the abstraction levels. Performance requirement is annotated by the UML profile for schedulability performance and time.
