Invariant preservation in iterative modeling

Authors:
Levi Lúcio;Eugene Syriani;Moussa Amrani;Qin Zhang;Hans Vangheluwe
Affiliations:
McGill University, Montreal QC, Canada;University of Alabama, Tuscaloosa, AL;University of Luxembourg, Luxembourg;University of Luxembourg, Luxembourg;McGill University, Canada and Antwerp University, Belgium
Venue:
Proceedings of the 6th International Workshop on Models and Evolution
Year:
2012

Citing 12
Cited 0

Rule-based refinement of high-level nets preserving safety properties

Science of Computer Programming - Specical issue on fundamental approaches to software engineering
Information Security: An Integrated Collection of Essays

Information Security: An Integrated Collection of Essays
Five Classes of Invariant-Preserving Transformations on Colored Petri Nets

Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Iterative and Incremental Development: A Brief History

Computer
Iterative Model Fixing with Counterexamples

APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
Comments on "An iterative synthesis approach to Petri net based deadlock prevention policy for flexible manufacturing systems"

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Property-preserving Petri Net Process Algebra in Software Engineering

Property-preserving Petri Net Process Algebra in Software Engineering
Weaving executability into object-oriented meta-languages

MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
An Iterative Synthesis Approach to Petri Net-Based Deadlock Prevention Policy for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
High-Level Petri Net Model Checking with AlPiNA

Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2010
i2MAP: an incremental and iterative modeling and analysis process

MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
An iterative process for adaptive meta- and instance modeling

DEXA'07 Proceedings of the 18th international conference on Database and Expert Systems Applications

Quantified Score

Hi-index	0.00

Visualization

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.