Reference : Optimizing verification of structurally evolving algebraic petri nets
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/11481
Optimizing verification of structurally evolving algebraic petri nets
English
Khan, Yasir Imtiaz mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
8-Sep-2013
Software Engineering for Resilient Systems Lecture Notes in Computer Science Volume
Springer Berlin Heidelberg
8166
Yes
International
0302-9743
5th International Workshop, SERENE 2013
from October 3-4, 2013
[en] Evolution ; Model checking ; Slicing
[en] System models are subject to evolve during the development life cycle, along which an initial version goes through a series of evolutions, generally aimed at progressively reaching all the requested qualities (completeness, correctness etc.). Among the existing development methodologies the iterative and incremental one has been proved to be efficient for system development but lacks of support for an adequate verification process. When considering Algebraic Petri nets (APNs) for modeling and model checking for verification, all the proofs must be redone after each iteration which is impractical both in terms of time and space. In this work, we introduce an Algebraic Petri net slicing technique that optimizes the model checking of static or structurally evolving APN models. Furthermore, our approach is proposing a classification of evolutions dedicated to the improvement of model checking.
Fonds National de la Recherche - FnR
Researchers ; Professionals ; Students
http://hdl.handle.net/10993/11481
10.1007/978-3-642-40894-6_6

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
Optimizeevo.pdfPublisher postprint1.75 MBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.