Prof. Jeff Magee
Email: <j.magee AT SPAMFREE imperial DOT ac DOT uk>
| /AllPapers /SelectedPublications |
Professor in Computing |
|
Distributed Software Engineering Section |
Page Contents
Research Interests
Software Architecture: Architectural Description Languages, Dynamic architectures and Self-organising architectures.
Distributed systems: operating systems, design methods, development environments, configuration management, reliability and availability, mobility.
Mobile Computing: context-aware systems, location services - ERSRC Location Service Final Report
Analysis Tools for Concurrent and Distributed systems:
Stochastic LTSA - simulation of Timed Transitions systems: Manual pages & download
(Implementation by Thomas Ayles & Jonas Wolf - designed jointly with Tony Field)
Inaugural Lecture - 19th June 2001
Coalmines to Televisions: a Software Odyssey
Abstract:
- The emerging discipline of Software Architecture is concerned with the high-level design of complex software systems. The foundations of this discipline have arisen from initially independent work at leading academic and industrial research institutions throughout the world. This lecture follows research on Software Architecture at Imperial College from its origins in a distributed software system developed in response to the control and monitoring requirements of coal mining to its current commercial application in the development of the next generation of consumer television products. This application represents the first large-scale industrial use of a software architecture description language.
- In following the sometimes tortuous route from coalmines to televisions and beyond, we identify the need for soundly based engineering models of software architecture and illustrate the use of these models in examples drawn from industrial collaborations along the way. We address the challenge of making modelling and analysis more gain than pain for practising software architects and suggest that the tools and techniques for architecture, analysis and animation developed at Imperial College show promise in this respect.
Book
Java example applets, Labeled Transition Analyzer Tool (LTSA), Lecture Notes, Download.
Program Committees, Events, etc
WICSAI'04 - 4th Working IEEE/IFIP Conference on Software Architecture, 12-15 June 2004, Oslo (colocated with ECOOP)
Coordination 2004 - Sixth International Conference on Coordination Models and Languages, 24-27 February 2004, Pisa, Italy
FASE'04 - Fundamental Approaches to Software Engineering, March 29 - 31, 2004, Barcelona, Spain
CD 2004 - 2nd International Working Conference on Component Deployment , May 20 - 21, 2004, Edinburgh, Scotland
CBSE7 - International Symposium on Component-based Software Engineering, May 24 - 25, 2004, Edinburgh, Scotland
SFM-03:SA - 3rd International School on Formal Methods for the Design of Computer, Communication and Software Systems: Software Architecture (22-27 September 2003)