Publications
362 results found
Osterweil LJ, Ghezzi C, Kramer J, et al., 2008, Determining the impact of software engineering research on practice, COMPUTER, Vol: 41, Pages: 39-+, ISSN: 0018-9162
- Author Web Link
- Cite
- Citations: 30
Kramer J, 2008, State of the Journal address, IEEE Transactions on Software Engineering, Vol: 34, Pages: 1-2, ISSN: 0098-5589
Kramer J, 2008, Abstraction and Modelling - A Complementary Partnership, 11th International Conference on Model Driven Engineering Languages and Systems, Publisher: SPRINGER-VERLAG BERLIN, Pages: 158-158, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 1
Duarte LM, Kramer J, Uchitel S, 2008, Towards faithful model extraction based on contexts, 11th International Conference on Fundamental Approaches to Software Engineering, Publisher: SPRINGER-VERLAG BERLIN, Pages: 101-115, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 6
Foster H, Emmerich W, Kramer J, et al., 2007, Model checking service compositions under resource constraints, Pages: 225-234
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 previously established that the orchestration was free of such property violations using existing BPEL model checking techniques. In this paper, we describe the origins of these violations. They result from a combination of design and deployment decisions, which include the distribution of services across hosts, the choice of synchronisation primitives in the process and the threading configuration of the servlet container that hosts the orchestrated web services. This leads us to conclude that model checking approaches that ignore resource constraints of the deployment environment are insufficient to establish safety and liveness properties of service orchestrations specifically, and distributed systems more generally. We show how model checking can take execution resource constraints into account. We evaluate the approach by applying it to the above application and are able to demonstrate that a change in allocation of services to hosts is indeed safe, a result that we are able to confirm experimentally in the deployed system. The approach is supported by a tool suite, known as WS-Engineer, providing automated process translation, architecture and model-checking views. Copyright 2007 ACM.
Sykes D, Heaven W, Magee J, et al., 2007, Plan-directed architectural change for autonomous systems, Pages: 15-21
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 reliable operation it must be able to derive and initiate adaptations to new circumstances on its own behalf. Much of the previous work on dynamic reconfigurations supposes that the programmer is able to express the possible adaptations before the system is deployed, or at least is able to add new adaptation strategies after deployment. We consider the challenges in providing an autonomous system with the capability to direct its own adaptation, and describe an initial implementation where change in the software architecture of an autonomous system is enacted as a result of executing a reactive plan. Copyright 2007 ACM.
Foster H, Uchitel S, Magee J, et al., 2007, WS-engineer: A model-based approach to engineering Web service compositions and choreography, Test and Analysis of Web Services, Pages: 87-119, ISBN: 9783540729112
In this chapter, we describe a model-based approach to the analysis of service interactions for web service choreography and their coordinated compositions. The move towards implementing web service choreography requires both design time verification and execution time validation of these service interactions to ensure that service implementations fulfil requirements of multiple interested partners before such compositions and choreographies are deployed for use. The approach employs several formal analysis techniques and perspectives, and applies these to the domain of web service choreographies and the compositional implementations that each role in these choreographies must satisfy. Our approach models the service interaction designs of choreographies (in the form of Message Sequence Charts), the service choreography descriptions (in WS-CDL - the Web Service Choreography Description Language) and the service composition processes (in BPEL4WS - the Business Process Language for Web Services). We translate models between UML and Web service specifications using the Finite State Process algebra notation. Where interactions deviate from choreography rules, the interaction sequences can be shown back to the user of the approach in an easy and accessible way, in the UML form. The described approach is supported by a suite of cooperating tools, formal modelling, simulation, animation and providing verification results from choreographed web service interactions. The tool suite and related papers are available for download at http://www.doc.ic.ac.uk/ltsa/eclipse/wsengineer. © Springer-Verlag Berlin Heidelberg 2007.
Kramer J, 2007, Is abstraction the key to computing?, COMMUNICATIONS OF THE ACM, Vol: 50, Pages: 37-42, ISSN: 0001-0782
- Author Web Link
- Cite
- Citations: 134
Kramer J, 2007, Editorial: State of the Journal, IEEE Transactions on Software Engineering, Vol: 33, Pages: 1-1, ISSN: 0098-5589
Kramer J, Magee J, 2007, Self-managed systems: An architectural challenge, Conference on Future of Software Engineering, Publisher: IEEE COMPUTER SOC, Pages: 259-+
- Author Web Link
- Cite
- Citations: 364
de Sousa FC, Mendonca NC, Uchitel S, et al., 2007, Detecting implied scenarios from execution traces, 14th Working Conference on Reverse Engineering, Publisher: IEEE COMPUTER SOC, Pages: 50-+
- Author Web Link
- Cite
- Citations: 14
Salauen G, Kramer J, Lang F, et 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
- Author Web Link
- Cite
- Citations: 2
McVeigh A, Kramer J, Magee J, 2006, Using resemblance to support component reuse and evolution, Pages: 49-56
The aim of a component-based approach to software is to allow the construction of a system by reusing and connecting together a number of existing components. To successfully reuse a component, alterations generally need to be made to it, particularly if the abstraction level is high. However, existing usage of a component means that it cannot be altered without affecting the systems that reuse it already. This leads to a dilemma which frustrates the goals of the compositional approach to reuse.To help resolve this dilemma, we introduce the resemblance construct, allowing a new component to be defined in terms of changes to a base component. This allows us to effectively alter a base component for reuse, without affecting the existing definition or any users of the component. We use an example to show how this and other constructs ameliorate the reuse problems of complex, possibly composite, components. Copyright 2006 ACM.
Foster H, Uchitel S, Magee J, et al., 2006, LTSA-WS: A tool for model-based verification of Web service compositions and choreography, Pages: 771-774, ISSN: 0270-5257
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 and implementation models to confirm expected results from the viewpoints of both the designer and implementer. Scenarios are modeled in UML, in the form of Message Sequence Charts (MSCs), and then compiled into the Finite State Process (FSP) process algebra to concisely model the required behavior. BPEL4WS implementations are mechanically translated to FSP to allow an equivalence trace verification process to be performed. By providing early design verification and validation, the implementation, testing and deployment of web service compositions can be eased through the understanding of the behavior exhibited by the composition. The approach is implemented as a plug-in for the Eclipse development environment providing cooperating tools for specification, formal modeling, verification and validation of the composition process.
Kramer J, Hazzan O, 2006, The Role of Abstraction in Software Engineering, Publisher: Association for Computing Machinery (ACM), Pages: 38-39, ISSN: 0163-5948
Duarte LM, Kramer J, Uchitel S, 2006, Model Extraction Based on Context Information, ACM/IEEE 9th International Conference on Model Driven Engineering Languages and Systems, Genoa, 2006
Kramer J, 2006, Editorial: New Associate Editors Introduction, IEEE Transactions on Software Engineering, Vol: 32, Pages: 769-770, ISSN: 0098-5589
Brogi A, Jacquet JM, Kramer J, et al., 2006, Special Issue on Second International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA'03) - Preface, SCIENCE OF COMPUTER PROGRAMMING, Vol: 61, Pages: 73-74, ISSN: 0167-6423
Kramer J, Hazzan O, 2006, Introduction to The Role of Abstraction in Software Engineering, Pages: 1-2, ISSN: 0270-5257
This workshop explores the concept of abstraction in software engineering at the individual, team and organization level. The aim is to explore the role of abstraction in dealing with complexity in the software engineering process, to discuss how the use of different levels of abstraction may facilitate performance of different activities, and to examine whether or not abstraction skills can be taught.
Foster H, Uchitel S, Magee JN, et 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.
Magee J, Kramer J, 2006, Concurrency: State Models & Java Programs, 2nd Edition, Publisher: John Wiley & Sons
Kramer J, 2006, Editorial: New Associate Editors Introduction, IEEE Transactions on Software Engineering, Vol: 32, Pages: 137-139, ISSN: 0098-5589
Leiter E, Kramer J, Magee J, et al., 2006, Deriving event-based transition systems from goal-oriented requirements models, Departmental Technical Report: 06/2, Publisher: Department of Computing, Imperial College London, 06/2
Goal-oriented methods are increasingly popular for elaborating software requirements. They offer systematic support for incrementally building intentional, structural, and operational models of the software and its environment. Event-based transition systems on the other hand are convenient formalisms for modelling and reasoning about software behaviours at the architectural level.The paper combines these two works by presenting a technique .for translating formal specification of software operations built according to the KAOS goal-oriented method into event-based transition systems analysable by the LTSA toolset. The translation involves moving from a declarative, state-based, timed, synchronous formalism typical of requirements modelling languages to an operational, event-based, untimed, asynchronous one typical of architecture description languages. The derived model is used for the formal analysis and animation of KAOS operation models In LTSA.The translation process provides insights into the two complementary formalisms and raises questions about the use o f synchronous temporal logic for requirements specification.
Kramer J, 2006, Editorial: A message from the new Editor-in-Chief, IEEE Transactions on Software Engineering, Vol: 32, Pages: 2-3, ISSN: 0098-5589
Kramer J, 2006, Component-based modeling, analysis and animation
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 financial implications or may even be life threatening. A rigorous software engineering approach is necessary. We advocate a model-based tool-supported approach to the design of concurrent component-based systems. Component behaviour is modeled as a finite state process and specified in a process algebra FSP. In the same way that components can be composed according to an architecture so as to provide (sub-)system functionality, so component models can be composed to construct a system behaviour model. These models can be analysed using model checking against required properties specified in FSP or Linear Temporal Logic. Furthermore, these models can be animated to demonstrate and validate their behaviour and to replay counterexamples to illustrate their misbehaviour. In order to facilitate model construction early in the design process, the behaviour models can be synthesised from scenarios, captured as message sequence charts (MSC). Models described in this way can be used as an initial basis for validating requirements and as a specification that must be satisfied by more detailed models. By using a model-based design process early in the software lifecycle we hope that users gain the greatest benefit from model building and analysis. By providing techniques to generate models from scenarios and by associating the models with the proposed software architecture, we embed modeling into the software process. The ability to associate animation with models provides an accessible means for interpreting both model behavior and misbehavior to users. Analysis and animation can be carried out at any level of the architecture. Consequently, component models can be designed and debugged before composing them into larger systems. The model-based approach and analysis and animation tec
Kramer J, Hazzan O, 2006, The role of abstraction in software engineering, Pages: 1017-1018, ISSN: 0270-5257
This workshop explores the concept of abstraction in software engineering at the individual, team and organization level. The aim is to explore the role of abstraction in dealing with complexity in the software engineering process, to discuss how the use of different levels of abstraction may facilitate performance of different activities, and to examine whether or not abstraction skills can be taught.
Foster H, Uchitel S, Magee JN, et al., 2006, Model-Based Analysis of Obligations in Web Service Choreography, IEEE International Conference on Internet & Web Applications and Services 2006, Guadeloupe, FC.
Uchitel S, Chatley RB, Kramer J, et al., 2006, Goal and scenario validation: a fluent combination, Publisher: Springer, Pages: 123-137, ISSN: 0947-3602
Hirsch D, Kramer J, Magee J, et al., 2006, Address For Software Architecture, 3rd European Workshop on Software Architecture, Publisher: SPRINGER-VERLAG BERLIN, Pages: 113-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 25
Perrone V, Finkelstein A, Goldin L, et al., 2006, Developing an integrative platform for cancer research: a requirements engineering perspective, 5th UK e-Science All Hands Meeting (AHM 2006), Publisher: NATL E-SCIENCE CENTRE, Pages: 93-+
- Author Web Link
- Cite
- Citations: 1
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.