检索结果-内蒙古大学图书馆

Deciding service composition and substitutability using extended operating guidelines

DATA & KNOWLEDGE ENGINEERING 2009年第9期68卷 819-833页

作者： Stahl, Christian Wolf, Karsten Tech Univ Eindhoven Dept Math & Comp Sci NL-5600 MB Eindhoven Netherlands Humboldt Univ Inst Informat D-10099 Berlin Germany Univ Rostock Inst Informat D-18051 Rostock Germany

We study the correct interaction between services using the following notion for correctness: there is no deadlock in the interaction of the services, and a given set of activities is not dead, that is, each activity in this set is executed in at least one run. The second condition has not been studied before. An operating guideline of a service P is an operational characterization of all deadlock-free interacting partners of P. in this paper, we present an extension of the concept of an operating guideline to characterize all correctly interacting partners of a service P. This extension can be used for answering at least the following two questions. First, given a service R, does R interact correctly with P? Second, given a service P', can P be substituted by P', that is, is every correctly interacting partner of P a correctly interacting partner of P', too? (C) 2009 Elsevier B.V. All rights reserved.

关键词： Business process modeling and analysis process verification and validation Operating guidelines Substitutability Petri nets

来源：评论

学校读者我要写书评

暂无评论

Efficient Controllability Analysis of Open Nets

Efficient Controllability Analysis of Open Nets

引用

5th International Workshop on Web Services and Formal Methods

作者： Weinberg, Daniela Humboldt Univ Inst Informat D-10099 Berlin Germany

ISBN: (纸本)9783642013638

A service is designed to interact with other services. If the service interaction is stateful and asynchronous, the interaction protocol can become quite complex. A service may be able to interact with a lot of possible partner services, one partner or no partner at all. Having no partner surely is not;intended by the designer. But the stateful interaction between services can be formalized and thus analyzed at design time. We present, a formalization which is centered around a graph data structure that we call interaction graph, which represents feasible runs of a partner service according to the interaction protocol. As interaction graphs suffer from state explosion, we introduce a set Of Suitable reduction rules to alleviate the complexity of our approach. As our case studies show we are able to analyze the interaction behavior of a Service efficiently.

关键词： Business process analysis Formal models in business process management process verification and validation Petri nets

来源：评论

学校读者我要写书评

暂无评论

History-based joins: Semantics, soundness and implementation

引用

DATA & KNOWLEDGE ENGINEERING 2008年第1期64卷 24-37页

作者： van Hee, Kees Oanea, Olivia Serebrenik, Alexander Sidorova, Natalia Voorhoeve, Marc Eindhoven Univ Technol Dept Math & Comp Sci NL-5600 MB Eindhoven Netherlands

In this paper we study the use of case history for control structures in workflow processes. History-dependent control offers much more modeling power than classical control structures and it solves several semantical problems of industrial modeling frameworks. In particular, we introduce a history-dependent join. We study the modeling power by means of workflow patterns. Since proper completion (i.e. the ability of any configuration reachable from the initial one to reach the final one) is always an important '' sanity check '' of process modeling, we introduce a modeling method that guarantees this property holds. Finally we consider an implementation of the proposed control structures on top of an existing workflow engine. (c) 2007 Published by Elsevier B.V.

关键词： business process modeling and analysis formal models in business process management process patterns process verification and validation workflow management systems

来源：评论

学校读者我要写书评

暂无评论

Analyzing interacting WS-BPEL processes using flexible model generation

引用

DATA & KNOWLEDGE ENGINEERING 2008年第1期64卷 38-54页

作者： Lohmann, Niels Massuthe, Peter Stahl, Christian Weinberg, Daniela Humboldt Univ Inst Informat D-10099 Berlin Germany

We address the problem of analyzing the interaction between WS-BPEL processes. We present a technology chain that starts out with a WS-BPEL process and translates it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). To manage processes of realistic size, we present a concept of a flexible model generation which allows the generation of compact Petri net models. A case study demonstrates the value of this technology chain. (c) 2007 Elsevier B.V. All rights reserved.

关键词： business process modeling and analysis formal models in business process management process verification and validation Petri nets WS-BPEL

来源：评论

学校读者我要写书评

暂无评论

History-based joins: Semantics, soundness and implementation

引用

4th International Conference on Business process Management

作者： van Hee, Kees Oanea, Olivia Serebrenik, Alexander Sidorova, Natalia Voorhoeve, Marc Eindhoven Univ Technol Dept Math & Comp Sci NL-5600 MB Eindhoven Netherlands

ISBN: (纸本)3540389016

关键词： business process modeling and analysis formal models in business process management process patterns process verification and validation workflow management systems

来源：评论

学校读者我要写书评

暂无评论

Behavioral constraints for services

引用

5th International Conference on Business process Management

作者： Lohmann, Niels Massuthe, Peter Wolf, Karsten Humboldt Univ Inst Informat D-10099 Berlin Germany Univ Rostock Inst Informat D-18051 Rostock Germany

ISBN: (纸本)9783540751823

In service-oriented architectures (SOA), deadlock-free interaction of services is an important correctness criterion. To support service discovery in an SOA, operating guidelines serve as a structure to characterize all deadlock-freely interacting partners of a services. In practice, however, there are intended and unintended deadlock-freely interacting partners of a service. In this paper, we provide a formal approach to express intended and unintended behavior as behavioral constraints. With such a constraint, unintended partners can be "filtered" yielding a customized operating guideline. Customized operating guidelines can be applied to validate a service and for service discovery.

关键词： business process modeling and analysis formal models in business process management process verification and validation petri nets operating guidelines constraints

来源：评论

学校读者我要写书评

暂无评论

Inducing declarative logic-based models from labeled traces

引用

5th International Conference on Business process Management

作者： Lamma, Evelina Mello, Paola Montali, Marco Riguzzi, Fabrizio Storari, Sergio Univ Ferrara ENDIF Saragat1 I-44100 Ferrara Italy Univ Bologna DEIS I-40136 Bologna Italy

ISBN: (纸本)9783540751823

In this work we propose an approach for the automatic discovery of logic-based models starting from a set of process execution traces. The approach is based on a modified Inductive Logic Programming algorithm, capable of learning a set of declarative rules. The advantage of using a declarative description is twofold. First, the process is represented in an intuitive and easily readable way;second, a family of proof procedures associated to the chosen language can be used to support the monitoring and management of processes (conformance testing, properties verification and interoperability checking, in particular). The approach consists in first learning integrity constraints expressed as logical formulas and then translating them into a declarative graphical language named DecSerFlow. We demonstrate the viability of the approach by applying it to a real dataset from a health case process and to an artificial dataset from an e-commerce protocol.

关键词： Careflow DecSerFlow Logic programming process mining process verification and validation

来源：评论

学校读者我要写书评

暂无评论

Analyzing interacting BPEL processes

引用

4th International Conference on Business process Management

作者： Lohmann, Niels Massuthe, Peter Stahl, Christian Weinberg, Daniela Humboldt Univ Inst Informat D-10099 Berlin Germany

ISBN: (纸本)3540389016

This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain.

关键词： business process modeling and analysis formal models in business process management process verification and validation Petri nets

来源：评论

学校读者我要写书评

暂无评论

Specification and management of policies in service oriented business collaboration

引用

3rd International Conference on Business process Management

作者： Orriëns, B Yang, J Tilburg Univ Dept Informat Management NL-5000 LE Tilburg Netherlands Macquarie Univ Dept Comp Sydney NSW 2109 Australia

ISBN: (纸本)3540282386

Current composite web service development and management solutions, e.g. BPEL, do not cater for developing adaptive business collaborations while adhering to the requirements imposed by the business environment. In this paper we introduce the Business Collaboration Design Framework which uses a blend of design perspectives, facets and aspects to provide designers with the means to develop and deliver business collaborations in a effective and manageable manner. We explain how policies can be defined in the BCDF to specify a wide range of requirements. We also conceptually introduce policy management mechanisms, which facilitate management of policy conformance and consistency, alignment and compatibility.

关键词： business process modeling and analysis processes and service composition process verification and validation intra-organizational process support

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：