A Constrained Object Model for Configuration Based Workflow Composition

Automatic or assisted workflow composition is a field of intense research for applications to the world wide web or to business process modeling. Workflow composition is traditionally addressed in various ways, generally via theorem proving techniques. Recent research observed that building a composite workflow bears strong relationships with finite model search, and that some workflow languages can be defined as constrained object metamodels . This lead to consider the viability of applying configuration techniques to this problem, which was proven feasible. Constrained based configuration expects a constrained object model as input. The purpose of this document is to formally specify the constrained object model involved in ongoing experiments and research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third International Conference on Business Process Management, Nancy Franc

Towards dynamic context discovery and composition

Context-awareness has been identified as a key characteristic for pervasive computing systems. As a variety of context-aware environments begin to flourish, pervasive applications shall have to interact different environments well. In this paper we propose extensions to the Strathclyde Context Infrastructure that gives context-aware applications the potential to adapt to unfamiliar environments transparently. We present a vision of a context discovery technique based on automated semantic reasoning about context information and services. The technique will offer higher levels of scalability and of interoperability with new context environments that cannot be achieved with current methods

Extending OWL-S for the Composition of Web Services Generated With a Legacy Application Wrapper

Despite numerous efforts by various developers, web service composition is still a difficult problem to tackle. Lot of progressive research has been made on the development of suitable standards. These researches help to alleviate and overcome some of the web services composition issues. However, the legacy application wrappers generate nonstandard WSDL which hinder the progress. Indeed, in addition to their lack of semantics, WSDLs have sometimes different shapes because they are adapted to circumvent some technical implementation aspect. In this paper, we propose a method for the semi automatic composition of web services in the context of the NeuroLOG project. In this project the reuse of processing tools relies on a legacy application wrapper called jGASW. The paper describes the extensions to OWL-S in order to introduce and enable the composition of web services generated using the jGASW wrapper and also to implement consistency checks regarding these services.Comment: ICIW 2012, The Seventh International Conference on Internet and Web Applications and Services, Stuttgart : Germany (2012

Reconciling a component and process view

In many cases we need to represent on the same abstraction level not only system components but also processes within the system, and if for both representation different frameworks are used, the system model becomes hard to read and to understand. We suggest a solution how to cover this gap and to reconcile component and process views on system representation: a formal framework that gives the advantage of solving design problems for large-scale component systems.Comment: Preprint, 7th International Workshop on Modeling in Software Engineering (MiSE) at ICSE 201

A Survey on Service Composition Middleware in Pervasive Environments

The development of pervasive computing has put the light on a challenging problem: how to dynamically compose services in heterogeneous and highly changing environments? We propose a survey that defines the service composition as a sequence of four steps: the translation, the generation, the evaluation, and finally the execution. With this powerful and simple model we describe the major service composition middleware. Then, a classification of these service composition middleware according to pervasive requirements - interoperability, discoverability, adaptability, context awareness, QoS management, security, spontaneous management, and autonomous management - is given. The classification highlights what has been done and what remains to do to develop the service composition in pervasive environments

Physical Investigation of the Potentially Hazardous Asteroid (144898) 2004 VD17

In this paper we present the observational campaign carried out at ESO NTT and VLT in April and May 2006 to investigate the nature and the structure of the Near Earth Object (144898) 2004 VD17. In spite of a great quantity of dynamical information, according to which it will have a close approach with the Earth in the next century, the physical properties of this asteroid are largely unknown. We performed visible and near--infrared photometry and spectroscopy, as well as polarimetric observations. Polarimetric and spectroscopic data allowed us to classify 2004 VD17 as an E-type asteroid. A good agreement was also found with the spectrum of the aubrite meteorite Mayo Belwa. On the basis of the polarimetric albedo (p_v=0.45) and of photometric data, we estimated a diameter of about 320 m and a rotational period of about 2 hours. The analysis of the results obtained by our complete survey have shown that (144898) 2004 VD17 is a peculiar NEO, since it is close to the breakup limits for fast rotator asteroids, as defined by Pravec and Harris (2000). These results suggest that a more robust structure must be expected, as a fractured monolith or a rubble pile in a "strength regime" (Holsapple 2002).Comment: 32 pages, 7 figure, paper accepted for publication in Icaru

Enhancing Workflow with a Semantic Description of Scientific Intent

Peer reviewedPreprin