Logo des Repositoriums
 

Integrating UML statechart and collaboration diagrams using hierarchical predicate transition nets

Kurzanzeige
dc.contributor.authorDong, Zhijiang
dc.contributor.authorHe, Xudong
dc.contributor.editorEvans, Andy
dc.contributor.editorFrance, Robert B.
dc.contributor.editorMoreira, Ana M. D.
dc.contributor.editorRumpe, Bernhard
dc.date.accessioned2020-01-07T12:34:47Z
dc.date.available2020-01-07T12:34:47Z
dc.date.issued2001
dc.description.abstractUML 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.en
dc.identifier.isbn3-88579-335-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/30869
dc.language.isoen
dc.relation.ispartofPractical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-7
dc.titleIntegrating UML statechart and collaboration diagrams using hierarchical predicate transition netsen
dc.typeText/Conference Paper
gi.citation.endPage112
gi.citation.publisherPlaceBonn
gi.citation.startPage99
gi.conference.dateOctober 1st, 2001
gi.conference.locationToronto, Canada
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
08.pdf
Größe:
230.66 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P007 - Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001