This paper presents a new methodology for the hierarchical design of embedded systems including jitter for quality-of-service (QoS). Hierarchical top-down design requires that the specifications for the systems must be translated into specifications for the components such that, when the components are implemented to meet their specifications, the system will also meet its specifications. In a ...

Current models for software components have made component-based software engineering practical. However, these models are limited in the sense that their support for the characterization/specification of design components primarily deals with syntactic issues. To avoid mismatch and misuse of components, more comprehensive specification of software components is required, In this paper, we pres...

The platform-based design methodology [1] is based on the usage of formal modeling techniques, clearly defined abstraction levels and the separation of concerns to enable an effective design process. The METROPOLIS framework embodies the platform-based design methodology and has been applied to a number of case studies across multiple domains. Based on these experiences, we have identified thre...

This paper presents a summary of relevant research findings that have been used as the theoretical background in the design of an agent-based model to simulate the human behaviour within work teams (the TEAKS model). It underlines some of the main trends in the modelling of human behaviour in teams, and the rationale for selecting the attributes to represent real team candidates as software age...

This paper provides a design rationale for a mechanism that enforces a correct mapping between a model of a nested agent organisation and a model of a composite interaction-based business process. We use an example that is typical for semi-structured workflows to illustrate the features of this mechanism. The mapping is realised through an isomorphism between two formal belief structures. The m...

Enjoyment and experience-based activities are important in today’s society. The purpose of this paper is to explore and better understand how experiences can be enhanced using IS in such experience-based enterprises. The research is based on a case study conducted in collaboration with a Swedish regional museum, where a location-aware auditory museum application for experience enhancement is be...

On-the-fly replacement of software may require simultanous distributed updates of components. If an update changes some interfaces or protocols, the update must be performed in a globally consistent manner. This paper describes an architecture of a dynamically updatable component-based system that unifies research within architecture definitions, architecture configuration, and dynamic software...