2012
DOI: 10.1007/s10009-012-0243-0
|View full text |Cite
|
Sign up to set email alerts
|

An integrated framework for checking the behaviour of fUML models using CSP

Abstract: Transforming UML models into a formal representation to check certain properties has been addressed many times in the literature. However, the lack of automatic formalization for executable UML models and provision of model checking results as modellerfriendly feedback has inhibited the practical use of such approaches in real life projects. In this paper we address those issues by performing the automatic formalization of the fUML (Foundational subset for executable UML) models into CSP without any interactio… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
20
0

Year Published

2013
2013
2024
2024

Publication Types

Select...
5
3

Relationship

0
8

Authors

Journals

citations
Cited by 15 publications
(20 citation statements)
references
References 22 publications
0
20
0
Order By: Relevance
“…Not only does this aim at confirming the findings by an alternative verification means, but in particular at finding the most convincing route to translate UML activity diagrams automatically to a formal, executable language. This would make the methodology described above more mechanical, and there already exists work that can be leveraged upon [27].…”
Section: A a Prototype Methodologymentioning
confidence: 99%
“…Not only does this aim at confirming the findings by an alternative verification means, but in particular at finding the most convincing route to translate UML activity diagrams automatically to a formal, executable language. This would make the methodology described above more mechanical, and there already exists work that can be leveraged upon [27].…”
Section: A a Prototype Methodologymentioning
confidence: 99%
“…The same limitation has been addressed by Abdelhalim et al [19]. In contrast to Benyahia et al [18], they do not propose an extension of the standard fUML execution model but rather present a model-based framework that translates fUML activities into communicating sequential processes (CSP) for performing a deadlock analysis detecting possible scenarios leading to deadlocks which are provided as UML sequence diagrams.…”
Section: Related Workmentioning
confidence: 93%
“…In the approach proposed by Romero and Ferreira [16], non-functional properties are annotated using the MARTE profile but, as stated by the authors themselves, they are ignored at the PIM level and are only considered when fUML-based PIMs are transformed into AADL models for sake of schedulability analysis (which is not feasible at the moment in fUML as stated in [18]). The approaches presented in [18] and [19] do not make use of UML profiles at all. However, in [18] the authors express their interests and efforts in providing a methodological and tooled framework that exploits UML profiles to deal with semantic variations of fUML and to support different model analyses directly in fUML (e.g., schedulability analysis).…”
Section: Related Workmentioning
confidence: 98%
“…They illustrate how the standard fUML execution model, as well as the fUML VM, have to be extended for this purpose to explicitly incorporate a scheduler into fUML that, at each step of the model execution, determines the activity node to be executed next according to certain scheduling policies (e.g., first-in-first-out (FIFO)). The same limitation has been addressed by Abdelhalim et al [17]. In contrast to Benyahia et al [16], they do not propose an extension of the standard fUML execution model but rather present a model-based framework that translates fUML activities into communicating sequential processes (CSP) for performing a deadlock analysis detecting possible scenarios leading to deadlocks which are provided as UML sequence diagrams.…”
Section: Related Workmentioning
confidence: 99%