Formal analysis of BPMN Via a translation into COWS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5052 LNCS, Issue , 2008, Pages 249-263

  Prandi, Davide ^a   Quaglia, Paola ^b   Zannone, Nicola ^c  

^a UNIVERSITY MAGNA GRAECIA OF CATANZARO   (Italy)

^b UNIVERSITY OF TRENTO   (Italy)

^c UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

LINGUISTICS; PATIENT MONITORING; PROCESS ENGINEERING; TRANSLATION (LANGUAGES);

BUSINESS PROCESS MODELING NOTATION (BPMN); BUSINESS PROCESSES (BP); CASE STUDIES; COORDINATION MODELS; FORMAL ANALYSIS; HEIDELBERG (CO); INTERNATIONAL CONFERENCES; LANGUAGES (TRADITIONAL); PROBABILISTIC MODEL (PM); PROCESS CALCULUS; QUANTITATIVE REASONING; SPRINGER (CO);

MODEL CHECKING;

EID: 45749109040     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68265-3_16     Document Type: Conference Paper

References (28)

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Model-checking continous-time Markov chains. ACM TOCL 1(1), 162-170 (2000)
2. Brown Jr., A.L., Laneve, C., Meredith, L.G.: PiDuce: A Process Calculus with Native XML Datatypes. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW/WS-EM 2005. LNCS, vol. 3670, pp. 18-34. Springer, Heidelberg (2005)
3. Cámara, J., Canal, C., Cubo, J., Vallecillo, A.: Formalizing WSBPEL Business Processes Using Process Algebra. Electr. Notes Theor. Comput. Sci. 154(1), 159-173 (2006)
4. Desel, J., Erwin, T.: Modeling, Simulation and Analysis of Business Processes. In: Business Process Management, Models, Techniques, and Empirical Studies, pp. 129-141. Springer, Heidelberg (2000)
5. Dijkman, R., Dumas, M., Ouyang, C.: Formal Semantics and Automated Analysis of BPMN Process Models. Preprint 7115, Queensland University of Technology (2007)
6. Eshuis, R., Wieringa, R.: Verification support for workflow design with UML activity graphs. In: Proc. of ICSE 2002, pp. 166-176. ACM Press, New York (2002)
7. Fantechi, A., Gnesi, S., Lapadula, A., Mazzanti, F., Pugliese, R., Tiezzi, F.: A model checking approach for verifying COWS specifications. In: FASE 2008. LNCS, vol. 4961. Springer, Heidelberg (2008)
8. Gardner, P., Maffeis, S.: Modelling dynamic web data. Theor. Comput. Sci. 342(1), 104-131 (2005)
9. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
10. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441-444. Springer, Heidelberg (2006)
11. Igarashi, A., Kobayashi, N.: A generic type system for the pi-calculus. Theor. Comput. Sci. 311(1-3), 121-163 (2004)
12. Laneve, C., Zavattaro, G.: Foundations of Web Transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol. 3441, pp. 282-298. Springer, Heidelberg (2005)
13. Lapadula, A., Pugliese, R., Tiezzi, F.: Calculus for Orchestration of Web Services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 33-47. Springer, Heidelberg (2007), http://rap.dsi.unifi.it/cows/
14. Mazzara, M., Lanese, I.: Towards a unifying theory for web services composition. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 257-272. Springer, Heidelberg (2006)
15. Meredith, L.G., Bjorg, S.: Contracts and types. Commun. ACM 46(10), 41-47 (2003)
16. Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice hall, Englewood Cliffs (1989)
17. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
18. OASIS. Web Services Business Process Execution Language - Version 2.0. Public Review Draft (2006)
19. Object Management Group. Business Process Modeling Notation (BPMN) Specification. Final adopted specification (February 2006)
20. Ouyang, C., van der Aalst, W.M.P., Dumas, M., Breutel, S., ter Hofstede, A.H.M.: Translating BPMN to BPEL, BPM Report BPM-06-02. BPMcenter.org (2006)
21. Pokozy-Korenblat, K., Priami, C.: Toward Extracting Π-calculus from UML Sequence and State Diagrams. Electr. Notes Theor. Comput. Sci. 101, 51-72 (2004)
22. Prandi, D., Quaglia, P.: Stochastic COWS. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 245-256. Springer, Heidelberg (2007)
23. Priami, C.: Stochastic Π-calculus. The Computer Journal 38(7), 578-589 (1995)
24. Russell, N., Arthur, H.M., van der Aalst, W.M.P., Mulyar, N.: Workflow control-flow patterns: A revised view. Technical report, BPMcenter.org (2006)
25. Van der Aalst, W.M.P., Pesic, M.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169-180. Springer, Heidelberg (2006)
26. van der Aalst, W.M.P., Desel, J., Kindler, E.: On the semantics of EPCs: A vicious circle. In: Business Process Management with Event driven Process Chains, pp. 71-79 (2002)
27. Vivas, J., Montenegro, J.A., Lopez, J.: A Formal Business Modelling Approach to Security Engineering with the UML. In: Boyd, C., Mao, W. (eds.) ISC 2003. LNCS, vol. 2851, pp. 381-395. Springer, Heidelberg (2003)
28. Wong, P.Y.H., Gibbons, J.: A Process Semantics for BPMN, Oxford. University Computing Laboratory (Preprint, 2007), http://web.comlab.ox.ac.uk/