Université de Neuchâtel

Towards bridging the gap between reprensentation and formalism in the context of systems life cycle management processes

Simon, Eric ; Stoffel, Kilian (Dir.)

Thèse de doctorat : Université de Neuchâtel, 2013 ; 2400.

In the context of systems development life cycles (SDLC), a gap exists between the representations of the involved methodologies as process on the one hand, for example using business process model and notation (BPMN), and the formalisms that would provide the level of analysability necessary to validate the corresponding processes on the other hand beyond mere execution, for instance Petri nets....