Extending the Compatibility Notion for Abstract WS-BPEL Processes
WS-BPEL defines a standard for executable processes. Executable processes are business processes which can be automated through an IT infrastructure. The WS-BPEL speci-fication also introduces the concept of abstract processes: In contrast to their executable siblings, abstract processes are not executable and can have parts where business logic is disguised. Nevertheless, the WS-BPEL specification introduces a notion of compatibility between such an under-specified abstract process and a fully specified executable one. Basically, this compatibility notion defines a set of syntactical rules that can be augmented or restricted by profiles. So far, there exist two of such profiles: the Abstract Process Profile for Observable Behavior and the Abstract Process Profile for Templates. None of these profiles defines a concept of behavioral equivalence. Therefore, both profiles are too strict with respect to the rules they impose when deciding whether an executable process is compatible to an abstract one. In this paper, we propose a novel profile that extends the existing Abstract Process Profile for Observable Behavior by defining a behavioral relationship. We also show that our novel profile allows for more flexibility when deciding whether an executable and an abstract process are compatible.
WS-BPEL Petri nets Abstract Profile Compliance
Dieter Konig Niels Lohmann Simon Moser Christian Stahl Karsten Wolf
IBM Bolingen Laboratory Schoaicher StraBe 220,71032 Bolingen, Germany Universitat Rostock,Institut fur Informatik 18051 Rostock, Germany IBM Boblingen Laboratory Schonaicher StraBe 220,71032 Boblingen, Germany Humboldt-Universit.t zuBerlin, Institut für InformatikUnter den Linden 6, 10099Berlin, Germany Universitat Rostock,Institut fur Informatik18051 Rostock, Germany
国际会议
第十七届国际万维网大会(the 17th International World Wide Web Conference)(WWW08)
北京
英文
2008-04-21（万方平台首次上网日期，不代表论文的发表时间）