Does My Service Have Partners?

Wolf, Karsten

doi:10.1007/978-3-642-00899-3_9

Cited by 48 publications

(34 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…15. Our approach relies on the existence of two specific controllers of any open net N : a maximal controller maxC (N ) [14,8] and a most permissive controller mpC (N ) [22]. A maximal controller is maximal w.r.t.…”

Section: Definition 15 (Fitness)mentioning

confidence: 99%

See 1 more Smart Citation

Conformance Checking of Services Using the Best Matching Private View

Müller

Aalst

Stahl

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. We investigate whether a running implementation of a service conforms to its formal specification in a setting, where only recorded behavior of that implementation is given. Existing conformance checking techniques can be used to measure the degree of conformance of the recorded behavior and its public view but may produce "false negatives", because a correct implementation (i.e., private view ) may deviate significantly from its specification. The private view may, for example, reorder some activities without introducing any problems, yet traditional conformance checking would penalize such changes unjustifiably. To overcome this problem, we present a novel approach that determines a best matching private view. We show that among the infinitely many private views, there is a canonical best matching private view. While the represented theory is general and can be applied to arbitrary service models, the implementation is currently limited to acyclic service models.

show abstract

Section: Definition 15 (Fitness)mentioning

confidence: 99%

“…behavior; that is, N can visit all the states in composition with mpC (N ) that can be visited in composition with any controller of N . For technical details of maximal and most permissive controllers we refer to [14] and [22], respectively; here, we only summarize their properties.…”

Section: Definition 15 (Fitness)mentioning

confidence: 99%

Conformance Checking of Services Using the Best Matching Private View

Müller

Aalst

Stahl

2013

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Rather than exhaustively trying all 3 n possible configurations, we construct a "controller" that configures the process model correctly. Using controller synthesis [30,35], we synthesize a so-called "most permissive partner". This is the controller that does not remove any feasible configurations.…”

Section: + =mentioning

confidence: 99%

“…Hence, traditional approaches are computationally expensive and do not yield a useful characterization of the set of all feasible configuration. Consequently, we propose a completely different approach using the synthesis technique described in [35]. As shown in Fig.…”

Section: Correctness Ensuring Configurationmentioning

confidence: 99%

“…Other approaches either only discuss syntactical correctness related to configuration [11,13,32], or deal with behavioral correctness but run into the state-space problem [22]. In this paper, we propose a completely novel verification approach where we consider the configuration process as an "external service" and then synthesize a "most permissive partner" using the approach described by Wolf [35] and implemented in the tool Wendy [30]. This most permissive partner is closely linked to the notion of operating guidelines for service behavior [29].…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Ensuring correctness during process configuration via partner synthesis

Aalst

Lohmann

Rosa

2012

Information Systems

View full text Add to dashboard Cite

Variants of the same process can be encountered within one organization or across different organizations. For example, different municipalities, courts, and rental agencies all need to support highly similar processes. In fact, procurement and sales processes can be found in almost any organization. However, despite these similarities, there is also the need to allow for local variations in a controlled manner. Therefore, many academics and practitioners have advocated the use of configurable process models (sometimes referred to as reference models). A configurable process model describes a family of similar process models in a given domain. Such a model can be configured to obtain a specific process model that is subsequently used to handle individual cases, for instance, to process customer orders. Process configuration is notoriously difficult as there may be all kinds of interdependencies between configuration decisions. In fact, an incorrect configuration may lead to behavioral issues such as deadlocks and livelocks. To address this problem, we present a novel verification approach inspired by the "operating guidelines" used for partner synthesis. We view the configuration process as an external service, and compute a characterization of all such services which meet particular requirements via the notion of configuration guideline. As a result, we can characterize all feasible configurations (i. e., configurations without behavioral problems) at design time, instead of repeatedly checking each individual configuration while configuring a process model.

show abstract

Software Architecture: Service Adaptation Techniques in the Context of Web Services Composition

Barkaoui¹,

Eslamichalandar²

2014

Software Architecture 1

View full text Add to dashboard Cite

Does My Service Have Partners?

Cited by 48 publications

References 20 publications

Conformance Checking of Services Using the Best Matching Private View

Conformance Checking of Services Using the Best Matching Private View

Ensuring correctness during process configuration via partner synthesis

Software Architecture: Service Adaptation Techniques in the Context of Web Services Composition

Contact Info

Product

Resources

About