Jeff Magee
YOU?
Author Swipe
View article: Translating FSP into LOTOS and networks of automata
Translating FSP into LOTOS and networks of automata Open
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 in practice. We aim at reducing the gap…
View article: Towards robust self-managed systems
Towards robust self-managed systems Open
Software is pervasive.It plays a part in every aspect of our lives, forming a significant part of every automated system or tool that we use, from washing machines to healthcare systems.Like the washing machine, some of these applications …
View article: 08031 Abstracts Collection – Software Engineering for Self-Adaptive Systems
08031 Abstracts Collection – Software Engineering for Self-Adaptive Systems Open
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 the seminar, several participants presen…
View article: Implied Scenario Detection in the Presence of Behaviour Constraints
Implied Scenario Detection in the Presence of Behaviour Constraints Open
Scenario-based specifications describe how independent components interact to provide system level behaviour. The specified system decomposition and system behaviour can give rise to implied scenarios, which are the result of specifying th…
View article: Detecting implied scenarios in MSCs using LTSA
Detecting implied scenarios in MSCs using LTSA Open
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 environment and users working concurrently intera…
View article: Who needs doctors? (panel session) (abstract only)
Who needs doctors? (panel session) (abstract only) Open
No abstract available.
View article: Checking progress with action priority
Checking progress with action priority Open
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 issue, we propose to check LTS (Labelled …
View article: Behavioral analysis of software architectures using LTSA
Behavioral analysis of software architectures using LTSA Open
Article Free Access Share on Behavioral analysis of software architectures using LTSA Author: Jeff Magee Department of Computing, Imperial College of Science, Technology and Medicine, 180 Queen's Gate, London SW7 2BZ, UK Department of Comp…
View article: Multi-sensor location tracking
Multi-sensor location tracking Open
Article Free Access Share on Multi-sensor location tracking Authors: Ulf Leonhardt Imperial College -Department, of Computing, 180 Queen's Gate, London SW7 2BZ, UK Imperial College -Department, of Computing, 180 Queen's Gate, London SW7 2B…
View article: Construction and management of highly available services in open distributed systems
Construction and management of highly available services in open distributed systems Open
This paper addresses the problem of constructing and managing highly available services for large, open distributed systems. A novel replication protocol is presented that satisfies two fundamental requirements of this environment. First, …
View article: Distributed software architectures (tutorial)
Distributed software architectures (tutorial) Open
No abstract available.
View article: Dynamic structure in software architectures
Dynamic structure in software architectures Open
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 drive system construction, then the struc…
View article: System structuring: a convergence of theory and practice?
System structuring: a convergence of theory and practice? Open
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 binding language which can be used to define h…
View article: Configuration Management For Distributed Software Services
Configuration Management For Distributed Software Services Open
The paper describes the SysMan approach to interactive configuration management of distributed software components (objects). Domains are used to group objects to apply policy and for convenient naming of objects. Configuration Management …
View article: Configuring distributed systems
Configuring distributed systems Open
Distributed systems are constructed from a set of computational components which are bound together to interact and communicate to achieve some over all objective. In this paper, we examine the issues related to system configuration, parti…
View article: Configuration support for system description, construction and evolution
Configuration support for system description, construction and evolution Open
article Free Access Share on Configuration support for system description, construction and evolution Authors: J. Kramer Department of Computing, Imperial College of Science and Technology, 180 Queen's Gate, London SW7 2BZ, Great Britain D…