Identifying cause and effect relations between events in concurrent event-based components

Dias, Marcio S.; Richardson, Debra J.

doi:10.1109/ase.2002.1115021

Cited by 3 publications

(1 citation statement)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It even considers the role of client calls (in a simple case) via parallel composition. The importance of capturing behaviour of components as sequences of events for COTS components (commercial off the shelf) is emphasized also in [DR02] where a way of identifying behaviour via monitoring experiments is described.…”

Section: Related Workmentioning

confidence: 99%

Rigorous development of component-based systems using component metadata and patterns

et al. 2016

View full text Add to dashboard Cite

In previous work we presented a CSP-based systematic approach that fosters the rigorous design of component-based development (CBD). Our approach is strictly defined in terms of composition rules, which are the only permitted way to compose components. These rules guarantee the preservation of properties (particularly deadlock-freedom) by construction in component composition. Nevertheless, their application is allowed only under certain conditions whose verification via model checking turned out impracticable even for some simple designs, and particularly those involving cyclic topologies. In this paper, we address the performance of the analysis and present a significantly more efficient alternative to the verification of the rule side conditions, which are improved by carrying out partial verification on component metadata throughout component compositions and by using behavioural patterns. The use of metadata, together with behavioural patterns, demands new composition rules, which allow previous exponential time verifications to be carried out now in linear time. Two case studies (the classical dining philosophers, also used as a running example, and an industrial version of the leadership election algorithm) are presented to illustrate and validate the overall approach.

show abstract

Section: Related Workmentioning

confidence: 99%

Rigorous development of component-based systems using component metadata and patterns

et al. 2016

View full text Add to dashboard Cite

show abstract

Standardization of a 204Tl radioactive solution

Dias

Koskinas

2003

Applied Radiation and Isotopes

View full text Add to dashboard Cite

Identifying cause and effect relations between events in concurrent event-based components

Dias¹,

Richardson²

2002

Proceedings 17th IEEE International Conference on Automated Software Engineering,

View full text Add to dashboard Cite

Concurrent event-based components present characteristics that impose difficulties in understanding their dynamic behavior, mainly for interpreting the cause & effect relations between input and output events in component interactions. In this paper, we propose a technique to help in the process of understanding the dynamic behavior of concurrent event-based components. It checks the event trace (generated by monitoring the component execution) against a specification of the component communication protocol (even with a possibly incomplete or incorrect specification). The technique identifies and presents the more probable cause & effect relations between the component events, providing also a measurement related to this probability.

show abstract

Identifying cause and effect relations between events in concurrent event-based components

Cited by 3 publications

References 10 publications

Rigorous development of component-based systems using component metadata and patterns

Rigorous development of component-based systems using component metadata and patterns

Standardization of a 204Tl radioactive solution

Identifying cause and effect relations between events in concurrent event-based components

Contact Info

Product

Resources

About