Approaches to Semantic Mutation of Behavioral State Machines in Model-Driven Software Development

Derezińska, Anna; Zaremba, Łukasz

doi:10.15439/2018f313

Cited by 2 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…number of projects to be build, number of compilation runs, number of libraries. Four different architecture have been proposed and analyzed [42]. The approach based on configurable library proved to be the best solution.…”

Section: General Refactored Architecturementioning

confidence: 99%

Model-Driven Software Development Combined with Semantic Mutation of UML State Machines

Derezińska

Zaremba

2020

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

The paper presents an approach to semantic mutation of state machines that specify class behavior in Model-Driven Software Development. The mutations are aimed at different variants of UML state machine behavior. Mutation testing of a target application allows to compare different semantic interpretations and verify a set of test cases. We present a notation of a process combining model-driven development with semantic mutation and semantic consequence-oriented mutations. Origin and details of the proposed mutation operators are discussed. The approach has been supported by the Framework for eXecutable UML (FXU) that creates a C# application from UML classes and state machines. The tool architecture has been reengineered in order to apply semantic mutation operators into the model-driven development process and realize testing on a set of semantic mutants. The tool and the implemented mutation operators have been verified in a case study on a status service for a social network.

show abstract

Section: General Refactored Architecturementioning

confidence: 99%

Model-Driven Software Development Combined with Semantic Mutation of UML State Machines

Derezińska

Zaremba

2020

Communications in Computer and Information Science

Self Cite

View full text Add to dashboard Cite

show abstract

Characteristic and comparison of UML, BPMN and EPC based on process models of a training company

Nizioł¹,

Wiśniewski²,

Kluza³

et al. 2021

Position and Communication Papers of the 16th Conference on Computer Science and Intelligence Systems

View full text Add to dashboard Cite

We describe, characterize and compare three selected modeling notations of business processes: Unified Modeling Language, Business Process Model and Notation, as well as Event-Driven Process Chain. Using processes implemented in a training company, the selected notations were discussed in detail. We compare various aspects, such as modeling notation origin, the number of graphical elements included. Moreover, notations were analyzed using the 4+1 architectural view model. Justified results of the survey conducted among employees of above-mentioned organization let us conclude that there exist notation differences. Both BPMN and EPC allow the process architects to prepare more precise and legible models than UML.

show abstract

Approaches to Semantic Mutation of Behavioral State Machines in Model-Driven Software Development

Cited by 2 publications

References 10 publications

Model-Driven Software Development Combined with Semantic Mutation of UML State Machines

Model-Driven Software Development Combined with Semantic Mutation of UML State Machines

Characteristic and comparison of UML, BPMN and EPC based on process models of a training company

Contact Info

Product

Resources

About