Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Process representation and formalism

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

Simon Eric

Lingua

Inglese

Libro In brossura

Codice Libristo: 09186990

Casa editrice Scholars' Press, gennaio 2015

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

Codice Libristo: 09186990

103 b

41.99 €

Magazzino esterno Inviamo tra 5-8 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Lenormand große Tafel Angelina Schulze

In brossura

26.59 €

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

In brossura

46.49 €

Automation in Gerichts- Und Verwaltungsverfahren Achim André

Rigido

113.69 €

Tillämpad Pumpövning

In brossura

16.49 €

Semmelweis Céline

In brossura

11.79 €

The Art of The Last of Us Teil II Naughty Dog

Rigido

35.19 €

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

In brossura

26.19 €

Existenzgrundung und -Foerderung in Deutschland M. Sydow

In brossura

13.29 €

Kasermanndl Ludwig Ganghofer

In brossura

5.49 €

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

Rigido

16.99 €

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.