1. An overview of the problem My aim is to trace the thinking-in-change (Noss & Hoyles, 1996) during the co-ordination of two epistemologically distinct faces of distribution. By co-ordination here, I refer to the connection between a data-centric perspective on distribution, which identifies distribution as an aggregated set of actual outputs, and a modelling perspective on distribution, which...

The introduction of regulations such as the Sarbanes-Oxley act requires companies to ensure that appropriate controls are implemented in their business applications. Implementing and validating compliance measures in ‘agile’ companies is time consuming, costly, errorprone and a maintenance-intensive task. This paper presents an approach towards dynamically adapting a Service Oriented Architectu...

Business regulations on enterprise applications cover both infrastructure and orchestration levels of the SOA environment. Thus, for a correct and efficient enforcement of such requirements, full integration among different enforcement middleware is necessary. Based on previous work [1], we make a comparison between enforcement capabilities at business and infrastructure level. Our contribution...

Service-Oriented architectures and Service-Oriented Computing are the most recent approaches aiming at facilitating the design and development of applications on distributed systems. The primary goal of this paper is to investigate how the construction of mobile services can benefit from the Service-Oriented paradigm. The paper provides an elucidation of the ServiceOriented architecture. A gene...

Leveraging service oriented programming paradigm would significantly affect the way people build software systems. However, to achieve this goal a solid software design methodology should be grounded on proper mathematical foundations, specific service-oriented principles, concepts and patterns. This paper contributes to the above goal proposing a lightweight, but complete, mathematical framewo...

The development of composite Web services is still not as simple as the original vision indicated. Currently, the designer of a composite service needs to consider many different design aspects at once. In this paper, we propose a modeling methodology based on UML which separates between the four concerns of structure, transactions, workflow, and security, each of which can be modeled by differ...

For the generic specification of protocols, goals, or workflows, many approaches to agentoriented modeling provide a concept of role. Roles abstract from the concrete agents involved in an interaction. They provide means for the evolution of agents and serve as components of agent design. Despite the wide-spread usage of roles in agent-oriented modeling, a systematic analysis of the different a...

This paper describes a proposal for the creation of a UML profile oriented to the intelligent tutoring systems project. In this paper we shall describe the proposed profile as well as its application into the modeling of the AMEA intelligent tutoring system.

We present a notion of module acquired from developing an algebraic framework for service-oriented modelling. More specifically, we give an account of the notion of module that supports the composition model of the SENSORIA Reference Modelling Language (SRML). The proposed notion is independent of the logic in which properties are expressed and components are programmed. Modules in SRML are ins...