Qiu Zongyan LMAM and Department of Informatics,School of Math., Peking University, Beijing, ChinaPeng Liyang LMAM and Department of Informatics,School of Math., Peking University, Beijing, ChinaYang Hongli College of Computer Sciences, Beijing University of Technology, Beijing, China
摘 要:Service-Oriented Computing (SOC) and Business Process Modeling (BPM) have become foundation for many practical business applications, and received more and more attention from both industry and research community. The purpose of BPM is to develop powerful yet intuitive frameworks for specifying real world business processes. The combination of SOC and BPM produce new challenge on how to model business processes from service view in order to bridge the gap between business and IT. This paper presents a Human- Process/Artifact framework for formalizing business processes. In this framework, a business process is modeled as interactions among a set of human processes and a set of (business) artifacts, as well as some repositories serving as storages and archives. Both artifacts and human processes can be seen as services. We give rigorous definitions for these concepts and their well-formedness conditions, and use an example to illustrate the usefulness of the model. Additionally, we give a formal semantics for the model.
关键词:SOC; Business Process Modeling; Human-Process; Artifact; Formal Semantics
馆藏号:p10349
所有评论仅代表网友意见