Acceleration and semantic foundations of embedded Java platforms

Tableau d'honneur de la Faculté des études supérieures et postdoctorales, 2006-200

Design and development of an m-commerce environment: The E-CWE project

We discuss the use of software agents in the design and development of an m-commerce environment. Software agents are considered because of their features, such as autonomy, sociability, and mobility. Users are currently struggling to complete their e-commerce transactions. For instance, they have to adapt their behaviors when they browse e-commerce sites. Conducting similar transactions from wireless devices (e.g., mobile phones) requires new approaches. Multiple issues, which vary from low bandwidth and high latency to screen sizes, are raised. The E-Commerce Through Wireless Devices project aims at investigating techniques and offering solutions to support users in undertaking m-commerce transactions

A framework to coordinate web services in composition scenarios

This paper looks into the coordination of web services following their acceptance to participate in a composition scenario. We identify two types of behaviours associated with component web services: Operational and control behaviours. These behaviours are used to specify composite web services that are built upon component web services. In term of orchestration a composite web service could be either centralised or peer-to-peer. To support component/composite web services coordination per type of orchestration schema, various types of messages are exchanged between these web services. Experiments showing the use of these messages are reported in this paper as well. Copyright © 2010 Inderscience Enterprises Ltd

A web services composition approach based on software agents and context

We present an agent-based and context-oriented approach for Web services composition. A Web service is an accessible application that other applications and humans can discover and trigger to satisfy various needs. Due to the complexity of Web services composition, we consider two concepts to reduce this complexity: Software agent and context. A software agent is an autonomous entity that acts on behalf of users, whereas context is any information relevant to characterize a situation. During composition, software agents engage conversations with their peers to agree on the Web services that will participate in the composition

Dynamic management of UDDI registries in a wireless environment of web services: Concepts, architecture, operation, and deployment

This paper presents mechanisms for the dynamic management of the content of several Universal Description, Discovery, and Integration (UDDI) registries. These mechanisms are deployed in the context of a wireless environment of Web services. By content, it is meant the announcements of Web services that providers submit to a UDDI registry. Unlike other initiatives in the Web services domain that consider a single UDDI registry and a wired communication infrastructure, this paper is concerned with the fact that: several UDDI registries are deployed, there is no wired communication infrastructure between the UDDI registries, and absence of a centralized component for coordinating the UDDI-registries. The solution presented integrates users and software agents into what we call messengers. Initially, software agents reside in users\u27 mobile devices and cache a description of the Web services that satisfy their users\u27 needs. Each time a user is in the vicinity of a UDDI registry, her software agent interacts with that registry, so the details stored on Web services are submitted. © Springer Science+Business Media, LLC 2007

SoMeT - A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV

A formal verification approach of conversations in composite web services using NuSMV

Web service composition is currently a very focused-on topic of research, with many studies being proposed by academic and industrial research groups. This paper discusses the design and verification of behavior of composite Web services. We model composite Web services based on two behaviors, namely control and operational. These behaviors communicate through conversation messages. We use state charts to model composite Web services and verify the synchronization of the conversations among them using symbolic model checking with NuSMV. © 2009 IOS Press. All rights reserved

Symbolic model checking composite Web services using operational and control behaviors

This paper addresses the issue of verifying if composite Web services design meets some desirable properties in terms of deadlock freedom, safety (something bad never happens), and reachability (something good will eventually happen). Composite Web services are modeled based on a separation of concerns between business and control aspects of Web services. This separation is achieved through the design of an operational behavior, which defines the composition functioning according to the Web services\u27 business logic, and a control behavior, which identifies the valid sequences of actions that the operational behavior should follow. These two behaviors are formally defined using automata-based techniques. The proposed approach is model checking-based where the operational behavior is the model to be checked against properties defined in the control behavior. The paper proves that the proposed technique allows checking the soundness and completeness of the design model with respect to the operational and control behaviors. Moreover, automatic translation procedures from the design models to the NuSMV model checker\u27s code and a verification tool are reported in the paper. © 2012 Elsevier Ltd. All rights reserved

Analyzing social web services\u27 capabilities

© 2015 IEEE. This paper looks into ways of supporting social Web services react to the behaviors that their peers expose at run time. Examples of behaviors include selfishness and unfairness. These reactions are associated with actions packaged into capabilities. A capability allows a social Web service to stop exchanging private details with a peer and/or to suspend collaborating with another peer, for example. The analysis of capability results into three types referred to as functional (what a social Web service does), non-functional (how a social Web service runs), and social (how a social Web service reacts to peers). To avoid cross-cutting concerns among these capabilities aspect-oriented programming is used for implementing a system