Software process modeling and execution: The UML4SPM to WS-BPEL approach

被引：0
|
作者：
Bendraou, Reda [1 ]
Sadovykh, Andrey [2 ]
Gervais, Marie-Pierre [1 ,3 ]
Blanc, Xavier [1 ]
机构：
[1] Lab Informat Paris 6, 104 Av President Kennedy, F-75015 Paris, France
[2] Softeam, F-75008 Paris, France
[3] Univ Paris 10, F-92001 Nanterre, France
来源：
SEAA 2007: 33RD EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, PROCEEDINGS | 2007年
关键词：
software process modeling; process enactment; UML; WS-BPEL; PML; workflow; MDD;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Over the two past decades, the software process modeling community is being confronted to the following dilemma: how a Software Process Modeling Language (SPML) can be sufficiently abstract to hide the increasing complexity of development processes while being precise enough to be executed? Since no SPML succeeded in satisfying these apparent conflicting requirements, in this paper we propose to combine two languages: UML4SPM, an UML2.0-based Software Process Modeling language and WS-BPEL (Web Services Business Process Execution Language). While UML4SPM brings g expressiveness, understandability and abstraction in modeling software development processes, BPEL provides a semantically rich set of concepts for process executions. The mapping between the two languages, how do they complement each other, some issues and the value of the approach are discussed.
引用
收藏
页码：314 / +
页数：2
相关论文
共 50 条
  • [31] Transition between process models (BPMN) and service models (WS-BPEL and other standards): A systematic review
    Jurisic, Marko
    JOURNAL OF INFORMATION AND ORGANIZATIONAL SCIENCES, 2011, 35 (02) : 163 - 171
  • [32] Using UML for software process Modeling
    Jäger, D
    Schleicher, A
    Westfechtel, B
    SOFTWARE ENGINEERING - ESEC/FSE '99, PROCEEDINGS, 1999, 1687 : 91 - 108
  • [33] From inter-organizational workflows to process execution: Generating BPEL from WS-CDL
    Mendling, J
    Hafner, M
    ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2005: OTM 2005 WORKSHOPS, PROCEEDINGS, 2005, 3762 : 506 - 515
  • [34] A model checking approach to verify BPEL4WS workflows
    Bianculli, Domenico
    Ghezzi, Carlo
    Spoletini, Paola
    IEEE INTERNATIONAL CONFERENCE ON SERVICE-ORIENTED COMPUTING AND APPLICATIONS, PROCEEDINGS, 2007, : 13 - +
  • [35] Approach for modeling software product line with UML
    Lan, Qing-Guo
    Liu, Shu-Fen
    Chen, Yu-Shuan
    Jilin Daxue Xuebao (Gongxueban)/Journal of Jilin University (Engineering and Technology Edition), 2006, 36 (SUPPL.): : 126 - 131
  • [36] Service modeling and analysis based on BPEL4WS and Petri net
    Wang, Yan-Chun
    Lin, Guang-Yan
    Xitong Fangzhen Xuebao / Journal of System Simulation, 2005, 17 (SUPPL.): : 93 - 95
  • [37] An approach to extract RBAC models from BPEL4WS processes
    Mendling, J
    Strembeck, M
    Stermsek, G
    Neumann, G
    THIRTEENTH IEEE INTERNATIONAL WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, PROCEEDINGS, 2004, : 81 - 86
  • [38] Agent-oriented software modeling with UML approach
    Park, S
    Kim, J
    Lee, S
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (08): : 1631 - 1641
  • [39] Software process modeling and execution within virtual environments
    Doppke, J.C.
    Heimbigner, D.
    Wolf, A.L.
    ACM Transactions on Software Engineering and Methodology, 1998, 7 (01): : 1 - 40
  • [40] Multiple BPEL execution engines based on fragmentation approach and application of service process models
    Bi, J.
    Zhu, Z. L.
    Fan, Y. S.
    2009 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL ENGINEERING AND ENGINEERING MANAGEMENT, VOLS 1-4, 2009, : 1292 - +
12345