Control and data flow compatibility in the interaction between dynamic business processes

In the coming years, one of the challenges for business processes is to obtain a high degree of flexibility and ability to adapt to the changing contexts. Two key elements for achieving this are the use of Semantic Web technologies and the possibility of decoupling the business and the interaction aspects in a business process. Nevertheless, these solutions open up new challenges related to the necessity of checking whether a set of processes can successfully cooperate. Compatibility questions should be considered from a control flow point of view (the order of the interactions should be appropriate) and also from a data flow point of view (the information exchanged should be—semantically—adequate). In this paper, we concentrate on the compatibility of a set of processes executed in DENEB, a platform for the Development and ExecutioN of wEB processes based on the Net‐within‐Nets formalism and that follows a conversational approach. More specifically, this paper examines whether a set of interactions among a set of processes is compatible and also whether a given (imposed) interaction logic is compatible with a given business logic. Processes and their interactions have been semantically enhanced by means of domain ontologies and compatibility questions are studied using standard Petri net analysis techniques. Copyright © 2010 John Wiley & Sons, Ltd.     

Facilitating the Rapid Development and Scalable Orchestration of Composite Web Services

The development of new Web services through the composition of existing ones has gained a considerable momentum as a means to realise business-to-business collaborations. Unfortunately, given that services are often developed in an ad hoc fashion using manifold technologies and standards, connecting and coordinating them in order to build composite services is a delicate and time-consuming task. In this paper, we describe the design and implementation of a system in which services are composed using a model-driven approach, and the resulting composite services are orchestrated following a peer-to-peer paradigm. The system provides tools for specifying composite services through statecharts, data conversion rules, and multi-attribute provider selection policies. These specifications are interpreted by software components that interact in a peer-to-peer way to coordinate the execution of the composite service. We report results of an experimental evaluation showing the relative advantages of this peer-to-peer approach with respect to a centralised one.     

Ease of interaction plus ease of integration: Combining Web2.0 and the Semantic Web in a reviewing site

Web2.0 has enabled contributions to the Web on an unprecedented scale, through simple interfaces that provide engaging interactions. This wealth of data has spawned countless mashups that integrate heterogenous information, but using techniques that will not scale beyond a handful of sources. In contrast, the Semantic Web provides the key to large-scale data integration, yet still lacks approachable interfaces allowing contributions from non-specialists. In this paper we present Revyu, a reviewing and rating site in the Web2.0 mould that is built on Semantic Web infrastructure and both publishes and consumes linked RDF data. This combination of approaches affords ease of interaction for regular users and ease of integration with external data sources.     

Modelling of extremal fuzzy dynamic systems: Part V. Optimization of continuous controllable extremal fuzzy processes and the choice of decisions

This work deals with the problems of optimization of continuous controllable extremal fuzzy processes that have been presented in parts I, II and III of the current paper. A separate consideration is given to the case where an extremal fuzzy control process acting on an extremal fuzzy dynamic system (EFDS) (i) depends and (ii) does not depend on an EFDS state.

Sufficient and necessary conditions for the existence of an optimal control are proved. Applying Bellman's optimality principle and assuming that the gain–loss process exists for an EFDS, a variant of the fuzzy integral representation of an optimal control is given for continuous EFDSs. This variant employs the instrument of extended extremal fuzzy composition measures constructed in parts I and II of this work.

Finally, the questions of defining a fuzzy gain relation for an EFDS are considered, taking into account the available expert knowledge on the EFDS subject matter.     

Reflections on interdisciplinary team development for the design of a platform for computer supported collaborative play

The Constructed Narratives project has been designed for use in public spaces where there is the opportunity for individuals and groups of people, who are not acquainted with each other, to encounter the game and subsequently each other. The goal is to provide a platform that supports discourse in environments where ‘keeping comfortable distance’ between oneself and others is the norm. The system framework developed for this project can be applied for use in computer supported collaborative learning (CSCL), and collaborative design activities in the tradition of computer supported collaborative work (CSCW). The current domain explored in the Constructed Narratives project is computer systems designed to enable shared experience through play, or computer supported collaborative play (CSCP). This paper examines the learner-centred design methodologies used for the development of the physical artifacts and underlying software and hardware system architecture for the Constructed Narratives project. The design methodology demonstrates how an interdisciplinary team of artists, designers, and technologists can exploit the opportunities inherent in this ‘symmetry of ignorance’ to find solutions for multiple wicked design problems that can arise during the development of an integrated software and hardware system.     

Model‐to‐model and model‐to‐text: looking for the automation of VigilAgent

VigilAgent is a methodology for the development of agent‐oriented monitoring applications that uses agents as the key abstraction elements of the involved models. It has not been developed from scratch, but it reuses fragments from Prometheus and INGENIAS methodologies for modelling tasks and the ICARO framework for implementation purposes. As VigilAgent intends to automate as much as possible the development process, it exploits. Model transformation techniques are one of the key aspects of the model‐driven development approach. A model‐to‐model transformation is used to facilitate the interoperability between Prometheus and INGENIAS methodologies. Also, a model‐to‐text transformation is performed to generate ICARO code from the INGENIAS model. A case study based on access control is used to illustrate the fundamentals of the model‐to‐model and model‐to‐text transformations implemented in VigilAgent.     

On Taylor series expansions for waiting times in tandem queues: an algorithm for calculating the coefficients and an investigation of the approximation error

Recently, a Taylor series expansion was developed for expected stationary waiting times in open (max,+)-linear stochastic systems with Poisson input process; these systems cover various instances of queueing networks.As an application, we present an algorithm for calculating the coefficients for infinite capacity tandem queueing networks with discrete service-time distributions. The algorithm works quite efficiently if the random vector of the service times of all servers is concentrated at a small number of atoms. We investigate the relative error of the Taylor approximation by simulation; in many cases, it follows very well a simple expression which holds exactly for independent, exponentially distributed servers.     

Evolutionary development: a model for the design,implementation, and evaluation of ICT for education programmes

The impact of information and communication technology (ICT) in primary and secondary education is still an open question. Following review of the available literature, we classify the causes of the lack of impact on students' attainment in four dimensions: (1) the design and implementation of ICT in educational settings; (2) the evaluation of its impact; (3) the scaling up of these kinds of innovations; and (4) the cost‐effectiveness of technology‐enhanced learning environments. Based on this evidence, we proposed the evolutionary development model (EDM), which aims to produce a cost‐effective and sustainable ICT for education (ICT4E) programme in three steps: efficacy, effectiveness, and efficiency. In each step, one component of the programme is built and validated in real educational settings. Therefore, the resultant ICT4E programme is ready to be replicated across the school system. We also show how the EDM guided the development of a programme based on mobile computer supported collaborative learning, known as Eduinnova. Finally, we discuss how EDM can serve as an analysis tool for researchers and policy makers.