A blockchain future for internet of things security: a position paper

What is total quality control? : the Japanese way

Web Services are the most famous implementation of service-oriented architectures that has brought some challenging research issues. One of these is the composition, i.e., the capability to recursively construct a composite Web service as a workflow of other existing Web services, which are developed by different organizations and offer diverse functionalities (e.g., ticket purchase, payment), transactional properties (e.g., compensatable or not), and Quality of Service (QoS) values (e.g., execution price, success rate). The selection of a Web service, for each activity of the workflow, meeting the user's requirements, is still an important challenge. Indeed, the selection of one Web service among a set of them that fulfill some functionalities is a critical task, generally depending on a combined evaluation of QoS. However, the conventional QoS-aware composition approaches do not consider the transactional constraints during the composition process. This paper addresses the issue of selecting and composing Web services not only according to their functional requirements but also to their transactional properties and QoS characteristics. We propose a selection algorithm that satisfies user's preferences, expressed as weights over QoS criteria and as risk levels defining semantically the transactional requirements. Proofs and experimental results are presented.

/pdf/tqos-transactional-and-qos-aware-selection-algorithm-for-35y7s8lzxq.pdf

TQoS: Transactional and QoS-Aware Selection Algorithm for Automatic Web Service Composition

Service-oriented computing, an emerging paradigm for architecting and implementing business collaborations within and across organizational boundaries, is currently of interest to both software vendors and scientists. While the technologies for implementing and interconnecting basic services are reaching a good level of maturity, modeling service interaction from a global viewpoint, that is, representing service choreographies, is still an open challenge. The main problem is that, although declarativeness has been identified as a key feature, several proposed approaches specify choreographies by focusing on procedural aspects, leading to over-constrained and over-specified models.To overcome these limits, we propose to adopt DecSerFlow, a truly declarative language, to model choreographies. Thanks to its declarative nature, DecSerFlow semantics can be given in terms of logic-based languages. In particular, we present how DecSerFlow can be mapped onto Linear Temporal Logic and onto Abductive Logic Programming. We show how the mappings onto both formalisms can be concretely exploited to address the enactment of DecSerFlow models, to enrich its expressiveness and to perform a variety of different verification tasks. We illustrate the advantages of using a declarative language in conjunction with logic-based semantics by applying our approach to a running example.

Declarative specification and verification of service choreographiess

This paper presents a novel approach to inter-organizational workflow cooperation. Our goal is to provide support for organizations which are involved in a shared but not pre-modeled cooperative workflow across organizational boundaries. Our approach allows for partial visibility of workflows and their resources, thus providing powerful ways for inter-organizational workflow configuration. Varying degrees of visibility of workflows enable organizations to retain required levels of privacy and security of internal workflows. Our presented view concept provides a high degree of flexibility for participating organizations, since internal structures of collaborative workflows may be adapted without changes in the inter-organizational workflows. Furthermore, we provide workflow participants with the freedom to change their work-flows without changing their roles in the cooperation. This increases flexibility and is an important step to increase efficiency as well as reduction in costs for inter-organizational workflows. The presented approach is inspired by the Service-oriented Architecture (SOA). Accordingly, our approach consists of three steps: workflow advertisement, workflow interconnection, and workflow cooperation.

/pdf/the-view-based-approach-to-dynamic-inter-organizational-e4sd2njomd.pdf

The view-based approach to dynamic inter-organizational workflow cooperation

The recent evolution of Internet, driven by the Web services technology, is extending the role of the Web from a support of information interaction to a middleware for B2B interactions.Indeed, the Web services technology allows enterprises to outsource parts of their business processes using Web services. And it also provides the opportunity to dynamically offer new value-added services through the composition of pre-existing Web services.In spite of the growing interest in Web services, current technologies are found lacking efficient transactional support for composite Web services (CSs).In this paper, we propose a transactional approach to ensure the failure atomicity, of a CS, required by partners. We use the Accepted Termination States (ATS) property as a mean to express the required failure atomicity.Partners specify their CS, mainly its control flow, and the required ATS. Then, we use a set of transactional rules to assist designers to compose a valid CS with regards to the specified ATS.

/pdf/ensuring-required-failure-atomicity-of-composite-web-1sv8am07ix.pdf

Ensuring required failure atomicity of composite Web services

Virtual enterprises gather partners distributed in space, time and organizations, in order to achieve a common goal. Their business process realization needs the coordination of their distributed interactions. This paper presents the Synchronization Point model. It provides support for cooperative process management and coordination. It offers pertinent information about work progress while maintaining adequate privacy of information, and supports both long-time transactions and dynamic process definition. Then, its data repository and activity manager helps human interactions in cross-organizational applications.

/pdf/a-model-to-support-collaborative-work-in-virtual-enterprises-3xahk43o21.pdf

A model to support collaborative work in virtual enterprises

In this paper, we introduce the concept of a transactional pattern for specifying flexible and reliable composite Web services. A transactional pattern is a convergence concept between workflow patterns and advanced transactional models; thus it combines workflow flexibility and transaction reliability. Designers can simply connect together transactional patterns to define a composite Web service. In relation, we provide techniques to ensure control and transactional consistency of such services.

/pdf/extending-workflow-patterns-with-transactional-dependencies-1msrojv4jh.pdf

Extending workflow patterns with transactional dependencies to define reliable composite Web services

Reliability is one of the main challenge that encounter Web servicescompositions. Due to the inherent autonomy and heterogeneity of Webservices it is difficult to predict the behavior of the overallcomposite service.Current related technologies are unable to resolve this problemefficiently. These technologies rely on two existing strongapproa-ches: transactional processing and workflow systems. In onehand transactional processing ensures reliability. However, they aretoo rigid to support process based applications like composite Webservices. On the other hand, workflow systems focus mainly oncoordination and organizational aspects and ignore reliabilityissues.In this paper we propose a new solution that combines the businessprocess adequacy of workflow systems and the reliability oftransactional processing. We introduce the concept of transactionalpatterns to ensure reliable composite services. A transactionalpattern can be seen as a convergence concept between workflowpatterns and advanced transactional models. We show how we use it todefine composite services and how we ensure their reliabilityaccording to the designers specific needs.

/pdf/transactional-patterns-for-reliable-web-services-46uvp6qxu9.pdf

Transactional patterns for reliable web services compositions

Web services composition is an emerging paradigm for enabling application integration within and across organizational boundaries Current Web services composition proposals, such as BPML, WSBPEL, WSCI, and OWL-S, provide solutions for describing the control and data flows in Web service composition However, such proposals remain at the descriptive level, without providing any kind of mechanisms or tool support for analysis and verification Therefore, there is a growing interest for the verification techniques which enable designers to test and repair design errors even before actual running of the service, or allow designers to detect erroneous properties and formally verify whether the service process design does have certain desired properties

In this paper, we propose to verify Web services composition using an event driven approach We assume Web services that are coordinated by a composition process expressed in WSBPEL and we use Event Calculus to specify the properties and requirements to be monitored

/pdf/towards-formal-verification-of-web-service-composition-1hvfdfj8gw.pdf

Olivier Perrin

Papers

Ensuring required failure atomicity of composite Web services

A model to support collaborative work in virtual enterprises

Extending workflow patterns with transactional dependencies to define reliable composite Web services

Transactional patterns for reliable web services compositions

Towards formal verification of web service composition