Publications
362 results found
Sykes D, Magee J, Kramer J, 2011, FlashMob: Distributed adaptive self-assembly, Pages: 100-109, ISSN: 0270-5257
Autonomous systems need to support dynamic software adaptation in order to handle the complexity and unpredictability of the execution environment, and the changing needs of the end user. Although a number of approaches have been proposed, few address a key issue: that of distribution. In this paper we seek to overcome the limitations of centralised approaches. We build on our previous work on adaptive self-assembly within the three-layer model for autonomous systems to provide a decentralised technique for self-assembly. To achieve this in a fault-tolerant and scalable manner, we use a gossip protocol as a basis. While no central or leader node is aware of the full space of solutions, gossip ensures that agreement on a particular solution - in this case a component configuration - is reached in a logarithmic number of steps with respect to the size of the network. © 2011 ACM.
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
- Author Web Link
- Cite
- Citations: 5
Lang F, Salauen G, Herilier R, et al., 2010, Translating FSP into LOTOS and networks of automata, FORMAL ASPECTS OF COMPUTING, Vol: 22, Pages: 681-711, ISSN: 0934-5043
- Author Web Link
- Cite
- Citations: 4
Kramer J, Bishop J, Devanbu P, et al., 2010, ICSE 2010 Foreword, ISSN: 0270-5257
Kramer J, Bishop J, Devanbu P, et al., 2010, ICSE 2010 foreword, ISSN: 0270-5257
Sykes D, Heaven W, Magee J, et al., 2010, Exploiting non-functional preferences in architectural adaptation for self-managed systems, Pages: 431-438
Among the many challenges of engineering dependable, self-managed, component-based systems is their need to make informed decisions about adaptive reconfigurations in response to changing requirements or a changing environment. Such decisions may be made on the basis of non-functional or QoS aspects of reconfiguration in addition to the purely functional properties needed to meet a goal. We present a practical approach for using non-functional information to guide a procedure for assembling, and subsequently modifying, configurations of software components, and compare the performance of two variants of the approach. In addition, we outline a scheme for monitoring non-functional properties in the running system such that more accurate information can be utilised in the next adaptation. © 2010 ACM.
Foster H, Uchitel S, Magee J, et 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
- Author Web Link
- Open Access Link
- Cite
- Citations: 10
Alrajeh D, Kramer J, Russo A, et al., 2010, Deriving non-Zeno behaviour models from goal models using ILP, FORMAL ASPECTS OF COMPUTING, Vol: 22, Pages: 217-241, ISSN: 0934-5043
- Author Web Link
- Cite
- Citations: 7
Kramer J, 2010, Editorial: A New Editor in Chief and the State of the Journal, IEEE Transactions on Software Engineering, Vol: 36, Pages: 1-2, ISSN: 0098-5589
, 2010, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, Publisher: ACM
, 2010, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 1, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, Publisher: ACM
Beltrán AG, Finkelstein A, Wilkinson JM, et al., 2009, Domain concept-based queries for cancer research data sources, ISSN: 1063-7125
Biomedical scientists generate, access, validate and interpret multiple distributed and heterogeneous data sets. Semantic annotations for these data sets are paramount for exchanging and using the data, and take the form of concepts from a domain ontology. ONIX is a platform that facilitates the access to cancer research data resources and one of its goals is to intemperate with caGrid - a grid computing infrastructure for data sharing. In this paper, we present the ONIX approach to building a semantic layer with support for concept-based queries, which exploit semantic annotations of resources, focusing on caGrid resources. The main contributions of this work are: the automatic generation of OWL ontologies from resources ' metadata; concept-based query construction and validation; rewriting and translation from concept-based queries to the caGrid query language. ©2009 IEEE.
Medvidovic N, Tamai T, Bishop J, et al., 2009, Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010, WUP'09: Foreword
Kramer J, 2009, Editorial: New Associate Editors Introduction, IEEE Transactions on Software Engineering, Vol: 35, Pages: 449-449, ISSN: 0098-5589
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
- Author Web Link
- Cite
- Citations: 19
Kramer J, Maia PH, Uchitel S, et al., 2009, An approach to improve accuracy in probabilistic models using state refinement, Departmental Technical Report: 09/5, Publisher: Department of Computing, Imperial College London, 09/5
Probabilistic models are useful in the analysis of system be-haviour and non-functional properties. Reliable estimatesand measurements of probabilities are needed to annotatebehaviour models in order to generate accurate predictions.However, this may not be su cient, and may still lead toinaccurate results when the system model does not properlyreect the probabilistic choices made by the environment.Thus, not only should the probabilities be accurate in prop-erly reecting reality, but also the model that is being used.In this paper we propose state re nement as a techniqueto mitigate this problem, showing that it is guaranteed topreserve or increase the accuracy of the initial model. Wepresent a framework for iteratively improving the accuracyof a probabilistically annotated behaviour model with re-spect to a set of benchmark properties through iterativestate re nements.
Heaven W, Sykes D, Magee J, et 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
- Author Web Link
- Cite
- Citations: 21
Foster H, Uchitel S, Kramer J, et 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
- Author Web Link
- Cite
- Citations: 2
Cheng BHC, de Lemos R, Giese H, et al., 2009, Software Engineering for Self-Adaptive Systems: A Research Roadmap, Publisher: Springer Berlin Heidelberg, Pages: 1-26, ISSN: 0302-9743
Maia PH, Kramer J, Uchitel S, et al., 2009, Towards Accurate Probabilistic Models Using State Refinement, 7th Joint Meeting of the European Software Engineering Conference/ ACM SIGSOFT Symposium on the Foundations of Software Engineering, Publisher: ASSOC COMPUTING MACHINERY, Pages: 281-284
- Author Web Link
- Cite
- Citations: 4
Alrajeh D, Kramer J, Russo A, et al., 2009, Learning Operational Requirements from Goal Models, 31st International Conference on Software Engineering, ICSE, ISSN: 0270-5257
Beltran AG, Finkelstein A, Wilkinson JM, et al., 2009, Domain Concept-Based Queries for Cancer Research Data Sources, 22nd IEEE International Symposium on Computer-Based Medical Systems, Publisher: IEEE, Pages: 318-+, ISSN: 2372-9198
Kramer J, 2009, Abstraction and Modelling: A Complementary Partnership, Publisher: Springer Berlin Heidelberg, Pages: 1-1, ISSN: 0302-9743
Hazzan O, Kramer J, 2008, The role of abstraction in software engineering, Pages: 1045-1046, ISSN: 0270-5257
This workshop focuses on the concept of abstraction in software engineering. 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 abstraction skills can be taught.
Foster H, Uchitel S, Kramer J, et al., 2008, Leveraging modes and UML2 for service brokering specifications, CEUR Workshop Proceedings, Vol: 389, Pages: 76-90, ISSN: 1613-0073
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) has been on the static binding of these services within a single context and constrained in an individual manner. As service architectures are designed to more dynamic, where service binding and context changes with environmental disturbance, the task of designing and analysing such architectures becomes more complex. UML2 introduces an extended notation to define component binding interfaces, enhanced activity diagrams and sequence diagrams. We propose the use of Modes to abstract a selected set of services, their coordination and reconfiguration, and use models constructed in UML2 to describe brokering requirements which can be synthesised for input to service brokers. The approach is implemented through the use of a Modes Browser, which allows service engineers to view specifications to a prototype dynamic service brokering agent.
Sykes D, Heaven W, Magee J, et al., 2008, From goals to components: A combined approach to self-management, Proceedings - International Conference on Software Engineering, Pages: 105-112, ISSN: 0270-5257
Autonomous or semi-autonomous systems are deployed in environments where contact with programmers or technicians is infrequent or undesirable. To operate reliably, such systems should be able to adapt to new circumstances on their own. This paper describes our combined approach for adaptable software architecture and task synthesis from high-level goals, which is based on a three-layer model. In the uppermost layer, reactive plans are generated from goals expressed in a temporal logic. The middle layer is responsible for plan execution and assembling a configuration of domain-specific software components, which reside in the lowest layer. Moreover, the middle layer is responsible for selecting alternative components when the current configuration is no longer viable for the circumstances that have arisen. The implementation demonstrates that the approach enables us to handle non-determinism in the environment and unexpected failures in software components. Copyright 2008 ACM.
Hazzan O, Kramer J, 2008, Proceedings - International Conference on Software Engineering: Foreword, ISSN: 0270-5257
Letier E, Kramer J, Magee J, et al., 2008, Deriving event-based transition systems from goal-oriented requirements models, AUTOMATED SOFTWARE ENGINEERING, Vol: 15, Pages: 175-206, ISSN: 0928-8910
- Author Web Link
- Cite
- Citations: 36
Kramer J, Magee J, 2008, Towards robust self-managed systems, Progress in Informatics, Pages: 1-4, ISSN: 1349-8614
- Cite
- Citations: 5
Kramer J, 2008, Editorial: New Associate Editor Introduction, IEEE Transactions on Software Engineering, Vol: 34, Pages: 161-161, ISSN: 0098-5589
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.