Verifying semantic business process models in inter-operation

Proceedings - 2007 IEEE International Conference on Services Computing, SCC 2007

Volumn , Issue , 2007, Pages 731-738

  Koliadis, George ^a   Ghose, Aditya ^a  

^a UNIVERSITY OF WOLLONGONG   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BPMN MODELS; INTER-OPERATING PROCESSES; INTER-OPERATION; SEMANTIC VERIFICATION;

ADMINISTRATIVE DATA PROCESSING; COMPUTER SYSTEM RECOVERY; INFORMATION MANAGEMENT; MATHEMATICAL MODELS; VERIFICATION;

SEMANTICS;

EID: 35248877675     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCC.2007.128     Document Type: Conference Paper

References (27)

1. J. Becker, M. Indulska, M. Rosemann, and P. Green. Do process modelling techniques get better? a comparative ontological analysis of bpmn. In B. C. J. Un-derwood and D. Bunker, editors, Proceedings 16th Australasian Conference on Information Systems, Sydney, Australia, 2005.
2. S. Easterbrook, A. Finkelstein, J. Kramer, and B. Nuseibeh. Co-ordinating distributed viewpoints: the anatomy of a consistency check. Technical Report 94/7, Department of Computing, Imperial College, London, 1994.
3. D. A. Fisher. An emergent perspective on interoperation in systems of systems. Technical Report CMU/SEI-2006-TR-003, Carnegie Mellon Software Engineering Institute, March 2006.
4. N. E. Fuchs, U. Schwertel, and R. Schwitter. Attempto Controlled English (ACE), Language Manual, Version 2.0. Institut fur Informatik, Universitat Zurich, 1998.
5. G. Grossman, M. Schrefl, and M. Stumptner. Verification of business process integration operations. In Proc. 4th International Conference on Business Process Management, 2006.
6. V. Gruhn and R. Laue. Using timed model checking for verifying workflows. In J. Cordeiro and J. Filipe, editors, Proceedings of the 2nd Workshop on Computer Supported Activity Coordination, pages 75-88. Insticc Press, 2005.
7. D. Harel. Statecharts: A visual formalism for complex systems. Science of Computer Programming 8, pages 231-274, 1987.
8. D. Hollingsworth. The workflow reference model version 1.1. Technical Report TCOO-1003, Workflow Management Coalition, January 1995.
9. W. Janssen, R. Mateescu, S. Mauw, and J. Springintveld. Verifying business processes using spin. In E. N. G. Holzman and A. Serhrouchni, editors, Proceedings of the 4th International SPIN Workshop, pages 21-36, Paris, France, Nov 1998.
10. W. Janssen, R. Mateescu, S. Mauw, P. van der Fennema, and P. Stappen. Model checking for managers. In 5th and 6th International SPIN Workshops, page 92107, 1999.
11. J. Koehler, G. Tirenni, and S. Kumaran. From business process model to consistent implementation: A case for formal verification methods. In Proc. 6th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pages 96-106, 2002.
12. A. Krishna, A. Ghose, and A. Vranesevic. Agent-oriented conceptual models to uml sequence diagrams via effect annotations. International Journal of Multi-Agent and Grid Systems, Special Issue on Agent-Oriented Software Development Methodologies, 2006.
13. L. Kutvonen. Addressing interoperability issues in business process management. In 2nd Interop Workshop at EDOC2005, number B-2005-5 in B-Series. Dept. Computer Science, University of Helsinki, September 2005.
14. N. Lohmann, P. Massuthe, C. Stahl, and D. Weinberg. Analyzing interacting bpel processes. In Proc. 4th International Conference on Business Process Management, 2006.
15. L. T. Ly, S. Rinderle, and P. Dadam. Correctness in adaptive process management systems. In Proc. 4th International Conference on Business Process Management, 2006.
16. T. Mitamura and E. H. Nyberg. Controlled english for knowledge-based mt: Experiance with the kant system. In Proceedings of the 6th International Conference on Theoretical and Methodological Issues in Machine Translation, Leuven, Belgium, July, 5-7 1995.
17. A. Paepcke, C.-C. K. Chang, H. Garcia-Molina, and T. Winograd. Interoperability for digital libraries worldwide. Communications of the ACM, 41(4):33-43, April 1998.
18. D. Plaisted and S. Greenbaum. A structure-preserving clause form translation. Journal of Symbolic Computation, 63(2):293-304, 1986.
19. H. Samulowitz and F. Bacchus. Using sat in qbf. In International Conference on Principles and Practice of Constraint Programming (CP-2005), pages 578-592, 2005.
20. R. Schwitter and N. Fuchs. Attempto - from specifications in controlled natural language towards executable specifications. EMISA Workshop 'Naturlichspraclicher Entwurf von Informationssystemen', May, 28-30 1996.
21. J. F. Sowa. Common logic controlled english (draft). Technical report, http://www.jfsowa.com/clce/specs.htm, February 2004.
22. W. van der Aalst. Verification of workflow nets. Lecture Notes in Computer Science, 1248:407426, 1997.
23. K. van Hee, N. Sidorova, L. Somers, and M. Voorhoeve. Consistency in model integration. Data Knowl. Eng., 56(1):4-22, 2006.
24. A. van Lamsweerde, R. Darimont, and E. Letier. Managing conflicts in goal-driven requirements engineering. IEEE Transactions on Software Engineering, 24(11):908-926, 1998.
25. F. Weitl and B. Freitag. Checking semantic integrity constraints on integrated web documents. In ER (Workshops), pages 198-209, 2004.
26. S. White. Business process modeling notation (bpmn),. Technical report, OMG Final Adopted Specification 1.0 (http://www.bpmn.org), February 2006.
27. X. Zhao and C. Liu. Tracking over collaborative business processes. In Proc. 4th International Conference on Business Process Management, 2006.