Process-annotated service discovery facilitated by an n-gram-based index

Mahleko, Bendick; Wombacher, Andreas; Fankhauser, Péter

doi:10.1109/eee.2005.106

Cited by 9 publications

(6 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To overcome that problem, approaches to behaviour similarity were introduced that restricted the analysis to local relations between traces' events [53]. Noticeable examples include the ngram similarity [68], comparing systems by the shared allowed n-long sub-sequences in systems' respective traces. Despite the efficiency of the solution, the issue is that even if n-grams coincide, not necessarily do the traces as well.…”

Section: Behavioural Equivalencementioning

confidence: 99%

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Polyvyanyy

Solti

Weidlich

et al. 2020

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

The behavioural comparison of systems is an important concern of software engineering research. For example, the areas of specification discovery and specification mining are concerned with measuring the consistency between a collection of execution traces and a program specification. This problem is also tackled in process mining with the help of measures that describe the quality of a process specification automatically discovered from execution logs. Though various measures have been proposed, it was recently demonstrated that they neither fulfil essential properties, such as monotonicity , nor can they handle infinite behaviour. In this article, we address this research problem by introducing a new framework for the definition of behavioural quotients. We prove that corresponding quotients guarantee desired properties that existing measures have failed to support. We demonstrate the application of the quotients for capturing precision and recall measures between a collection of recorded executions and a system specification. We use a prototypical implementation of these measures to contrast their monotonic assessment with measures that have been defined in prior research.

show abstract

Section: Behavioural Equivalencementioning

confidence: 99%

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Polyvyanyy

Solti

Weidlich

et al. 2020

ACM Trans. Softw. Eng. Methodol.

View full text Add to dashboard Cite

show abstract

“…To overcome that problem, approaches to behaviour similarity were introduced that restricted the analysis to local relations between traces' events [67]. Noticeable examples include the n-gram similarity [68], comparing systems by the shared allowed n-long sub-sequences in systems' respective traces. Despite the efficiency of the solution, the treat to validity is that even if n-grams coincides, not necessarily do the traces as well.…”

Section: Behavioural Equivalencementioning

confidence: 99%

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Polyvyanyy,

Solti,

Weidlich

et al. 2018

Preprint

View full text Add to dashboard Cite

The comparison of the behaviours of software systems is an important concern in software engineering research. For example, in the areas of specification discovery and specification mining, it is important to measure the consistency between a collection of execution traces and the program specification that was automatically constructed from these traces. This problem is also tackled in process mining, where for almost two decades researchers propose measures to assess the quality of process specifications automatically discovered from execution logs of information systems. Though various measures have been proposed, it was recently observed that none of them fulfils essential properties, such as monotonicity. To address this research problem, we build on the following observation: If two behaviours are not equivalent, the extent of deviation can be quantified by a quotient of a certain aspect of one behaviour over the same aspect of the other behaviour. However, there is no systematic approach for defining such quotients and it is unclear which aspects shall be considered for meaningful comparison of systems that describe infinite behaviours, which is often the case for software systems. It is the contribution of this paper to introduce a framework to define behaviour quotients that apply once a system's behaviour is captured by a language over a set of actions. We instantiate the framework with measures for the cardinality and entropy as specific aspects of languages, thereby handling both finite and infinite behaviours. In addition, we prove important properties of these quotients. We demonstrate the application of the quotients to capture precision and recall between a collection of recorded executions of a system and a system specification, i.e., between the recorded and specified behaviours of a system. An experimental evaluation of the quotients using our open-source implementation demonstrates their feasibility and indicates that they enable a monotonic assessment.

show abstract

“…It is more expressive than service interface-based description. Various behavioral models including extended finite-state automata, process algebraic notations, graph formalism and logic formalisms have been studied [29][30][31][32][33][34][35]. Web services are developed by different teams, and are described in different conceptual frameworks without prior agreement.…”

Section: Related Workmentioning

confidence: 99%

Capability description and discovery of Internetware entity

Wang

Jin

Liu

2010

Sci. China Inf. Sci.

View full text Add to dashboard Cite

Internetware can be formed through aggregation of Internetware entities bottom-up to satisfy the user's requirements. In the process, capability description of Internetware entity plays an important role. This paper proposes a capability description of Internetware entity based on environment ontology. The environment ontology includes environment entities and possible interactions with the environment entities in a particular domain. Tree-like hierarchical state machines are also included in the ontology to describe domain life-cycle of the environment entities. On the basis of the ideas, the capability of Internetware entity is embodied by interacting with environment entities and the changes of the environment entities during the interactions. Finally, this paper describes the matchmaking between capability descriptions of Internetware entities to support the discovery of Internetware entity. An example of online education course is given to illustrate the ideas.

show abstract

Process-annotated service discovery facilitated by an n-gram-based index

Cited by 9 publications

References 22 publications

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Monotone Precision and Recall Measures for Comparing Executions and Specifications of Dynamic Systems

Capability description and discovery of Internetware entity

Contact Info

Product

Resources

About