Sciweavers

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

61

Voted

TOIT
2008

favoriteEmaildiscussreport

49views more TOIT 2008»

Conformance checking of service behavior

15 years 7 days ago

Conformance checking of service behavior

Download is.tm.tue.nl

Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang

Real-time Traffic

TOIT 2008 |

claim paper

Related Content

» Choreography Conformance Checking An Approach based on BPEL and Petri Nets

» Choreography conformance via synchronizability

» Conformance checking of processes based on monitoring real behavior

» Verifying Correctness of Web Services Choreography

» PatternBased Specification and Validation of Web Services Interaction Properties

» Generation of Conformance Test Suites for Compositions of Web Services Using Model Checkin...

» Automatic Conformance Testing of Web Services

» Symbolic Bounded Conformance Checking of Model Programs

» Replaying history on process models for conformance checking and performance analysis

Post Info
More Details (n/a)

Added	15 Dec 2010
Updated	15 Dec 2010
Type	Journal
Year	2008
Where	TOIT
Authors	Wil M. P. van der Aalst, Marlon Dumas, Chun Ouyang, Anne Rozinat, Eric Verbeek

Comments (0)