2022
DOI: 10.31577/cai_2022_5_1284
|View full text |Cite
|
Sign up to set email alerts
|

A Graph Transformation Approach for Modeling and Verification of UML 2.0 Sequence Diagrams

Abstract: Unified Modeling Language (UML) 2.0 Sequence Diagrams (UML 2.0 SD) are used to describe interactions in software systems. These diagrams must be verified in the early stages of software development process to guarantee the production of a reliable system. However, UML 2.0 SD lack formal semantics as all UML specifications, which makes their verification difficult, especially if we are modeling a critical system where the automation of verification is necessary. Communicating Sequential Processes (CSP) is a for… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
0
0

Year Published

2023
2023
2023
2023

Publication Types

Select...
2

Relationship

0
2

Authors

Journals

citations
Cited by 2 publications
(1 citation statement)
references
References 30 publications
0
0
0
Order By: Relevance
“…Veiklos diagrama gali parodyti lygiagrečią veiklą ir gali būti naudojama modeliuojant sprendimus, kilpas ir kitas valdymo struktūras. Tai viena iš daugelio Unified Modelling Language (UML) diagramų tipų, naudojamų programinės įrangos inžinerijoje programinės įrangos sistemoms vizualizuoti, nurodyti, kurti ir dokumentuoti [5]. Dokumente yra detaliai aprašyti žingsniai, kurie klientą veda naudotis sistema tam, kad būtų išgautas norimas rezultatas.…”
Section: Sistemos Projektavimasunclassified
“…Veiklos diagrama gali parodyti lygiagrečią veiklą ir gali būti naudojama modeliuojant sprendimus, kilpas ir kitas valdymo struktūras. Tai viena iš daugelio Unified Modelling Language (UML) diagramų tipų, naudojamų programinės įrangos inžinerijoje programinės įrangos sistemoms vizualizuoti, nurodyti, kurti ir dokumentuoti [5]. Dokumente yra detaliai aprašyti žingsniai, kurie klientą veda naudotis sistema tam, kad būtų išgautas norimas rezultatas.…”
Section: Sistemos Projektavimasunclassified