BESERIAL: Behavioural Service Interface Analyser

Aït-Bachir, Ali; Dumas, Marlon; Fauvet, Marie-Christine

doi:10.1007/978-3-540-85758-7_27

Cited by 7 publications

(4 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the first case, the services must be complementary, whereas in the second case they should provide the same functionality. Classically, either the notion of simulation (as in [ABDF08]) or the notion of trace inclusion (as in [CLB08]) is used to express this sameness. In this taxonomy, we can also include different models of failure traces [GGH + 10], where refusal sets may be used to model (preservation of) process receiving capabilities and therefore absence of forever pending messages.…”

Section: Compatibility Checkingmentioning

confidence: 99%

On the diversity of asynchronous communication

2016

View full text Add to dashboard Cite

Asynchronous communication is often viewed as a single entity, the counterpart of synchronous communication. Although the basic concept of asynchronous communication is the decoupling of send and receive events, there is actually room for a variety of additional specification of the communication, for instance in terms of ordering. Yet, these different asynchronous communications are used interchangeably and seldom distinguished. This paper is a contribution to the study of these models, their differences, and how they are related. In this paper, the variety of point-to-point asynchronous communication paradigms is considered with two approaches. In the first and theoretical one, communication models are specified as properties on the ordering of events in distributed executions. In the second and more practical approach that involves composition of peers, they are modeled with transition systems and message histories as part of a framework. The described framework enables to model peer composition and compatibility properties. Besides, an implemented tool chain based on the TLA + formalism and model checking is also proposed and illustrated. The conformance of the two approaches is highlighted. A hierarchy is established between the studied communication models. From the execution viewpoint, it completes existing work in the area by introducing more asynchronous communication models and showing their differences. The framework is shown to offer abstract implementations of the communication models. Both the correctness and the completeness of the descriptions in the framework are studied. This reveals necessary restrictions on the behavior of the peers so that the communication models are actually implementable.

show abstract

Section: Compatibility Checkingmentioning

confidence: 99%

On the diversity of asynchronous communication

2016

View full text Add to dashboard Cite

show abstract

“…Ali et. al., [17] employed the asymmetric simulation relations to verify the new replaced service can simulate the behavior of previous service. Chae et.…”

Section: Related Workmentioning

confidence: 99%

Research on Probabilistic Model based Services Composition Compatibility Focusing on Structural Behaviors Modeling

Gao¹,

Duan²,

Zhu³

2016

IJSIA

View full text Add to dashboard Cite

show abstract

“…The detecttion is processed by a module namely BESE-RIAL 2 [14] and the resolution runs upon a CEP 3 infrastructure [13]. In what follows, we present the design and implementation details of our tool.…”

Section: Implementation and Design Detailsmentioning

confidence: 99%