Search the dblp DataBase

Publications of Author

1. Niels Lohmann, Peter Massuthe, Christian Stahl, Daniela Weinberg
   Analyzing Interacting BPEL Processes. [Citation Graph (0, 0)][DBLP]
   Business Process Management, 2006, pp:17-32 [Conf]
   
2. Niels Lohmann, Peter Massuthe, Karsten Wolf
   Operating Guidelines for Finite-State Services. [Citation Graph (0, 0)][DBLP]
   ICATPN, 2007, pp:321-341 [Conf]
   
3. Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, Christian Stahl
   Services as a Paradigm of Computation. [Citation Graph (0, 0)][DBLP]
   Formal Methods and Hybrid Real-Time Systems, 2007, pp:521-538 [Conf]
   
4. Niels Lohmann, Peter Massuthe, Karsten Wolf
   Behavioral Constraints for Services. [Citation Graph (0, 0)][DBLP]
   BPM, 2007, pp:271-287 [Conf]
   
5. 
   Petrifying Operating Guidelines for Services. [Citation Graph (, )][DBLP]
   
   
6. 
   Wendy: A Tool to Synthesize Partners for Services. [Citation Graph (, )][DBLP]
   
   
7. 
   Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. [Citation Graph (, )][DBLP]
   
   
8. 
   Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. [Citation Graph (, )][DBLP]
   
   
9. 
   Instantaneous Soundness Checking of Industrial Business Process Models. [Citation Graph (, )][DBLP]
   
   
10. 
    Diagnosing and Repairing Data Anomalies in Process Models. [Citation Graph (, )][DBLP]
    
    
11. 
    Correctness Ensuring Process Configuration: An Approach Based on Partner Synthesis. [Citation Graph (, )][DBLP]
    
    
12. 
    How to Implement a Theory of Correctness in the Area of Business Processes and Services. [Citation Graph (, )][DBLP]
    
    
13. 
    Non-desynchronizable Service Choreographies. [Citation Graph (, )][DBLP]
    
    
14. 
    Automatic Test Case Generation for Interacting Services. [Citation Graph (, )][DBLP]
    
    
15. 
    Another Approach to Service Instance Migration. [Citation Graph (, )][DBLP]
    
    
16. 
    Analysis Techniques for Service Models. [Citation Graph (, )][DBLP]
    
    
17. 
    Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. [Citation Graph (, )][DBLP]
    
    
18. 
    From Public Views to Private Views - Correctness-by-Design for Services. [Citation Graph (, )][DBLP]
    
    
19. 
    Analyzing BPEL4Chor: Verification and Participant Synthesis. [Citation Graph (, )][DBLP]
    
    
20. 
    A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. [Citation Graph (, )][DBLP]
    
    
21. 
    Why Does My Service Have No Partners?. [Citation Graph (, )][DBLP]
    
    
22. 
    Realizability Is Controllability. [Citation Graph (, )][DBLP]
    
    
23. 
    Extending the compatibility notion for abstract WS-BPEL processes. [Citation Graph (, )][DBLP]
    
    
24. 
    Realizability is controllability. [Citation Graph (, )][DBLP]
    
    
25. 
    Does my service have unspecified behavior? [Citation Graph (, )][DBLP]
    
    
26. 
    Communication models for services. [Citation Graph (, )][DBLP]
    
    
27. 
    Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. [Citation Graph (, )][DBLP]
    
    
28. 
    Analyzing interacting WS-BPEL processes using flexible model generation. [Citation Graph (, )][DBLP]