Process representation and formalism

Name: Process representation and formalism
Brand: Scholars' Press
SKU: 9783639760835
Price: 215.85 RON
Availability: InStock

Autor: Simon Eric

Limbă:

Legare: Carte broșată

Editura: Scholars' Press

Disponibilitate: În depozitul extern

Expediem în 5-8 zile

215.85 lei

In the context of systems development life cycles (SDLC), a gap exists between the representations o...

Informații despre carte

Autor

Simon Eric

Limbă

engleză

Legare

Carte - Carte broșată

Publicat

2015

Pagini

148

EAN

9783639760835

ISBN

3639760832

Enbook ID

09186990

Editura

Scholars' Press

Greutate

227

Dimensiuni

152 x 229 x 9

Descriere completă

In the context of systems development life cycles (SDLC), a gap exists between the representations of the methodologies as processes 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, for instance Petri nets. This doctoral thesis aims at bridging this gap by proposing a model in-between these two extremes that is simple yet expressive enough to be able to represent the processes, either directly or by translating BPMN diagrams to the model, while retaining enough formalism to allow its mapping to Petri nets, which then enables the execution of the diagrams but also opens the door to automatic or semi-automatic validation of some properties of the systems using well-known algorithms in graph theory or methods that are specific to Petri nets.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Process representation and formalism

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și