Imperial College London

Professor Jeff Magee

Faculty of Engineering

Dean of the Faculty of Engineering
 
 
 
//

Contact

 

+44 (0)20 7594 8601j.magee Website

 
 
//

Assistant

 

Mrs Clare Pearson +44 (0)20 7594 8601

 
//

Location

 

2.06Faculty BuildingSouth Kensington Campus

//

Summary

 

Publications

Publication Type
Year
to

159 results found

D'Ippolito N, Braberman V, Kramer J, Magee J, Sykes D, Uchitel Set al., 2014, Hope for the Best, Prepare for the Worst: Multi-tier Control for Adaptive Systems, 36th International Conference on Software Engineering (ICSE), Publisher: ASSOC COMPUTING MACHINERY, Pages: 688-699

CONFERENCE PAPER

Sykes D, Corapi D, Magee J, Kramer J, Russo A, Inoue Ket al., 2013, Learning Revised Models for Planning in Adaptive Systems, 35th International Conference on Software Engineering (ICSE), Publisher: IEEE, Pages: 63-71

CONFERENCE PAPER

McVeigh A, Kramer J, Magee J, 2011, Evolve: Tool Support for Architecture Evolution, 33rd International Conference on Software Engineering (ICSE), Publisher: IEEE, Pages: 1040-1042

CONFERENCE PAPER

Foster H, Uchitel S, Magee J, Kramer Jet al., 2010, An Integrated Workbench for Model-Based Engineering of Service Compositions, IEEE TRANSACTIONS ON SERVICES COMPUTING, Vol: 3, Pages: 131-144, ISSN: 1939-1374

JOURNAL ARTICLE

Lang F, Salauen G, Herilier R, Kramer J, Magee Jet al., 2010, Translating FSP into LOTOS and networks of automata, FORMAL ASPECTS OF COMPUTING, Vol: 22, Pages: 681-711, ISSN: 0934-5043

JOURNAL ARTICLE

Mens T, Magee J, Rumpe B, 2010, EVOLVING SOFTWARE ARCHITECTURE DESCRIPTIONS OF CRITICAL SYSTEMS, COMPUTER, Vol: 43, Pages: 42-48, ISSN: 0018-9162

JOURNAL ARTICLE

Foster H, Uchitel S, Kramer J, Magee Jet al., 2009, Towards Self-management in Service-oriented Computing with Modes, 5th International Conference on Service-Oriented Computing (ICSOC 2007), Publisher: SPRINGER-VERLAG BERLIN, Pages: 338-350, ISSN: 0302-9743

CONFERENCE PAPER

Heaven W, Sykes D, Magee J, Kramer Jet al., 2009, A Case Study in Goal-Driven Architectural Adaptation, Dagstuhl Seminar on Software Engineering for Self-Adaptive Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 109-127, ISSN: 0302-9743

CONFERENCE PAPER

Kramer J, Magee J, 2009, A Rigorous Architectural Approach to Adaptive Software Engineering, JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, Vol: 24, Pages: 183-188, ISSN: 1000-9000

JOURNAL ARTICLE

Letier E, Kramer J, Magee J, Uchitel Set al., 2008, Deriving event-based transition systems from goal-oriented requirements models, AUTOMATED SOFTWARE ENGINEERING, Vol: 15, Pages: 175-206, ISSN: 0928-8910

JOURNAL ARTICLE

Kramer J, Magee J, 2007, Self-managed systems: An architectural challenge, Conference on Future of Software Engineering, Publisher: IEEE COMPUTER SOC, Pages: 259-+

CONFERENCE PAPER

Salauen G, Kramer J, Lang F, Magee J, Herilier Ret al., 2007, Translating FSP into LOTOS and networks of automata, 6th International Conference on Integrated Formal Methods, Publisher: SPRINGER-VERLAG BERLIN, Pages: 558-578, ISSN: 0302-9743

CONFERENCE PAPER

Bonta E, Bernardo M, Magee J, Kramer Jet al., 2006, Synthesizing concurrency control components from process algebraic specifications, 8th International Conference on Coordination Models and Languages (COORDINATION 2006), Publisher: SPRINGER-VERLAG BERLIN, Pages: 28-43, ISSN: 0302-9743

CONFERENCE PAPER

Foster H, Uchitel S, Magee JN, Kramer Jet al., 2006, WS-Engineer: A Tool for Model-Based Verification of Web Service Compositions and Choreography, IEEE International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 2006.

CONFERENCE PAPER

Foster H, Uchitel S, Magee JN, Kramer Jet al., 2006, Model-Based Analysis of Obligations in Web Service Choreography, IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC.

CONFERENCE PAPER

Foster H, Uchitel S, Magee J, Kramer Jet al., 2006, Model-based analysis of obligations in Web Service Choreography

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 Charts (MSCs) and implemented in the Web Service Choreography Description Language (WSCDL). The approach uses finite state machine representations of web service compositions (implemented in BPEL4WS) and service choreography rules, and assigns semantics to the distributed process interactions. The move towards implementing web service choreography requires design time verification of these service interactions to ensure that service implementations fulfill requirements for multiple interested partners before such compositions and choreographies are deployed. The described approach is supported by a suite of cooperating tools for specification, formal modeling, animation and providing verification results from choreographed web service interactions. © 2006 IEEE.

CONFERENCE PAPER

Hirsch D, Kramer J, Magee J, Uchitel Set al., 2006, Address For Software Architecture, 3rd European Workshop on Software Architecture, Publisher: SPRINGER-VERLAG BERLIN, Pages: 113-+, ISSN: 0302-9743

CONFERENCE PAPER

Magee J, Kramer J, 2006, Concurrency - state models and Java programs (2. ed.)., Publisher: Wiley, ISBN: 978-0-470-09355-9

BOOK

Uchitel S, Chatley R, Kramer J, Magee Jet al., 2006, Goal and scenario validation: a fluent combination, IEEE Conference on Requirement Engineering, Publisher: SPRINGER, Pages: 123-137, ISSN: 0947-3602

CONFERENCE PAPER

Chatley R, Uchitel S, Kramer J, Magee Jet al., 2005, Fluent-based web animation: Exploring goals for requirements validation, Pages: 674-675

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 until they can be represented as fluents. Animations are specified in terms of fluents and driven by behaviour models.

CONFERENCE PAPER

Chatley R, Uchitel S, Kramer J, Magee Jet al., 2005, Fluent-based web animation: Exploring goals for requirements validation, ICSE 05: 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, Pages: 674-675, ISSN: 0270-5257

JOURNAL ARTICLE

Chatley R, Uchitel S, Kramer J, Magee Jet al., 2005, Fluent-based web animation: exploring goals for requirements validation, Icse 05: 27Th International Conference on Software Engineering, Proceedings, Pages: 674-675, ISSN: 0270-5257

JOURNAL ARTICLE

Foster H, Uchitel S, Magee JN, Kramer Jet al., 2005, Leveraging Eclipse for Integrated Model-Based Engineering of Web Service Compositions, ETX2005 Workshop at OOPSLA05, San Diego, CA, October 2005.

CONFERENCE PAPER

Foster H, Uchitel S, Magee J, Kramer Jet al., 2005, Leveraging Eclipse for integrated model-based engineering of web service compositions, Pages: 95-99

In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in allows a designer to specify a service's obligations for coordinated web service compositions in the form of Message Sequence Charts (MSCs) and then generate policies in the form of WS-CDL and services in the form of BPEL4WS. The approach uses finite state machine representations of web service compositions and service choreography rules, and assigns semantics to the distributed process interactions. The move towards implementing web service choreography requires design time verification of these service interactions to ensure that service implementations fulfill requirements for multiple interested partners before such compositions and choreographies are deployed. The plug-in provides a tool for integrated specification, formal modeling, animation and providing verification results from choreographed web service interactions. The LTSA-Eclipse (for Web Services) plug-in is publicly available, along with other plug-ins, at: http://www.doc.ic.ac.uk/ltsa. Copyright © 2005 IBM.

CONFERENCE PAPER

Foster H, Uchitel S, Magee J, Kramer Jet al., 2005, Tool support for model-based engineering of web service compositions, IEEE International Conference on Services Computing, Publisher: IEEE COMPUTER SOC, Pages: 95-102

CONFERENCE PAPER

Foster H, Uchitel S, Magee J, Kramer J, Hu Met al., 2005, Using a rigorous approach for engineering web service compositions: A case study, IEEE International Conference on Services Computing, Publisher: IEEE COMPUTER SOC, Pages: 217-224

CONFERENCE PAPER

Kramer J, Magee J, 2005, Model-based Design of Concurrent Programs, Communicating Sequential Processes: The First 25 Years, Publisher: Springer-Verlag, Pages: 211-219

BOOK CHAPTER

Letier E, Kramer J, Magee J, Uchitel Set al., 2005, Monitoring and control in scenario-based requirements analysis., Publisher: ACM, Pages: 382-391

CONFERENCE PAPER

Letier E, Kramer J, Magee J, Uchitel Set al., 2005, Fluent temporal logic for discrete-time event-based models, Pages: 70-79

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 state-based formalisms is defined through "fluents" which are state predicates whose value are determined by the occurrences of initiating and terminating events that make the fluents values become true or false, respectively. The existing fluent temporal logic is convenient for reasoning about untimed event-based models but difficult to use for timed models. The paper extends fluent temporal logic with temporal operators for modelling timed properties of discrete-time event-based models. It presents two approaches that differ on whether the properties model the system state after the occurrence of each event or at a fixed time rate. Model checking of timed properties is made possible by translating them into the existing untimed framework. Copyright 2005 ACM.

CONFERENCE PAPER

Magee J, Kramer J, 2005, Model-based design of concurrent programs, Symposium on 25 Years of Communicating Sequential Processes, Publisher: SPRINGER-VERLAG BERLIN, Pages: 211-219, ISSN: 0302-9743

CONFERENCE PAPER

This data is extracted from the Web of Science and reproduced under a licence from Thomson Reuters. You may not copy or re-distribute this data in whole or in part without the written consent of the Science business of Thomson Reuters.

Request URL: http://wlsprd.imperial.ac.uk:80/respub/WEB-INF/jsp/search-html.jsp Request URI: /respub/WEB-INF/jsp/search-html.jsp Query String: respub-action=search.html&id=00003694&limit=30&person=true