In this dissertation, we first address the problem of composing business services from existing services automatically. Based on the Roman service model, we develop algorithms for the automated service composition problem. Our analysis considers various cases including services with finite states, services with bounded states, and services with qualities. Second, we investigate an alternative approach to business process modeling, namely artifact-centric business process modeling. This approach promises to address the problems of current process modeling approaches by emphasizing data design as well as control flow design. Through our collaborations with IBM Research, we have been able to refine and formalize this approach. Based on our formalization, we develop a logic based language to specify life-cycle properties of artifacts and show various decidability results on the verification of these properties. Our results contribute to the foundational knowledge required for the development of new tools addressing today's business process management challenges.However, current technologies offer only manual support to create composite services. In other words, at design ... Towards this goal, in the first part of this thesis, we focus on the automated service composition problem. Lack of flexibility ofanbsp;...
|Title||:||Modeling, Analysis, and Composition of Business Processes|
|Author||:||Çağdaş Evren Gerede|
|Publisher||:||ProQuest - 2007|