Publications
Search

Publications :: Search

Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.

Show publication

On this page you see the details of the selected publication.

    Publication properties
    Title: Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance.
    Rating: (not rated yet)
    Discussion: 0 comments
    Date: 2008
    Publication type: Conference paper
    Authors:
    No. First name Last name Show
    1. Niels Lohmann
    Download (by DOI): 10.1007/978-3-540-85758-7_12
    BibTeX: conf/bpm/Lohmann08
    DBLP: db/conf/bpm/bpm2008.html#Lohmann08
    Bookmark:

    The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

    Keywords
    No keywords have been assigned to this publication yet.

    If you log in you can tag this publication with additional keywords

    A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

    Incoming References
    Niels Lohmann.
    Why Does My Service Have No Partners?.
    Nannette Liske, Niels Lohmann, Christian Stahl, Karsten Wolf.
    Another Approach to Service Instance Migration.
    Outgoing References
    Mike P. Papazoglou.
    Agent-oriented technology in support of e-business.
    Gero Decker, Oliver Kopp, Frank Leymann, Mathias Weske.
    BPEL4Chor: Extending BPEL for Modeling Choreographies.
    Niels Lohmann, Oliver Kopp, Frank Leymann, Wolfgang Reisig.
    Analyzing BPEL4Chor: Verification and Participant Synthesis.
    Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg.
    Analyzing Interacting BPEL Processes.
    Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman.
    Error explanation with distance metrics.
    Wil M. P. van der Aalst.
    The Application of Petri Nets to Workflow Management.
    Niels Lohmann.
    A Feature-Complete Petri Net Semantics for WS-BPEL 2.0.
    Niels Lohmann, Peter Massuthe, Karsten Wolf.
    Operating Guidelines for Finite-State Services.
    Karsten Wolf.
    Controllability of Open Workflow Nets.
    Robert A. Wagner, Michael J. Fischer.
    The String-to-String Correction Problem.
    Oleg Sokolsky, Sampath Kannan, Insup Lee.
    Simulation-Based Graph Similarity.
    Shiva Nejati, Mehrdad Sabetzadeh, Marsha Chechik, Steve M. Easterbrook, Pamela Zave.
    Matching and Merging of Statecharts Specifications.
    Kedar S. Namjoshi.
    A Simple Characterization of Stuttering Bisimulation.
    Juan Carlos Corrales, Daniela Grigori, Mokrane Bouzeghoub.
    BPEL Processes Matchmaking for Service Discovery.
    Jian Wu, Zhaohui Wu.
    Similarity-based Web Service Matchmaking.
    Devis Bianchini, Valeria De Antonellis, Michele Melchiori.
    Evaluating Similarity and Difference in Service Matchmaking.
    Akin Günay, Pinar Yolum.
    Structural and Semantic Similarity Metrics for Web Service Matchmaking.
    Remco M. Dijkman.
    A Classification of Differences between Similar BusinessProcesses.
    Remco M. Dijkman.
    Diagnosing Differences between Business Process Models.
    Barbara Weber, Stefanie Rinderle-Ma, Manfred Reichert.
    Change Patterns and Change Support Features in Process-Aware Information Systems.
    Xiaohui Zhao, Chengfei Liu.
    Version Management in the Business Process Change Context.
    Jochen Malte Küster, Christian Gerth, Alexander Förster, Gregor Engels.
    Detecting and Resolving Process Model Differences in the Absence of a Change Log.
    Antonio Brogi, Razvan Popescu.
    Automated Generation of BPEL Adapters.
    Marlon Dumas, Murray Spork, Kenneth Wang 0002.
    Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation.
    Hamid R. Motahari Nezhad, Boualem Benatallah, Axel Martens, Francisco Curbera, Fabio Casati.
    Semi-automated adaptation of service interactions.
    Niels Lohmann, Jens Kleine.
    Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes.

    If you log in you can add references to other publications

    A publication can be assigned to a conference, a journal or a school.

    Conference
    Name: Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 2-4, 2008. Proceedings 2008
    DBLP: db/conf/bpm/bpm2008.html