Towards extending UML's activity diagram for the architectural modeling, analysis, and implementation

Basit Öğe Kaydı
dc.contributor.authorKöse, Mehmet Alp
dc.contributor.authorÖzkaya, Mert
dc.date.accessioned2021-05-15T12:49:40Z
dc.date.available2021-05-15T12:49:40Z
dc.date.issued2020
dc.departmentLisansüstü Eğitim Enstitüsüen_US
dc.description15th Federated Conference on Computer Science and Information Systems, FedCSIS 2020 -- 6 September 2020 through 9 September 2020 -- -- 164056
dc.description.abstractSAWUML is a general-purpose software modeling language that extends UML by unifying component and sequence diagrams for the specifications of software architectures. While component diagram is used for modeling the system structures, sequence diagram is extended with the Design-by-Contract approach for the modeling of system behaviors. In this paper, we aim at enhancing the language usability by providing alternative modeling choices for practitioners. To this end, we extended SAWUML's notation set with UML's activity diagram for the behavior modeling. So, practitioners may now use either sequence or activity diagrams, while the system structures are still modeled with component diagrams. We also extended SAWUML's modeling editor for creating software architecture models together with component and activity diagrams and the code generators for automatically obtaining (i) formal models in SPIN's ProMeLa for formal verification and (ii) Java-based implementation. We illustrate our language extension with the gas station case-study. © 2020 Polish Information Processing Society - as it is since 2011.en_US
dc.identifier.doi10.15439/2020F199
dc.identifier.endpage648en_US
dc.identifier.isbn9788395541674
dc.identifier.scopus2-s2.0-85095723605
dc.identifier.scopusqualityN/A
dc.identifier.startpage639en_US
dc.identifier.urihttps://doi.org/10.15439/2020F199
dc.identifier.urihttps://hdl.handle.net/20.500.12939/1087
dc.indekslendigikaynakScopus
dc.institutionauthorKöse, Mehmet Alp
dc.language.isoen
dc.publisherInstitute of Electrical and Electronics Engineers Inc.en_US
dc.relation.ispartofProceedings of the 2020 Federated Conference on Computer Science and Information Systems, FedCSIS 2020
dc.relation.publicationcategoryKonferans Öğesi - Uluslararası - Kurum Öğretim Elemanıen_US
dc.rightsinfo:eu-repo/semantics/openAccessen_US
dc.subjectUMLen_US
dc.subjectSAWUMLen_US
dc.subjectMetaediten_US
dc.subjectTool Evaluationen_US
dc.subjectJava Implementationen_US
dc.titleTowards extending UML's activity diagram for the architectural modeling, analysis, and implementation
dc.typeConference Object

Dosyalar

Orijinal paket
Listeleniyor 1 - 1 / 1
Küçük Resim
İsim:
Towards Extending UML's Activity Diagram for the Architectural Modeling, Analysis, and Implementation .pdf
Boyut:
1.87 MB
Biçim:
Adobe Portable Document Format
Açıklama:
Tam Metin/ Full Text
İndir

Koleksiyon

Scopus İndeksli Yayınlar Koleksiyonu