A framework for integrating business processes and business requirements

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2004, Pages 9-20

  Kazhamiakin, Raman ^a   Pistore, Marco ^a   Roveri, Marco ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS REQUIREMENTS; EXECUTION LANGUAGES; INTEGRATING BUSINESS PROCESSES; WEB SERVICES;

COMPUTER NETWORKS; DECISION MAKING; ELECTRIC TRANSFORMERS; INFORMATION TECHNOLOGY; PROBLEM SOLVING; SOCIETIES AND INSTITUTIONS; WORLD WIDE WEB;

COMPUTER ARCHITECTURE;

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

References (17)

1. T. Andrews, F. Curbera, H. Dholakia, Y. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawarana. Business Process Execution Language for Web Services Version 1.1, 2003.
2. A. Arkin. Business Process Modeling Language, Version 1.0, November 2002.
3. J. Castro, M. Kolp, and J. Mylopoulos. Towards requirements-driven information systems engineering: the Tropos project. Information Systems, 27(6):365-389, 2002.
4. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. NUSMV 2: An OpenSource Tool for Symbolic Model Checking. In Proc. of Computer Aided Verification Conference. Springer, 2002.
5. E. M. Clarke, O. Grumberg, and D. Peled. Model Checking. MIT Press, 1999.
6. E. Deborin. Continuous Business Process Management With Holosofx BPM Suite and IBM MQSeries Workflow. IBM Redbooks, 2002.
7. H. Foster, S. Uchitel, J. Magee, and J. Kramer. LTSA-BPEL4WS: Tool Support for Model-based Verification of Web Service Compositions. Technical report, Imperial College London, 2003.
8. th International Conference on Automated Software Engineering (ASE'03), 2003.
9. A. Fuxman, L. Liu, J. Mylopoulos, M. Pistore, M. Roveri, and P. Traverse. Specifying and analyzing early requirements in Tropos. Requirements Engineering, 9(2): 132-150, 2004.
10. G. J. Holzmann. The Spin Model Checker, Primer and Reference Manual. Addison-Wesley, Reading, Massachusetts, 2003.
11. J. Koehler, R. Hauser, S. Kapoor, F. Y. Wu, and S. Kumaran. A model-driven transformation method. In Proc. of the Seventh International Enterprise Distributed Object Computing Conference (EDOC'03). IEEE Computer Society, 2003.
12. J. Koehler, G. Tirenni, and S. Kumaran. From business process model to consistent implementation: A case for formal verification methods. In 6th International Enterprise Distributed Object Computing Conference (EDOC 2002). IEEE Computer Society, 2002.
13. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proc. of the 5th European Software Engineering Conference, ESEC'95. Springer-Verlag, 1995.
14. C. Peltz. Web Services Orchestration and Choreography. Web Services Journal, 2003.
15. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverse. Planning and monitoring web service composition. In Proc. 11th Int. Conf. on Artificial Intelligence: Methodology, Systems, Architectures, 2004. To appear.
16. A. Vasconcelos, A. Caetano, J. Neves, P. Sinogas, R. Mendes, and J. M. Tribolet. A framework for modeling strategy, business processes and information systems. In 5th International Enterprise Distributed Object Computing Conference (EDOC 2001). IEEE Computer Society, 2001.
17. Workflow Management Coalition. Workflow Process Definition Interface - XML Process Definition Language, Version 1.0 Final Draft, October 2002.