26 results on '"Simon Moser"'
Search Results
2. Portable Green Cloud Services.
3. Message Assertions and Predicate-Based Control-Flow Unfolding Revisited.
4. Integrating Configuration Management with Model-driven Cloud Management based on TOSCA.
5. Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving.
6. Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information.
7. Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen.
8. Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten.
9. Process Restructuring in the Presence of Message-Dependent Variables.
10. Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens.
11. Verifying Business Rules Using an SMT Solver for BPEL Processes.
12. A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.
13. Extending the compatibility notion for abstract WS-BPEL processes.
14. Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping.
15. Automatic Workflow Graph Refactoring and Completion.
16. Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.
17. Diagnosing SCA Components Using Wombat.
18. A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes.
19. Mit "Model-Driven-Architecture (MDA)" und der System Meter Methode zu verbessertem Management von IT-Projekten.
20. A Formal Approach to Metamodeling: A Generic Object-Oriented Perspective.
21. Measuring Object-Oriented Business Models.
22. From Formal Metamodels to Metrics: An Object-Oriented Approach.
23. Analyzing Compatibility of BPEL Processes.
24. Extending the message flow debugger for MQSI.
25. Measuring Class Coupling and Cohesion: A Formal Metamodel Approach.
26. Proceedings of the Demonstration Track of the 10th International Conference on Business Process Management (BPM 2012), Tallinn, Estonia, September 4, 2012
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.