Scenario-driven approach for business process modeling

2009 IEEE International Conference on Web Services, ICWS 2009

Volumn , Issue , 2009, Pages 123-130

  Ruokonen, Anna ^a   Pajunen, Lasse ^b   Systa, Tarja ^a  

^a TAMPERE UNIVERSITY OF TECHNOLOGY   (Finland)

^b NOKIA RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MODELING; BUSINESS REQUIREMENT; EXECUTABLE PROCESS; MODELING PRINCIPLES; STATE MACHINE; UML ACTIVITY DIAGRAMS; UML SEQUENCE DIAGRAMS; WEB SERVICE ORCHESTRATION; WS-BPEL;

WEB SERVICES;

EID: 70449463064     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2009.79     Document Type: Conference Paper

References (27)

1. J. Amsden, T. Gardner, C. Griffin, and S. Iyengar. Draft UML 1.4 Profile for Automated Business Processes with a mapping to BPEL 1.0. Version 1.1, April 2004. http://www128.ibm.com/developerworks/rational/library/.
2. 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, May 2003. http://www.ibm.com/developerworks/.
3. D. Angluin. Learning regular sets from queries and counter examples. In Inf. Comput. 75 (1987), pages 87-106, 1987.
4. J. Araujo, J. Whittle, and D.-K. Kim. Modeling and Composing Scenario-Based Requirements with Aspects. In Proc. of RE '04, pages 58-67, Washington, DC, USA, 2004. IEEE.
5. Y. Bontemps. Relating Inter-Agent and Intra-Agent Specifications (The Case of Live Sequence Charts). 2005. PhD Thesis.
6. Business Process Modeling Initiative, http://www.bpmi.org/. Business Process Modeling Language.
7. G. Casella and V. Mascardi. From AUML to WS-BPEL. In http://www.disi. unige.it/person/MascardiV/Download/DISITR-06-01.pdf, 2006.
8. W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. Formal Methods in System Design, 19(1):45-80, 2001.
9. Eclipse, http://www.eclipse.org. Eclipse WWW site, 2005.
10. A. Evans, P. Sammut, J. S. Willans, A. Moore, and G. M. Rama. A unified superstructure for UML. JOT, 4(1):165- 182, 2005.
11. D. Harel and H. Kugler. Synthesizing State-Based Object Systems from LSC Specifications. IJFCS, 13(1):5-51, Febuary 2002. (Also in Proc. of 5th Int. Conf. on CIAA 2000, Springer-Verlag, pp. 1-33, Preliminary version appeared as technical report MCS99-20, Weizmann Inst. of Science, 1999.).
12. Also in Proc. of 5th Int. Conf. on CIAA 2000, Springer-Verlag, pp. 1-33, Preliminary version appeared as technical report MCS99-20, Weizmann Inst. of Science, 1999.)
13. D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer- Verlag New York, Inc., Secaucus, NJ, USA, 2003.
14. D. Harel and R. Marelly. Specifying and executing behavioral requirements: the play-in/play-out approach. SoSyM, 2:82-107, 2003.
15. IBM, alphaWorks, http://www.alphaworks.ibm.com/. Emerging Technologies Toolkit (ETTK), 2006.
16. A. Kalnins, J. Barzdins, and E. Celms. Model Transformation Language MOLA. In U. Aßmann, M. Aksit, and A. Rensink, editors, MDAFA, volume 3599 of LNCS, pages 62-76. Springer, 2004.
17. A. Kalnins and V. Vitolins. Use of UML and model transformations for workflow process definitions. In Proc. of Baltic DBIS '06, pages 3-14, 2006.
18. D. Karastoyanova and A. Buchmann. A Methodology for Development and Execution ofWeb Service-based Business Processess. In Proc. of 1st Australian Workshop on Engineering Service-Oriented Systems, Melbourne, 2004.
19. C. Lohmann, J. Greenyer, J. Jiang, and T. Systä. Applying Triple Graph Grammars for Pattern-Based Workflow Model Transformations. In Proc. of TOOLS 2007, JOT, 2007.
20. E. Mäkinen and T. Systä. Minimally adequate teacher designs software. April 2000. Report A-2000-2007.
21. E. Mäkinen and T. Systä. Implementing minimally adequate synthesizer. June 2000. Report A-2000-2009.
22. L. Pajunen and A. Ruokonen. Modeling and generating mobile business processes. In Proc. of ICWS '07. IEEE, 2007.
23. L. Pajunen, A. Ruokonen, and T. Systa. Scenario-Driven Approach to Support Business Process Modeling for SOAenabled Environments. In Technical report: NW-MoDE '08, Reykjavik, Iceland, 2008. Engineering Research Inst.ute, Univ. of Iceland.
24. W. Shi, J.Wu, S. Zhou, L. Zhang, Y. Yin, and Z.Wu. Facilitating the Flexible Modeling of Human-DrivenWorkflow in BPEL. In Proc. of AINAW '08, pages 1615 - 1624, Ginowan, Okinawa, Japan, 2008. IEEE.
25. S. Uchitel, J. Kramer, and J. Magee. Synthesis of Behavioral Models from Scenarios. IEEE Trans. Softw. Eng., 29(2):99-115, 2003.
26. J. Whittle and J. Schumann. Generating statechart designs from scenarios. In Proc. of ICSE'00, pages 314-323. ACM Press, 2000.
27. T. Ziadi, L. Hélouët, and J.-M. Jézéquel. Revisiting statechart synthesis with an algebraic approach. In Proc. of ICSE '04, pages 242-251, 2004.