Abstract | ||
---|---|---|
In a Model-Driven Development project, models are typically built iteratively to better satisfy a set of requirements. Therefore it is crucial to guarantee that one iteration of a model evolution does not hinder the previous version. In this paper, we focus on invariant preservation of behavioral models expressed in Algebraic Petri Nets. The theory developed is applied to a Multi-Level Security File System modeled iteratively. We also discuss how this approach can be applied on Domain-Specific Languages that are translated to Algebraic Petri Nets. |
Year | DOI | Venue |
---|---|---|
2012 | 10.1145/2523599.2523610 | ME@MoDELS |
Keywords | Field | DocType |
iterative modeling,model evolution,model-driven development project,previous version,domain-specific languages,invariant preservation,algebraic petri nets,behavioral model,multi-level security file system,model driven engineering,reverse engineering,software quality,software modernization,code analysis,software evolution,software engineering | Computer science,Model-driven architecture,Software system,Theoretical computer science,Invariant (mathematics),Software development process,Software evolution,Software requirements specification,Goal-Driven Software Development Process,Software verification | Conference |
Citations | PageRank | References |
2 | 0.38 | 13 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Levi Lúcio | 1 | 90 | 6.15 |
Eugene Syriani | 2 | 271 | 29.66 |
Moussa Amrani | 3 | 120 | 10.78 |
Qin Zhang | 4 | 2 | 0.38 |
Hans Vangheluwe | 5 | 1174 | 114.42 |