Logo des Repositoriums
 

Static safety analysis of UML action semantics for critical systems development

Kurzanzeige
dc.contributor.authorPap, Zsigmond
dc.contributor.authorVarró, Dániel
dc.contributor.editorDadam, Peter
dc.contributor.editorReichert, Manfred
dc.date.accessioned2019-10-11T11:42:42Z
dc.date.available2019-10-11T11:42:42Z
dc.date.issued2004
dc.description.abstractThe Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to implementation allowing the development of highly automated and optimized code generators for UML CASE tools. In the paper, we evaluate the use of Action Semantics in the model driven development of reactive and safety critical systems. Finally, we propose a static safety analysis technique to identify incompleteness, non-determinism and inconsistencies in behavioral specifications using Action Semantics descriptions.en
dc.identifier.isbn3-88579-379-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28894
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofInformatik 2004 – Informatik verbindet – Band 1, Beiträge der 34. Jahrestagung der Gesellschaft für Informatik e.V. (GI)
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-50
dc.subjectAction Semantics
dc.subjectsafety criteria
dc.subjectUML
dc.subjectsafety critical systems
dc.titleStatic safety analysis of UML action semantics for critical systems developmenten
dc.typeText/Conference Paper
gi.citation.endPage61
gi.citation.publisherPlaceBonn
gi.citation.startPage57
gi.conference.date20.-24. September 2004
gi.conference.locationUlm
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.50-9.pdf
Größe:
376.48 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P050 - INFORMATIK 2004 - Informatik verbindet - Band 1