Simulation and Equivalence between BPEL Process Models

See this document in CiteSeerX!

Simulation and Equivalence between BPEL Process Models (2005) (Make Corrections) (1 citation)
Axel Martens

View or download:
www2.informatik.hub...Martens2005c.pdf
Cached: PDF PS.gz PS Image Update Help

From: www2.informatik.huberlin....2005 (more)
(Enter author homepages)

Rate this article:

(best)
Comment on this article

(Enter summary)
Abstract: behavior Abstract behavior Enterprise-local business process Enterprise-local business process simulates is consistent to participates Proof Demand Cross-organizational business process Cross-organizational business process Globally specified abstract model Globally specified abstract model Locally developed executable model Locally developed executable model Concrete behavior Concrete behavior Abstract behavior Abstract behavior Enterprise-local business... (Update)

Cited by: More
Analyzing Web Service Based Business Processes - Martens (2005) (Correct)

Active bibliography (related documents): More All
2.2: Process Oriented Discovery of Business Partners - Martens (2005) (Correct)
0.3: An Operating Guideline Approach to the SOA - Massuthe, Reisig, Schmidt (2005) (Correct)
0.3: Inheritance of Business Processes: A Journey Visiting Four.. - van der Aalst (2003) (Correct)

Similar documents based on text:
5.0: Unknown - (Correct)

BibTeX entry: (Update)

Axel Martens. Simulation and equivalence between bpel process models. In Proc. of Intl. Conference DASD'05, San Diego, California, April 2005. http://citeseer.ist.psu.edu/martens05simulation.html More

@misc{ martens05simulation,
  author = "A. Martens",
  title = "Simulation and equivalence between bpel process models",
  text = "Axel Martens. Simulation and equivalence between bpel process models. In
    Proc. of Intl. Conference DASD'05, San Diego, California, April 2005.",
  year = "2005",
  url = "citeseer.ist.psu.edu/martens05simulation.html" }

Citations (may not include all citations):
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
103 Springer-Verlag (context) - Reisig - 1985
96 The Application of Petri Nets to Workflow Management - van der Aalst - 1998
81 The Linear Time - Branching Time Spectrum (context) - van Glabbeek - 1990
42 A modal characterisation of observable machine-behaviour (context) - Milner - 1981
25 Production Workflow -- Concepts and Techniques (context) - Leymann, Roller - 1999
21 YAWL: Yet Another Workflow Language - van der Aalst, Hofstede - 2003
19 Elements of Distributed Algorithms -- Modeling and Analysis .. (context) - Reisig - 1998
13 Interorganizational Workflows -- An Approach based on MSC an.. - van der Aalst - 1999
11 Web Services Choreography Description Language (context) - Burdett, Lafon - 2004
11 A Petri Net based Model for Web Service Composition - Hamadi, Benatallah - 2003
6 State Space Generation -- E#ciency and Practicality (context) - Valmari - 1988
6 Web Services architecture overview (context) - Gottschalk - 2000
6 Verteilte Gesch aftsprozesse -- Modellierung und Verifikatio.. (context) - Martens - 2004
5 Springer-Verlag (context) - Alonso, Casati et al. - 2002
4 Modeling and Analyzing Interorganizational Workflows (context) - van der Aalst - 1998
3 On compatibility of web services (context) - Martens - 2003
3 On Usability of Web Services (context) - Martens - 2003
3 Three-Level Process Specification for Dynamic Service Outsou.. (context) - Grefen, Angelov - 2003
3 Ontology Web Language for Web Services (context) - Group - 2004
3 Explicit State Space Verification (context) - Schmidt - 2002
3 Matchmaking for Business Processes (context) - Wombacher, Fankhauser et al. - 2004
2 Inter-operability of Workshop Applications -- Local Criteria.. (context) - Kindler, Martens et al. - 2000
2 A Petri net semantic for BPEL - Schmidt, Stahl - 2004
1 A Grid Service Discovery Matchmaker Based on Ontology Descri.. - Ludwig, van Santen - 2002
1 Structural Methods (context) - Teurel, Haddad - 2002
1 Modeling Busines Processe with BPELW (context) - Roller, Processes et al. - 2004
1 Analysis and Re-engineering of Web Services (context) - Martens - 2004

Documents on the same site (http://www2.informatik.hu-berlin.de/top/publikationen/Year/2005.html): More
Matching Nondeterministic Services with Operating Guidelines - Massuthe, Schmidt (2005) (Correct)
Modeling- and Analysis Techniques for Web Services and Business.. - Reisig (2005) (Correct)
Process Oriented Discovery of Business Partners - Martens (2005) (Correct)

Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback

CiteSeer.IST - Copyright Penn State and NEC