Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Austrian Post 5.99 € GLS courier 5.49 € DPD courier 4.99 € DPD point 3.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Process representation and formalism

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

Simon Eric

Language

English

Book Paperback

Libristo code: 09186990

Publishers Scholars' Press, January 2015

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

Libristo code: 09186990

386 b

157.79 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

Up to 30 days for returns

Customers also purchased

The Art of The Last of Us Teil II Naughty Dog

Hardback

39.80 €

Kasermanndl Ludwig Ganghofer

Paperback

5.49 €

Existenzgrundung und -Foerderung in Deutschland M. Sydow

Paperback

14.00 €

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

Hardback

18.00 €

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

Paperback

39.59 €

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

Paperback

27.95 €

Semmelweis Céline

Paperback

9.29 €

Tillämpad Pumpövning

Paperback

15.60 €

Automation in Gerichts- Und Verwaltungsverfahren Achim André

Hardback

109.95 €

Lenormand große Tafel Angelina Schulze

Paperback

29.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.