Jeff Magee

Analyzing Synchronous Distributed Algorithms (2008)

2004. His research interests include rigorous techniques for requirements engineering; software specification, design and analysis; and software architectures, particularly as applied to distributed...

Jeff Magee

Abstract. Synchronous distributed systems are those in which there is assumed to be a known upper bound on each processing step, a known upper bound on message transmission and processes have...

Towards Self-Management in Service-oriented Computing with Modes (2008)

Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee

Abstract. A self-managed system is both self-assembling and selfhealing. Service-oriented Computing (SoC) architectures, such as a Web Services Architecture (WS-A) illustrate a highly distributed,...

Synthesis of Behavioral Models from Scenarios Sebastian Uchitel, Member, IEEE Computer Society, Jeff Kramer, Member, IEEE Computer Society, (2008)

1 Mobile computing, wireless communications, and cheap location tracking and navigation systems have made lo-cation data a valuable and available commodity for many different kinds of computing...

Jeff Magee

Abstract—Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as part of a requirements specification. A scenario is a partial story, describing how system components,...

Exploiting Architecture in Scenario-Based Model Synthesis (2008)

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task that requires expertise in formal languages and their semantics. Our aim is to support...

Fluent-Based Web Animation: Exploring Goals for Requirements Validation (2008)

Robert Chatley, Sebastian Uchitel, Jeff Kramer, Jeff Magee

We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. They are decomposed...

Construction and Management of Highly Available Services in Open Distributed Systems (2008)

Visual Methods for Web Application Design (2008)

The paper addresses the problem of the construction and management of highly available services in large, open distributed systems. A novel replication protocol is proposed to satisfy two fundamental...

Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel

The paper outlines a tool-supported approach to the design of Web applications. Behavioural models are augmented with web-based simulations of user interfaces to permit validation and usability...

Reviewers (2008)

Henry Muccini, Henry Muccini, Paola Inverardi (advisor, Antonia Bertolino, Debra J. Richardson, Mary Jean Harrold, ...

Thanks to Paola, who taught me patience in work, the capacity of self-sacrifice, and the wish to grow up. Thanks to Antonella, who gave me professional and personal support, and showed me that it is...

08031 -- Software Engineering for Self-Adaptive Systems: A Research Road Map (2008)

Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio, Andersson, Jesper, ...

Software's ability to adapt at run-time to changing user needs, system intrusions or faults, changing operational environment, and resource variability has been proposed as a means to cope with the...

08031 Abstracts Collection -- Software Engineering for Self-Adaptive Systems (2008)

Cheng, Betty H.C., Giese, Holger, Inverardi, Paola, Magee, Jeff, De Lemos, Rogerio

From 13.01. to 18.01.2008, the Dagstuhl Seminar 08031 ``Software Engineering for Self-Adaptive Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During...

Leveraging Modes and UML2 for Service Brokering Specifications (2008)

Howard Foster, Sebastian Uchitel, Jeff Kramer, Jeff Magee

Abstract. A Service-Oriented Computing (SoC) architecture consists of a number of collaborating services to achieve one or more goals. Traditionally, the focus of developing services (as components)...

Avisualapproach To Distributed Programming (2007)

Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay

The Software Architect's Assistant is a visual programming environment for the design and development of Regis distributed programs. It provides the user with automated, intelligent assistance...

Construction and Management of Highly Available Services in Open Distributed Systems (2007)

MP: A Programming Environment for Multicomputers (2007)

The paper addresses the problem of the construction and management of highly available services in large, open distributed systems. A novel replication protocol is proposed to satisfy two fundamental...

N. Topham, R. Ibbett, T Bemmerl (editors, Jeff Magee, Naranker Dulay

MP is a programming environment for message passing parallel computers. Programs are constructed in MP from hierarchically structured configurations of process types. These process configurations are...

Sequence Diagrams (2007)

Sebastian Uchitel, Jeff Magee, Jeff Kramer

The software engineering community has long understood the importance of requirements elicitation. Stakeholder involvement in the elicitation process and tools to help build a common ground between...

1. Abstract SceneBeans: A Component-Based Animation Framework for Java (2007)

Nat Pryce, Jeff Magee

DRAFT VERSION This paper presents SceneBeans, a framework for building two-dimensional, interactive animations from Java Beans components. A SceneBeans animation is defined as “scene graph”, a...

LTSA-BPEL4WS: Tool Support for Model-based Verification of Web Service Compositions (2007)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

We present a tool which supports a model-based approach to verifying web service compositions for web service implementations. The approach provides verification against specification models and...

Translating FSP into LOTOS and Networks of Automata (2007)

Salaun, Gwen, Kramer, Jeff, Lang, Frederic, Magee, Jeff

Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of them are incompatible...

Translating FSP into LOTOS and Networks of Automata (2007)

Salaun, Gwen, Kramer, Jeff, Lang, Frederic, Magee, Jeff

Many process calculi have been proposed since Robin Milner and Tony Hoare opened the way more than 25 years ago. Although they are based on the same kernel of operators, most of them are incompatible...

Modes for software architectures (2006)

Dan Hirsch, Jeff Kramer, Jeff Magee, Sebastian Uchitel

Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect to or detach from...

Model-based analysis of obligations in web service choreography (2006)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of Message Sequence...

LTSA-WS: a tool for modelbased verification of web service compositions and choreography (2006)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we describe a tool for a model-based approach to verifying compositions of web service implementations. The tool supports verification of properties created from design specifications...

A Rigorous Approach to Engineering Web Service Compositions (2006)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated service-oriented...

LTSA-WS: a tool for modelbased verification of web service compositions and choreography (2006)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we describe a tool for a model-based approach to verifying compositions of web service implementations. The tool supports verification of properties created from design specifications...

Adaptable software architectures and task synthesis for uavs (2006)

Howard Foster, Jeff Magee, Jeff Kramer, Sebastian Uchitel

In this paper we outline a framework for an adaptable architecture in which services are provided by components and components are interconnected to support more complex services. The use of...

Towards specification, modelling and analysis of fault tolerance in self managed systems (2006)

Jeff Magee

In this paper we describe initial ideas about modeling and analyzing fault tolerance mechanisms in self managed/self healing systems. Specifications are component based, with coordination mechanisms...

Tool Support for Model-Based Engineering of Web Service Compositions," presented at (2005)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we describe tool support for a modelbased approach to verifying compositions of web service implementations. The tool supports verification of properties created from design...

Fluent temporal logic for discrete-time in event-based models (2005)

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and statebased...

Fluent temporal logic for discrete-time in event-based models (2005)

Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel

Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and statebased...

Incremental Elaboration of Scenario-based Specifications and Behavior Models using Implied Scenarios (2004)

Sebastian Uchitel, Jeff Kramer, Jeff Magee

Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model...

System architecture: the context for scenario-based model synthesis (2004)

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide simple, intuitive,...

Compatibility verification for web service choreography (2004)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we discuss a model-based approach to verifying process interactions for coordinated web service compositions. The approach uses finite state machine representations of web service...

MagicBeans: a Platform for Deploying Plugin Components (2004)

Robert Chatley, Susan Eisenbach, Jeff Magee

Plugins are optional components which can be used to enable the dynamic construction of flexible and complex systems, passing as much of the configuration management effort as possible to the system...

System architecture: the context for scenario-based model synthesis (2004)

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide simple, intuitive,...

Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation (2004)

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually want. Rather than...

Model-based Simulation of Web Applications for Usability Assessment (2003)

Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel

In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the system at the...

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (2003)

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Abstract. We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied...

Model-based verification of web service compositions (2003)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. The approach supports verification against specification models and assigns...

Model-based verification of web service compositions (2003)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification and assigns semantics on the behavior of...

Model-based Verification of Web Service Compositions (2003)

Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer

In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. This approach provides verification of properties created from design...

Model-based Simulation of Web Applications for Usability Assessment (2003)

Robert Chatley, Jeff Kramer, Jeff Magee, Sebastian Uchitel

In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the system at the...

Fluent Model Checking for Event-based Systems (2003)

Dimitra Giannakopoulou, Jeff Magee

Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in which atomic...

LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios (2003)

Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee

Abstract. We present a tool that supports the elaboration of behaviour models and scenario-based specification by providing scenario editing, behaviour model synthesis, and model checking for implied...

Detecting implied scenarios in message sequence chart specifications (2001)

Sebastian Uchitel, Jeff Kramer, Jeff Magee

Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system components, the...

Hybrid model visualization in requirements and design: A preliminary investigation (2000)

Jeff Magee, Jeff Kramer, Bashar Nuseibeh, David Bush, Julia Son

This paper reports on a preliminary investigation into applying work on graphic animation of behavioral models to an air traffic control case study – the National Air Traffic Services (NATS) Short...

Graphical Animation of Behavior Models (2000)

Jeff Magee, Nat Pryce, Dimitra Giannakopoulou, Jeff Kramer

Graphical animation is a way of visualizing the behavior of design models. This visualization is of use in validating a design model against informally specified requirements and in interpreting the...

Checking Progress with Action Priority: Is it Fair (1999)

Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer

Abstract. The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice. To...

Client-Access Protocols for Replicated Services (1999)

Behaviour Analysis of Software Architectures (1999)

The paper addresses the problem of client--service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on the synchronisation...

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

: The overall structure of a system described by a set of components and their interconnections is termed its software architecture. In this paper, we associate behavioural specifications with...

Checking Progress with Action Priority: Is it Fair? (1999)

Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer

. The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of explicitly modelling fairness constraints is complicated in practice. To address this...

Client--Access Protocols for Replicated Services (1999)

Christos Karamanolis Jeff, Jeff Magee

The paper addresses the problem of replicated service provision in distributed systems. Existing systems that follow the State Machine approach concentrate on the synchronisation of the server...

Fairness and Priority in Progress Property Analysis (1999)

Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer

. The liveness characteristics of a system are intimately related to the notion of fairness. However, the task of modelling explicitly fairness constraints is complicated in practice. To address this...

Client-Access Protocols for Replicated Services (1999)

Client-Access Protocols for Replicated Services (1999)

The paper addresses the problem of replicated service provision in distributed systems. Existing systems that follow the State Machine approach concentrate on the synchronisation of the server...

Client-Access Protocols for Replicated Services (1999)

The paper addresses the problem of client--service interaction in the case of replicated service provision. Existing systems that follow the State Machine approach concentrate on the synchronisation...

Analysing Dynamic Change in Software Architectures: A case study (1998)

The paper addresses the problem of replicated service provision in distributed systems. Existing systems that follow the State Machine approach concentrate on the synchronisation of the server...

Security Considerations for a Distributed Location Service (1998)

The software architecture of a system is the overall structure of the system in terms of its constituent components and their interconnections. Dynamic changes to the instantiated system architecture...

Security Considerations for a Distributed Location Service (1998)

Mobile computing, wireless communications, and cheap location tracking and navigation systems have made location data a valuable and available commodity for many different kinds of computing...

Authors Ulf Leonhardt, Ulf Leonhardt, Jeff Magee

Mobile computing, wireless communications, and cheap location tracking and navigation systems have made location data a valuable and available commodity for many different kinds of computing...

Security Considerations for a Distributed Location Service (1998)

Multi-Sensor Location Tracking (1998)

Mobile computing, wireless communications, and cheap location tracking and navigation systems have made location data a valuable and available commodity for many different kinds of computing...

Analysing the Behaviour of Distributed Software Architectures: A Case Study (1997)

In order to support location-aware applications it is necessary to locate people and equipment in near real-time. To avoid unnecessary exposure of details of the underlying tracking and positioning...

Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou

A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavioural specifications...

Exposing the Skeleton in the Coordination Closet (1997)

Composing Distributed Objects in CORBA (1997)

One of the ways in which we cope with large and complex systems is to abstract away some of the detail, considering them at an architectural level as compositions of interacting components. To this...

Jeff Magee, Andrew Tseng, Jeff Kramer

The paper addresses the problem of structuring and managing large distributed systems constructed from many distributed objects. Specifically, the paper proposes a component model which can be used...

Exposing the Skeleton in the Coordination Closet (1997)

Jeff Kramer And, Jeff Kramer, Jeff Magee

One of the ways in which we cope with large and complex systems is to abstract away some of the detail, considering them at an architectural level as compositions of interacting components. To this...

Towards A General Location Service For Mobile Environments (1996)

Location Service in Mobile Computing Environments (1996)

With the advent of mobile computing devices and cheap location sensing systems, location information has become an important resource both for mobile and ‘desktop ’ users. In this paper, we...

Ulf Leonhardt, Jeff Magee, Paul Dias

With the advent of mobile computing devices and cheap location sensing systems, location information has become an impotant resource both for mobile and 'desktop users'. In this paper, we...

A Visual Approach To Distributed Programming (1996)

Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay

The Software Architect's Assistant is a visual programming environment for the design and development of Regis distributed programs. It provides the user with automated, intelligent assistance...

Dynamic structure in software architectures (1996)

Jeff Magee, Jeff Kramer

Much of the recent work on Architecture Description Languages (ADL) has concentrated on specifying organisations of components and connectors which are static. When the ADL specification is used to...

Design Patterns for Binding in Distributed Systems (1995)

Stephen Crane, Jeff Magee, Nat Pryce

The paper reports on the design patterns we have found useful in Regis, a toolkit for constructing distributed applications. Regis supports the construction of a system from a set of components....

Configurable Highly Available Distributed Services (1995)

System Structuring: A Convergence of Theory and Practice? (1995)

This paper has described an architecture to support configurable highly available services. We have concentrated on the requirement of supporting large client sets. The next stage of the work...

Jeff Magee, Susan Eisenbach, Jeff Kramer

Darwin is a general purpose structuring tool of use in building complex distributed systems from diverse components and diverse component interaction mechanisms. It is in essence a declarative...

Configurable Highly Available Distributed Services (1995)

The software architect's assistant -- a visual environment for distributed programming (1995)

This paper has described an architecture to support configurable highly available services. We have concentrated on the requirement of supporting large client sets. The next stage of the work...

Keng Ng, Jeff Kramer, Jeff Magee, Naranker Dulay

This paper describes current work on the application of visual techniques to the design and construction ofparallel ana’distn’butedprograms. In particular, we look at how the sofhvare...

A Constructive Development Environment for Parallel and Distributed Programs (1994)

Specifying Distributed Software Architectures (1994)

Regis is a programming environment aimed at supporting the development and execution of parallel and distributed programs. It embodies a constructive approach to the development of programs based on...

Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer

. There is a real need for clear and sound design specifications of distributed systems at the architectural level. This is the level of the design which deals with the high-level organisation of...

SYSMAN PROJECT (7026) Configuration Management for Distributed Systems (1994)

Stephen Crane, Jeff Magee, Morris Sloman, Kevin Twidle

: This document fulfills SYSMAN project's deliverable CM 1.1 V2. It describes how configuration management will be performed in a domain-based management environment, and the required graphical...

Regis: A Constructive Development Environment for Distributed Programs (1994)

Structuring Parallel and Distributed Programs (1993)

Regis is a programming environment aimed at supporting the development and execution of distributed programs. It embodies a constructive approach to the development of programs based on separating...

The System Architect's Assistant for Design and Construction of Distributed Systems (1993)

The paper presents a structuring language, The paper presents a structuring language, Darwin Darwin , which allows distributed , which allows distributed and parallel programs to be structured in...

Jeff Kramer, Jeff Magee, Keng Ng, Morris Sloman

Distributed systems are conveniently described, constructed and managed in terms of their software structure or architecture. However few current platforms exploit the architectural view. This paper...

Configuring Object-Based Distributed Programs in REX (1992)

Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay

The popularity of the object oriented programming paradigm has stimulated The popularity of the object oriented programming paradigm has stimulated research into its use for parallel and distributed...

Constructive Communication in MP (1992)

A Configuration Approach to Parallel Programming (1991)

MP is a programming environment for message passing parallel computers. The paper describes the basic set of communication primitives provided by MP and paper describes the basic set of communication...

Jeff Magee, Naranker Dulay

This paper advocates a configuration approach to parallel programming for This paper advocates a configuration approach to parallel programming for distributed memory multicomputers, in particular,...

ESPRIT CONFERENCE 91 Project Nr. 2080 (1991)

Nr An, Jeff Kramer, Jeff Magee, Morris Sloman, Naranker Dulay, Sc. Cheung, ...

Configuration Programming is an object-based approach to distributed programming. Configuration Programming is an object-based approach to distributed programming. The main principle underlying this...

An Overview of the REX Software Architecture (1990)

Jeff Magee, Jeff Kramer, Morris Sloman, Naranker Dulay

This paper describes the software architecture currently under development This paper describes the software architecture currently under development for REX, a project supported by the European...

Towards Unifying Fault and Change Management (1990)

Jeff Kramer, Jeff Magee, Andrew Young

A basic model for dynamic change management has been proposed which permits changes to A basic model for dynamic change management has been proposed which permits changes to be be specified specified...

The Evolving Philosophers Problem: Dynamic Change Management. (1990)