Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets

Zusammenfassung
UML has become the standard object-oriented analysis and design language in software industry. However UML lacks a precise semantics that hinders error detection in the early stages of system development. Even worse, there is no clear definition of consistency criteria among various UML notations, and there are few examples of illustrating the use of various notations together. In this paper, we present an approach of using Hierarchical Predicate Transition Nets (HPrTNs) to define and integrate UML statechart diagrams and collaboration diagrams. Our approach establishes a basis for relating various UML models together and for carrying out formal analysis.
  • Vollständige Referenz
  • BibTeX
Dong, Z. & He, X., (2001). Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets. In: Evans, A., France, R. B., Moreira, A. M. & Rumpe, B. (Hrsg.), Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001. Bonn: (S. 99-112).
@inproceedings{mci/Dong2001,
author = {Dong, Zhijiang AND He, Xudong},
title = {Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets},
booktitle = {Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001},
year = {2001},
editor = {Evans, Andy AND France, Robert B. AND Moreira, Ana M. D. AND Rumpe, Bernhard} ,
pages = { 99-112 },
publisher = {},
address = {Bonn}
}
DateienGroesseFormatAnzeige
08.pdf230.6Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-335-0
ISSN: 1617-5468
Datum: 2001
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige