From business process model to consistent implementation: A case for formal verification methods

Proceedings - 6th International Enterprise Distributed Object Computing Conference

Volumn 2002-January, Issue January, 2002, Pages 96-106

  Koehler, Jana ^a   Tirenni, Giuliano ^a   Kumaran, Santhosh ^b  

^a IBM RESEARCH ZURICH   (Switzerland)

^b IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATION; ITERATIVE METHODS;

BUSINESS APPLICATIONS; BUSINESS PROCESS MODEL; FORMAL VERIFICATION METHODS; ITERATIVE PROCESS; MODEL-CHECKING TECHNIQUES; NONDETERMINISTIC AUTOMATA; PATTERN-BASED MODELS; TOOLS AND METHODS;

MODEL CHECKING;

EID: 84936881073     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2002.1137700     Document Type: Conference Paper

References (22)

1. B. Berard et al. Systems and Software Verification: Model-Checking Techniques and Tools. Springer, 2001.
2. B. Bloom. Seeing by owl-light: Symbolic model checking of business application requirements. submitted for publication, 2002.
3. E. Christensen, F. Curbera, G. Meredith, and S. Weer-awarana. The web services description language WSDL. http://www-4.ibm.com/software/solutions/webservices/resources.html, 2001.
4. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NUSMV: a new Symbolic Model Verifier. In Proc ings Eleventh Conference on Computer-Aided Verification (CAV'99), number 1633 in LNCS, pages 495-499. Springer, 1999.
5. E. Clarke, E. Emerson, and A. Sistla. Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems, 8(2):244-263, 1996.
6. E. Clarke, O. Grumberg, and D. Peled. Model Checking. The MIT Press, 1999.
7. K. Compton, Y. Gurevich, J. Huggins, and W. Shen. An automatic verification tool for UML. Technical Report CSE-TR-423-00, University of Michigan, 2000.
8. EbXML. ebXML specification. http://www.ebxml.org, 2001.
9. H. Eriksson and M. Penker. Business Modeling with UML: Business Patterns at Work. Wiley Computer Publishing, 2000.
10. J. Gordijn, H. Akkermans, and H. van Vliet. What's in an electronic business model? In Proceedings of the 12th International Conference on Knowledge Engineering and Knowledge Management (EKAW), number 1937 in LNCS, pages 257-273. Springer, 2000.
11. D. Harel and M. Politi. Modeling Reactive Systems with Statecharts: The Statemate Approach. McGraw-Hill, 1998.
12. W. Janssen, R. Mateescu, S. Mauw, P. Fennema, and P. van der Stappen. Model checking for managers. In Theoretical and Practical Aspects of SPIN Model Checking, number 1680 in LNCS, pages 92-107. Springer, 1999.
13. P. Jayaweera, P. Johannesson, and P. Wohed. From business model to process pattern in e-commerce. In Proceedings of the 6th International Workshop on the Language-Action Perspective on Communication Modelling, pages 88-108, 2001.
14. E. Kindler and T. Vesper. A temporal logic for events and states. In Application and Theory of Petri Nets, number 1420 in LNCS, pages 365-384. Springer, 1998.
15. C. Klauck and H.-J. Mueller. Formal business process engineering based on graph grammars. International Journal on Production Economics, 50:129-140, 1997.
16. M. Koubarakis and D. Plexousakis. A formal model for business process modeling and design. In Conference on Advanced Information Systems Engineering, pages 142-156, 2000.
17. F. Leymann. WSFL: The web services flow language. http://www-4.ibm.com/software/solutions/webservices/pdf/WSFL.pdf, 2000.
18. F. Leymann and D. Roller. Production Workflow. Prentice Hall, 2000.
19. K. McMillan. Symbolic Model Checking. Kluwer Academic Publishers, 1993.
20. RosettaNet. Rosettanet-a lingua franca for e-business. http://www.rosettanet.org, 2001.
21. L. Stok et al. BooleDozer: Logic synthesis for ASICS. IBM Journal of Research and Development, 40(4):407-429, 1996.
22. S. Tatte. XLANG: Web services for business process design. http://www.gotodotnet.com, 2000.