Envío gratis a partir de 69,99 euros.

«Comprobar estado del pedido»

Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis

Envío gratuito con Zásilkovna para compras superiores a 59.99 €

Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €

Contacto

Cómo comprar

Ayuda

Mi cuenta

▸ Vacío :-(

Envío gratis a partir de 69,99 euros.

Process representation and formalism

Name: Process representation and formalism
Brand: Scholars' Press
SKU: 09186990
Price: 44.29 EUR
Availability: InStock
Author: Simon Eric
ISBN: 9783639760835

Simon Eric

Idioma

Inglés

Libro Tapa blanda

Código Libristo: 09186990

Editores Scholars' Press, enero 2015

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

Código Libristo: 09186990

108 b

44.29 €

Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Lenormand große Tafel Angelina Schulze

Tapa blanda

28.09 €

Les Volontaires Nationaux Pendant La Revolution. Historique Militaire Et Etats de Services Chassin-C-L

Tapa blanda

43.79 €

Automation in Gerichts- Und Verwaltungsverfahren Achim André

Tapa dura

119.29 €

Tillämpad Pumpövning

Tapa blanda

17.39 €

Semmelweis Céline

Tapa blanda

11.49 €

The Art of The Last of Us Teil II Naughty Dog

Tapa dura

37.19 €

Contribution of the Law of the Commonwealth of Independent States to the Development of the CIS Member States Tatiana Istomina

Tapa blanda

27.69 €

Existenzgrundung und -Foerderung in Deutschland M. Sydow

Tapa blanda

13.99 €

Kasermanndl Ludwig Ganghofer

Tapa blanda

5.69 €

Das Leben ist ein schlechter Verlierer. Life is a Story - story.one Sara Diekmann

Tapa dura

17.89 €

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.