Jeff Kramer

Plan-Directed Architectural Change For Autonomous Systems (2008)

Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it purely a matter of intelligence? Is it possible to...

Daniel Sykes, William Heaven, Jeff Magee, Jeff Kramer

Autonomous systems operate in an unpredictable world, where communication with those people responsible for its software architecture may be infrequent or undesirable. If such a system is to continue...

Self-managed Adaptable Software Architecture for UAVs: a Testbed (2008)

Will Heaven, Daniel Sykes, Jeff Magee, Jeff Kramer

The paper outlines a three-layer architecture for adaptable software for UAVs. In the bottom level of this architecture, services are provided by components and the set of services is assembled and...

The Koala Component Model for Consumer (2008)

Frank Van Der, Jeff Kramer, Jeff Magee

Electronics Software A component-oriented approach is an ideal way to handle the diversity of software in consumer electronics. The Koala model, used for embedded software in TV sets, allows late...

DOI 10.1007/s00766-005-0024-3 ORIGINAL ARTICLE (2008)

Sebastian Uchitel, Æ Robert Chatley, Jeff Kramer, Æ Jeff Magee

Abstract Scenarios and goals are effective techniques for requirements definition. Goals are objectives that a system has to meet. They are elaborated into a structure that decomposes declarative...

Synthesizing Concurrency Control Components from Process Algebraic Specifications (2008)

Edoardo Bontà, Marco Bernardo, Jeff Magee, Jeff Kramer

Abstract. Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to that, such...

ViewPoint Oriented Software Development Abstract (2008)

Anthony Finkelstein, Jeff Kramer, Michael Goedicke

In this paper we propose a new approach to software development which explicitly avoids the use of a single representation scheme or common schema. Instead, multiple ViewPoints are utilised to...

Model Checking Service Compositions under Resource Constraints ABSTRACT (2008)

Howard Foster, Wolfgang Emmerich, Jeff Kramer, Jeff Magee, David Rosenblum, Sebastian Uchitel

When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerably as we had...

Fellow of the BCS. (2008)

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

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

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,...

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...

0 Abstract Requirements Engineering Through Viewpoints (2008)

Anthony Finkelstein, Steve Easterbrook, Jeff Kramer, Bashar Nuseibeh

This paper provides a short review of contributions to a better understanding of requirements

Background (2008)

Dimitra Giannakopoulou, Jeff Kramer, Shing Chi Cheung

Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where complex interactions can...

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...

Is abstraction the key to computing (2008)

The First International Workshop From Software (2008)

Why is it that some software engineers and computer scientists are able to produce clear, elegant designs and programs, while others cannot? Is it possible to improve these skills through education...

Jaelson Castro, Jeff Kramer

Imperial College, (2008)

REVERSE ENGINEERING OF DISTRIBUTED SYSTEM ARCHITECTURE – A CASE STUDY (2008)

Component-based software construction is widely used in a variety of applications, from embedded environments to grid computing. However, errors in these applications and systems may have severe...

Visual Methods for Web Application Design (2008)

O entendimento efetivo de um sistema de software muitas vezes exige que

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...

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...

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)...

Distributed Software Engineering - Invited State-of-the-Art Report (2007)

Avisualapproach To Distributed Programming (2007)

The term "Distributed Software Engineering" is ambiguous 1 . It includes both the engineering of distributed software and the process of distributed development of software, such as...

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...

Checking and Correcting Safety Properties using Compositional Reachability Analysis (2007)

Shing Chi Cheung, Shing Chi, Jeff Kramer

The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional...

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...

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...

Developing an Integrative Platform for Cancer Research: a Requirements Engineering Perspective (2006)

Vito Perrone, Anthony Finkelstein, Leah Goldin, Jeff Kramer, Helen Parkinson, Fiona Reddington

The NCRI Informatics Initiative has been established with the goal of using informatics to maximise the impact of cancer research. A clear foundation to achieving this goal is to enable the...

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...

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...

Abstraction - is it teachable? (2003)

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...

Viewpoints: meaningful relationships are difficult (2003)

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

The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the process by which it is...

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...

An abductive approach for analysing event-based requirements specifications (2002)

Russo, Alessandra, Miller, Rob, Nuseibeh, Bashar, Kramer, Jeff

We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system's reaction to events and safety properties. The approach uses...

An abductive approach for analysing event-based requirements specifications (2002)

Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer

We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system’s reaction to events and safety properties. The approach...

An abductive approach for analysing event-based requirements specifications (2002)

Ra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer

Abstract. We present a logic and logic programming based approach for analysing event-based requirements specifications given in terms of a system’s reaction to events and safety properties. The...

An approach for recovering distributed system architectures (2001)

Detecting implied scenarios in message sequence chart specifications (2001)

Abstract. Reasoning about software systems at the architectural level is key to effective software development, management, evolution and reuse. All too often, though, the lack of appropriate...

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...

Software engineering: a roadmap (2000)

Anthony Finkelstein, Jeff Kramer

This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from the key research...

An Abductive Approach for Handling Inconsistencies in SCR Specifications (2000)

Alessandra Russo, Rob Miller, Bashar Nuseibeh, Jeff Kramer

We present a formal approach for handling inconsistencies in Software Cost Reduction (SCR) specifications. The approach uses an event-based logic, called the Event Calculus, to represent SCR mode...

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...

Software engineering: a roadmap (2000)

Anthony Finkelstein, Jeff Kramer

This paper provides a roadmap for software engineering. It identifies the principal research challenges being faced by the discipline and brings together the threads derived from the key research...

Checking safety properties using compositional reachability analysis (1999)

Behaviour analysis of distributed systems using the tracta approach (1999)

The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional...

Giannakopoulou, Dimitra, Kramer, Jeff, Cheung, Shing-Chi

Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where complex interactions can...

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...

Behaviour Analysis of Software Architectures (1999)

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...

Component Module Classification for Distributed Software Understanding (1999)

Restructuring Requirements Specifications (1999)

Effective analysis and evolution of existing distributed software systems rely to great an extent on the ability to recognise implemented executable components, particularly their constituent...

Alessandra Russo, Bashar Nusbeibeh, Jeff Kramer

This paper describes our experiences in restructuring multi-perspective requirements specifications in order to facilitate the identification and analysis of inconsistencies and the management of...

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...

Restructuring requirements Specifications for Managing Inconsistency and Change: A Case Study (1998)

Ra Russo, Bashar Nuseibeh, Jeff Kramer

This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and...

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

Restructuring Requirements Specifications for Inconsistency Analysis: A Case Study (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...

Alessandra Russo, Bashar Nuseibeh, Jeff Kramer

This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse possible or existing inconsistencies. A partial, heterogeneous and...

Developing an Approach for the Recovery of Distributed Software Architectures (1998)

Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study (1998)

The extraction of high-level architectural information from existing software systems, or architecture recovery, is a recent research area. This paper presents X-RAY, an approach for recovering...

Alessandra Russo, Bashar Nuseibeh, Jeff Kramer

This paper describes our experiences in restructuring multi-perspective requirements speci#cations in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and...

Restructuring Requirements Specifications for Managing Inconsistency and Change: A Case Study (1998)

Alessandra Russo, Bashar Nuseibeh, Jeff Kramer

This paper describes our experiences in restructuring multi-perspective requirements specifications in order to identify and analyse inconsistencies and manage change. A partial, heterogeneous and...

An Experiment in Distributed Software Architecture Recovery (1998)

Verification of liveness properties using compositional reachability analysis (1997)

We describe an architecture recovery experiment performed on a distributed software system. Our main aim was to identify those situations in which existing reverse engineering techniques could be...

Cheung, Shing-Chi, Giannakopoulou, Dimitra, Kramer, Jeff

The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional...

Tracta : an environment for analysing the behaviour of distributed systems (1997)

Giannakopoulou, Dimitra, Kramer, Jeff, Cheung, Shing-Chi

Particular emphasis needs to be placed on the integration of analysis techniques with other software development activities, to form a complete environment for the design and construction of...

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

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...

A Quality-Based Analysis of Architecture Recovery Environments (1997)

Exposing the Skeleton in the Coordination Closet (1997)

Architecture recovery is a recent research area which aims at providing reverse engineering technologies to extract high-level architectural information from the source code of legacy systems. In...

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...

Incorporating verification of liveness properties in compositional reachability analysis (1996)

Cheung, Shing-Chi, Giannakopoulou, Dimitra, Kramer, Jeff

The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional...

Checking subsystem safety properties in compositional reachability analysis (1996)

Context constraints for compositional reachability analysis (1996)

The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with interacting processes as the leaves of the hierarchy. Process behaviour can be...

Maintaining Node Consistency in the Face of Dynamic Change (1996)

Behaviour analysis of complex distributed systems has led to the search for enhanced reachability analysis techniques which support modularity and which control the state explosion problem. While...

Kaveh Moazami Goudarzi, Jeff Kramer

With the increasing demand for long running and highly available distributed services, interest in systems which can undergo dynamic reconfiguration has risen. However for dynamic change to yield...

Maintaining Node Consistency in the Face of Dynamic Change (1996)

Kaveh Moazami Goudarzi, Jeff Kramer

With the increasing demand for long running and highly available distributed services, interest in systems which can undergo dynamic reconfiguration has risen. However for dynamic change to yield...

Requirements for an Effective Architecture Recovery Framework (1996)

A Visual Approach To Distributed Programming (1996)

In this paper we discuss how some limitations of current reverse engineering approaches prevent them from recovering architectures effectively from legacy systems. We classify several reverse...

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...

Incorporation of Context Constraints for Compositional Reachability Analysis (1996)

Shing-chi Cheung, Jeff Kramer, Shing Chi, Cheung Jeff Kramer

Behaviour analysis of complex distributed systems has led to the search for enhanced reachability analysis techniques which support modularity and which control the state explosion problem. While...

Incorporating Verification of Liveness Properties in Compositional Reachability Analysis (1996)

Shing-chi Cheung, Dimitra Giannakopoulou, Jeff Kramer

The software architecture of a distributed program can be represented by a hierarchical composition of subsystems, with interacting processes at the leaves of the hierarchy. Compositional...

Method Engineering for Multi-Perspective Software Development (1996)

Dynamic structure in software architectures (1996)

This paper examines the role of the method engineer in the context of multi-perspective software development. Such development is characterised by the existence of multiple development participants...

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...

Context constraints for automated compositional reachability analysis (1995)

Checking subsystem safety properties in compositional reachability analysis (1995)

Behaviour analysis of complex concurrent systems has led to the search for enhanced reachability analysis techniques which support modularity and which control the state explosion problem. While...

Integrated behaviour analysis of distributed systems (1995)

The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with interacting processes as the leaves of the hierarchy. Process behaviour can be...

Compositional reachability analysis of finite-state distributed systems with user-specified constraints (1995)

Behaviour analysis is useful at all stages in the design and maintenance of well-behaved distributed systems. Dataflow and reachability analyses are two orthogonal but complementary behaviour...

Contextual Local Analysis for Design of Distributed Systems (1995)

The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with interacting processes as the leaves of the hierarchy. Process behaviour can be...

Shing Chi Cheung, Shing Chi, Jeff Kramer

Compositional Reachability Analysis is a popular technique for studying behaviour of finitestate distributed systems. The technique is applied by a repetition of local analyses, the basic steps to...

Decentralised Process Enactment (1995)

Ulf Leonhardt, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh

The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We investigate the use of...

Decentralised Process Enactment in a Multi-Perspective Development Environment (1995)

Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh, Anthony Finkelstein

The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. Weinvestigate the use of...

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

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...

Context Constraints for Automated Compositional Reachability Analysis (1995)

Shing-chi Cheung, Jeff Kramer, Shing Chi, Cheung Jeff Kramer

Behaviour analysis of complex concurrent systems has led to the search for enhanced reachability analysis techniques which support modularity and which control the state explosion problem. While...

Decentralised Process Enactment in a Multi-Perspective Development Environment (1995)

Ulf Leonhardt, Jeff Kramer, Bashar Nuseibeh, Anthony Finkelstein

The ViewPoints framework for distributed and concurrent software engineering provides an alternative approach to traditional centralised software development environments. We investigate the use of...

Decentralised Process Modelling (1995)

Bashar Nuseibeh, Jeff Kramer, Anthony Finkelstein, Ulf Leonhardt

. In this paper, we advocate decentralised process modelling and suggest that understanding and modelling the development processes of individual development participants is the key to supporting...

Compositional Reachability Analysis of Finite-State Distributed Systems with User-Specified Constraints (1995)

Shing-chi Cheung, Shing-chi Cheung, Jeff Kramer, Jeff Kramer

The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with interacting processes as the leaves of the hierarchy. Process behaviour can be...

Checking Subsystem Safety Properties in Compositional Reachability Analysis (1995)

Shing-chi Cheung, Shing-chi Cheung, Jeff Kramer, Jeff Kramer

The software architecture of a distributed system can be described as a hierarchical composition of subsystems, with interacting processes as the leaves of the hierarchy. Process behaviour can be...

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

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 Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

Abstract † Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably...

Inconsistency Handling in Multi-Perspective Specifications (1994)

Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited from...

Anthony Finkelstein, Dov Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh, A. Finkelstein, ...

Abstract. The development of most large and complex systems necessarily involves many people- each with their own perspectives on the system defined by their knowledge, responsibilities, and...

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

Bashat Nuseibeh, Jeff Kramer, Anthony Finkelstein

Composite systems generally comprise heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited from...

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

Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (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...

Steve Easterbrook School, Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh

this paper, we argue that striving to maintain complete consistency at

Co-ordinating Conflicting ViewPoints by Managing Inconsistency (1994)

Steve Easterbrook, Anthony Finkelstein, Jeff KRAMER, Bashar Nuseibeh

this paper. Several software engineering methods have been implemented using the tool, and experience with the process of method design has been valuable in refining our approach (Nuseibeh,...

Specifying Distributed Software Architectures (1994)

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...

Method Engineering for Multi-Perspective Software Development (1994)

Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (1994)

This paper examines the role of the method engineer in the context of multi-perspective software development. Such development is characterised by the existence of multiple development participants...

Steve Easterbrook School, Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh

this paper, we argue that striving to maintain complete consistency at

Co-ordinating Distributed ViewPoints: the anatomy of a consistency check (1994)

Steve Easterbrook, Steve Easterbrook, Anthony Finkelstein, Anthony Finkelstein, Jeff Kramer, Jeff Kramer, ...

this paper, we argue that striving to maintain complete consistency at

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

Co-ordinating Distributed ViewPoints: the Anatomy of a Consistency Check (1994)

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...

Steve Easterbrook, Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh

Support for Concurrent Engineering must address the "multiple... In this paper, we argue that striving to maintain complete consistency at all points in the development process is unnecessary,...

Inconsistency Handling in Multi-Perspective Specifications (1994)

Anthony Finkelstein, Dov M. Gabbay, A. Finkelstein, Jeff Kramer, Bashar Nuseibeh, D. Gabbay, ...

. The development of most large and complex systems necessarily involves many people - each with their own perspectives on the system defined by their knowledge, responsibilities, and commitments. To...

Method Engineering for Multi-Perspective Software Development (1994)

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

This paper examines the role of the method engineer in the context of multi-perspective software development. Such development is characterised by the existence of multiple development participants...

Inconsistency Handling in Multi-Perspective Specifications (1994)

+ Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited...

Dov Gabbay, Anthony Hunter, Jeff Kramer, Bashar Nuseibeh

Abstruct- The development of most large and complex sys-tems necessarily involves many people+ach with their own perspectives on the system defined by their knowledge, respon-sibilities, and...

A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification (1994)

A Framework for Expressing the Relationship Between Multiple Views in Requirements Specification (1994)

Abstract † Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably...

Fine-Grain Process Modelling (1993)

Abs&&-Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are...

Fine-Grain Process Modelling (1993)

In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the individual developer and...

Bashar Nuseibeh Anthony, Anthony Finkelstein, Jeff Kramer

In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the individual developer and...

Structuring Parallel and Distributed Programs (1993)

A Conceptual Framework for Evolving Software Processes (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...

Reidar Conradi, Christer Fernstrom, Alfonso Fuggetta, Anthony Finkelstein, Jeff Kramer, Bashar A. Nuseibeh

Software processes are complex entities that may last for long periods of time and are carried out through the interaction of humans and computerized tools. They need to continuously evolve in order...

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

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...

Fine-Grain Process Modelling (1993)

Process Modelling: A Critical Analysis (1992)

In this paper, we propose the use of fine-grain process modelling as an aid to software development. We suggest the use of two levels of granularity, one at the level of the individual developer and...

Anthony Finkelstein, Jeff Kramer, Matthew Hales

This paper uses a software development environment construction case study as a framework for a critical analysis of software process modelling. It outlines a research agenda based on this analysis. 1

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...

Process Modelling: a critical analysis (1992)

Anthony Finkelstein, Jeff Kramer, Matthew Hales

This paper uses a software development environment construction case study as a framework for a critical analysis of software process modelling. It outlines a research agenda based on this analysis....

Requirements Engineering Through Viewpoints (1992)

Anthony Finkelstein, Steve Easterbrook, Jeff Kramer, Bashar Nuseibeh

This paper provides a short review of contributions to a better understanding of requirements engineering arising from research at Imperial College. These contributions share a common theme - a focus...

Constructive Communication in MP (1992)

A Configurable Framework for Method and Tool Integration (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 Kramer, Anthony Finkelstein

There is an urgent need to provide a sound generic framework for method and tool integration, where many differing notations are used, software development is distributed and management support for...

A Configurable Framework for Method and Tool Integration (1991)

Jeff Kramer, Anthony Finkelstein

There is an urgent need to provide a sound generic framework for method and tool There is an urgent need to provide a sound generic framework for method and tool integration, where many differing...

TARA: Tool Assisted Requirements Analysis (1991)

Anthony Finkelstein, Jeff Kramer

The TARA Project conducted research into the provision of tool assistance for requirements analysis techniques. In particular it concentrated on automated support for three specific areas: active...

A Viewpoint-based Framework for Software Development Environments (1991)

Anthony Finkelstein, Jeff Kramer, Bashar Nuseibeh

This paper outlines a framework for "CASE tool" development and integration which supports distribution. Motivation The development of most large and complex systems necessarily involves...

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...

ViewPoint Oriented Software Development (1990)

Anthony Finkelstein, Jeff Kramer, Michael Goedicke

In this paper we propose a new approach to software development which explicitly avoids the use of a single representation scheme or common schema. Instead, multiple ViewPoints are utilised to...

Configuration Programming - A Framework for the Development of Distributable Systems (1990)

Towards Unifying Fault and Change Management (1990)

The underlying model commonly used to describe an application domain is that of processing The underlying model commonly used to describe an application domain is that of processing components,...

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)