|
Title:
|
STATE MACHINES AND PETRI NETS AS A FORMAL REPRESENTATION FOR SYSTEMS LIFE CYCLE MANAGEMENT |
|
Author(s):
|
Eric Simon , Kilian Stoffel |
|
ISBN:
|
978-972-8924-79-9 |
|
Editors:
|
Miguel Baptista Nunes, Pedro Isaías and Philip Powell |
|
Year:
|
2009 |
|
Edition:
|
Single |
|
Keywords:
|
State machine, Petri net, life cycle |
|
Type:
|
Full Paper |
|
First Page:
|
275 |
|
Last Page:
|
282 |
|
Language:
|
English |
|
Cover:
|
|
|
Full Contents:
|
click to dowload 
|
|
Paper Abstract:
|
In systems life cycle management (SLCM), there is a gap between the rather informal methodologies for systems
development and the sound mathematical formalisms needed for the automatic validation of systems properties and
correctness proofs. This paper presents a model based on finite state machines and its translation into Petri nets, a
mathematical representation with the desired degree of provability in this context. We argue that the model can bridge
that gap, by allowing inexperienced non specialists to represent their development methodologies and all their key
features using simple automata and applying a systems thinking approach to problem solving, instead of having to
express the model in a more complicated representation from the start. |
|
|
|
|
|
|
