QoS Analysis in Heterogeneous Choreography Interactions

Kattepur, Ajay; Georgantas, Nikolaos; Issarny, Valérie

doi:10.1007/978-3-642-45005-1_3

Cited by 5 publications

(4 citation statements)

References 16 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Overall in this paper, we unify the verification of the timing behaviors of DeX one-way, synchronous, asynchronous and streaming interactions, as well as the statistical performance analysis of such interactions. While our prior work focused on the timing and QoS analysis of heterogeneous service choreographies [4,31], we model here the finegrained effect of timing parameters on both coupled and decoupled mobile IoT systems. By leveraging our analysis of timing parameters, designers of IoT systems can accurately set constraints to ensure high success rates for interactions.…”

Section: Related Workmentioning

confidence: 99%

Timed protocol analysis of interconnected mobile IoT devices

Bouloukakis

Georgantas

Kattepur³

et al. 2021

J Internet Serv Appl

Self Cite

View full text Add to dashboard Cite

With the emergence of the Internet of Things (IoT), application developers can rely on a variety of protocols and Application Programming Interfaces (APIs) to support data exchange between IoT devices. However, this may result in highly heterogeneous IoT interactions in terms of both functional and non-functional semantics. To map between heterogeneous functional semantics, middleware connectors can be utilized to interconnect IoT devices via bridging mechanisms. In this paper, we make use of the Data eXchange (DeX) connector model that enables interoperability among heterogeneous IoT devices. DeX interactions, including synchronous, asynchronous and streaming, rely on generic post and get primitives to represent IoT device behaviors with varying space/time coupling. Nevertheless, non-functional time semantics of IoT interactions such as data availability/validity, intermittent connectivity and application processing time, can severely affect response times and success rates of DeX interactions. We introduce timing parameters for time semantics to enhance the DeX API. The new DeX API enables the mapping of both functional and time semantics of DeX interactions. By precisely studying these timing parameters using timed automata models, we verify conditions for successful interactions with DeX connectors. Furthermore, we statistically analyze through simulations the effect of varying timing parameters to ensure higher probabilities of successful interactions. Simulation experiments are compared with experiments run on the DeX Mediators (DeXM) framework to evaluate the accuracy of the results. This work can provide application developers with precise design time information when setting these timing parameters in order to ensure accurate runtime behavior.

show abstract

Section: Related Workmentioning

confidence: 99%

Timed protocol analysis of interconnected mobile IoT devices

Bouloukakis

Georgantas

Kattepur³

et al. 2021

J Internet Serv Appl

Self Cite

View full text Add to dashboard Cite

show abstract

“…XSB relies on protocol conversion [19], which allows reasoning about diverse interaction paradigms using the unifying XSB semantics. In our previous work [16], we extended the XSB connector with multi-dimensional QoS metrics that can incorporate timeliness, security and resource efficiency levels. However, we did not consider limited data lifetime, disconnections of peers, or asynchronous reception, as we do in this paper.…”

Section: Related Workmentioning

confidence: 99%

“…While our previous work [16] studies the effect of heterogeneous choreographies on multi-dimensional end-to-end QoS properties, we now analyze heterogeneous middleware interactions with specific emphasis on timing behavior. We propose a timing model that can represent a system relying on not only any of the CS, PS, TS paradigms, but also any interconnection between them.…”

Section: Introductionmentioning

confidence: 99%

Analysis of Timing Constraints in Heterogeneous Middleware Interactions

Kattepur

Georgantas

Bouloukakis

et al. 2015

Service-Oriented Computing

Self Cite

View full text Add to dashboard Cite

With the emergence of Future Internet applications that connect web services, sensor-actuator networks and service feeds, scalability and heterogeneity support of interaction paradigms are of critical importance. Heterogeneous interactions can be abstractly represented by client-service, publish-subscribe and tuple space middleware connectors that are interconnected via bridging mechanisms providing interoperability among the services. In this paper, we make use of the eXtensible Service Bus (XSB), proposed in the CHOReOS project as the connector enabling interoperability among heterogeneous choreography participants. XSB models transactions among peers through generic post and get operations that represent peer behavior with varying time/space coupling. Nevertheless, the heterogeneous lease and timeout constraints of these operations severely affect latency and success rates of transactions. By precisely studying the related timing thresholds using timed automata models, we verify conditions for successful transactions with XSB connectors. Furthermore, we statistically analyze through simulations, the effect of varying lease and timeout periods to ensure higher probabilities of successful transactions. Simulation experiments are compared with experiments run on the XSB implementation testbed to evaluate the accuracy of results. This work can provide application developers with precise design time information when setting these timing thresholds in order to ensure accurate runtime behavior.

show abstract

“…We refer to [19,25] for a detailed discussion due to space limitations and would like to focus on two related contributions: Kattepur et al [17] define a QoS metric similar to properties in expectations. However, they focus on interactions in heterogeneous SOA choreographies while expectations are information-centric; Pernici et al [21] use fuzzy parameters for deciding on web service adaptation.…”

Section: Related Workmentioning

confidence: 99%

Managing Expectations: Runtime Negotiation of Information Quality Requirements in Event-Based Systems

Frischbier

Pietzuch

Buchmann

2014

Service-Oriented Computing

View full text Add to dashboard Cite

Abstract. Interconnected smart devices in the Internet of Things (IoT) provide fine-granular data about real-world events, leveraged by servicebased systems using the paradigm of event-based systems (EBS) for invocation. Depending on the capabilities and state of the system, the information propagated in EBS differs in content but also in properties like precision, rate and freshness. At runtime, consumers have different dynamic requirements about those properties that constitute quality of information (QoI) for them. Current approaches to support quality-related requirements in EBS are either domain-specific or limited in terms of expressiveness, flexibility and scope as they do not allow participants to adapt their behavior. We introduce the generic concept of expectations to express, negotiate and enforce arbitrary requirements about information quality in EBS at runtime. In this paper, we present the model of expectations, capabilities and feedback based on generic properties. Participants express requirements and define individual tradeoffs between them as expectations while system features are expressed as capabilities. We discuss the algorithms to (i) negotiate requirements at runtime in the middleware by matching expectations to capabilities and (ii) adapt participants as well as the middleware. We illustrate the architecture for runtime-support in industry-strength systems by describing prototypes implemented within a centralized and a decentralized EBS.Keywords: event-based systems, quality of information, self-adaptive systems, runtime negotiation, malleability MotivationHaving information of adequate quality available at the right time in the right place is vital for software systems to react to situations or support decisions. Supply chain management based on the Internet of Things (IoT) and data centre monitoring are just two examples of reactive systems where information provided by data sources has to be interpreted and where false alarms, missed events or otherwise information of inadequate quality carries a cost [18]. Event-based systems (EBS) and service-oriented architectures (SOA) complement each other

show abstract

QoS Analysis in Heterogeneous Choreography Interactions

Cited by 5 publications

References 16 publications

Timed protocol analysis of interconnected mobile IoT devices

Timed protocol analysis of interconnected mobile IoT devices

Analysis of Timing Constraints in Heterogeneous Middleware Interactions

Managing Expectations: Runtime Negotiation of Information Quality Requirements in Event-Based Systems

Contact Info

Product

Resources

About