Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

90

DPD
2010

105views more DPD 2010»

Beyond soundness: on the verification of semantic business process models

15 years 2 months ago

Beyond soundness: on the verification of semantic business process models

Download www.loria.fr

Ingo Weber, Jörg Hoffmann, Jan Mendling

Real-time Traffic

DPD 2010 |

claim paper

Related Content

» Beyond Soundness On the Semantic Consistency of Executable Process Models

» Formalization and Verification of EPCs with ORJoins Based on State and Context

» Structural Patterns for Soundness of Business Process Models

» CoBTxNet A Model for Reliability Verification of Collaborative Business Transaction

» Verification of Business Process Integration Options

» Advanced Reduction Rules for the Verification of EPC Business Process Models

» Process SEER A Tool for Semantic Effect Annotation of Business Process Models

» An Open Platform for Business Process Modeling and Verification

» Modelling InterProcess Dependencies with HighLevel Business Process Modelling Languages

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2010
Where	DPD
Authors	Ingo Weber, Jörg Hoffmann, Jan Mendling

Comments (0)