Publications
362 results found
Garcez AS, Russo A, Nuseibeh B, et al., 2003, Combining abductive reasoning and inductive learning to evolve requirements specifications, IEE Proceedings - Software, Vol: 150, Pages: 25-38, ISSN: 1462-5970
Uchitel S, Kramer J, Magee J, 2003, Synthesis of behavioral models from scenarios, 23rd International Conference on Software Engineering (ICSE 2001), Publisher: IEEE COMPUTER SOC, Pages: 99-115, ISSN: 0098-5589
- Author Web Link
- Open Access Link
- Cite
- Citations: 144
Nuseibeh B, Kramer J, Finkelstein A, 2003, ViewPoints: Meaningful relationships are difficult!, Pages: 676-681, ISSN: 0270-5257
The development of complex systems invariably involves many stakeholders who have different perspectives on the problem they are addressing, the system being developed, and the process by which it is being developed. The ViewPoints framework was devised to provide an organisational framework in which these different perspectives, and their relationships, could be explicitly represented and analysed. The framework acknowledges the inevitability of multiple inconsistent views, promotes separation of concerns, and encourages decentralised specification while providing support for integration through relationships and composition. In this paper, we reflect on the ViewPoints framework, current work, and future research directions.
Uchitel S, Kramer J, Magee J, 2003, Behaviour model elaboration using partial labelled transition systems, European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11), Publisher: ACM, Pages: 19-27, ISSN: 0163-5948
Uchitel S, Kramer J, Magee J, 2003, Behaviour model elaboration using partial labelled transition systems, European software engineering conference; (ESEC) & 11th SIGSOFT symposium on the foundations of software engineering (FSE-11), Publisher: ACM, Pages: 19-27, ISSN: 0163-5948
Kramer J, 2003, Abstraction - is it teachable? 'the devil is in the detail', New York, 16th conference on software engineering education and training, Madrid, Spain, 2003, Publisher: IEEE, Pages: 32-32
Chatley R, Kramer J, Magee J, et al., 2003, Model-based simulation of web applications for usability assessment, International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003
Uchitel S, Chatley R, Kramer J, et al., 2003, LTSA-MSC: tool support for behaviour model elaboration using implied scenarios, Berlin, Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Publisher: Springer-Verlag, Pages: 597-601
Foster H, Uchitel S, Magee J, et al., 2003, Model-based verification of web service compositions, Los Alamitos, 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003, Publisher: IEEE Computer Soc, Pages: 152-161
Kramer J, Magee JN, Uchitel S, 2003, Software architecture modeling and analysis: a rigorous approach, Publisher: Springer, ISBN: 9783540200833
Uchitel S, Kramer J, Magee J, 2003, Modelling undefined behaviour in scenario synthesis, 2nd international workshop on scenarios and state machines: models, algorithms, and tools (SCESM 03), Portland, May 2003
Chatley R, Kramer J, Magee J, et al., 2003, Visual methods for Web application design, Los Alamitos, IEEE symposium on human centric computing languages and environments, Auckland, New Zealand, 2003, Publisher: IEEE Computer Soc, Pages: 242-244
Chatley R, Kramer J, Magee J, et al., 2003, Model-based simulation of web applications for usability assessment, International workshop on bridging the gaps between software engineeringand, human-computer interaction, Portland, May 2003
Kramer J, Magee J, Uchitel S, 2003, Software architecture modeling & analysis: a rigorous approach, Berlin, 3rd international school on formal methods for the design of computer, communication and software systems, Bertinoro, Italy, 2003, Publisher: Springer-Verlag, Pages: 44-51
Uchitel S, Chatley R, Kramer J, et al., 2003, LTSA-MSC: tool support for behaviour model elaboration using implied scenarios, Berlin, Joint European conference on theory and practice of software (ETAPS 2003), Warsaw, Poland, Publisher: Springer-Verlag, Pages: 597-601
Foster H, Uchitel S, Magee J, et al., 2003, Model-based verification of web service compositions, Los Alamitos, 18th IEEE international conference on automated software engineering, Montreal, Canada, 2003, Publisher: IEEE Computer Soc, Pages: 152-161
Garlan D, Kramer J, Wolf A, 2002, Proceedings of the First ACM SIGSOFT Workshop on Self-Healing Systems (WOSS'02): Forward
- Cite
- Citations: 6
Russo A, Miller R, Kramer J, 2002, An Abductive Approach for Analysing Event-Based Requirements Specifications., Berlin, 18th International Conference on Logic Programming, Publisher: Springer Verlag, Pages: 22-37
Uchitel S, Kramer J, Magee J, 2002, Implied scenario detection in the presence of behaviour constraints, Electronic Notes in Theoretical Computer Science, Vol: 65, Pages: 65-84, ISSN: 1571-0661
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 the global behaviour of a system that will be implemented component-wise. The existence of implied scenarios is an indication that further validation with stakeholders must be done. An implied scenario can be accepted or rejected by stakeholders indicating that the implied scenario is acceptable system behaviour or a situation that should be avoided. In consequence, implied scenarios can be used to iteratively drive requirement elicitation. However, in order to do so, we must be capable of detecting implied scenarios in the presence of rejected implied scenarios, in other words in the presence of behaviour constraints. The contribution of this paper is a technique for detecting implied scenarios in message sequence chart (MSC) specifications that can be used in conjunction with behaviour constraints. The technique is based on building a Coordinator component that forces system components to follow the same sequence of basic MSCs as they go through a high-level MSC. The result is a model that behaves as specified in the MSC but does not comply with the MSC architecture. The resulting model is not a proposed implementation, rather a precise model of specified behaviour that can be used in combination with constrained implementation models to detect further implied scenarios. ©2002 Published by Elsevier Science B. V.
d'Avilla Garcez AS, Russo A, Nuseibeh B, et al., 2002, Combining abductive reasoning and inductive learning to evolve requirements specifications, Departmental Technical Report: 02/1, Publisher: Department of Computing, Imperial College London, 02/1
The development of requirements specifications inevitably involvesmodification and evolution. To support modificationwhile preserving the main requirements goals and properties,we propose the use of a cycle composed of two phases: analysisand revision. In the analysis phase, a desirable property of thesystem is checked against a partial specification. Should theproperty be violated, diagnostic information is provided. Inthe revision phase, the diagnostic information is used to helpmodify the specification in such a way that the new specificationno longer violates the original property.We have investigated a particular instance of such a cyclethat combines the techniques of logical abduction and inductivelearning to analyse and revise specifications respectively.Given an (event-based) system description and a systemproperty, our abductive reasoning mechanism identifies aset of counter-examples of the property, if any exists. Thisset is then used to generate a corresponding set of examplesof system behaviours that should be covered by the systemdescription. These examples are used as training examples byour inductive learning mechanism, which performs the necessarychanges to the system description in order to resolve theproperty violation. The approach is supported by an abductivedecision procedure and a hybrid (neural and symbolic)learning system that we have developed. A case study of anautomobile cruise control system illustrates our approach andprovides some early validation of its capabilities.
Georgiadis I, Magee J, Kramer J, 2002, Self-organising software architectures for distributed systems, Charleston, South Carolina, WOSS '02: proceedings of the first workshop on self-healing systems, Publisher: ACM Press, Pages: 33-38
Uchitel S, Kramer J, Magee J, 2002, Negative scenarios for implied scenario elicitation, Foundations of software engineering, Publisher: ACM, Pages: 109-118, ISSN: 0163-5948
Russo A, Miller R, Nuseibeh B, et al., 2002, An abductive approach for analysing event-based requirements specifications, Berlin, 18th international conference on logic programming, University of Copenhagen, Copenhagen, Denmark, Publisher: Springer-Verlag, Pages: 22-37
, 2002, Proceedings of the First Workshop on Self-Healing Systems, WOSS 2002, Charleston, South Carolina, USA, November 18-19, 2002, Publisher: ACM
Garcez A, Russo A, Nuseibeh B, et al., 2001, An Analysis-Revision Cycle to Evolve Requirements Specifications., 16th IEEE International Conference on Automated Software Engineering, Publisher: IEEE
Russo A, Miller R, Nuseibeh B, et al., 2001, An Abductive Approach for Analysing Event-based Specifications, Technical Report, Publisher: Imperial College of Science, Technology and Medicine, Department of Computing
Russo A, Miller R, Kramer J, et al., 2001, An Abductive Approach for Analysing Event-based Specifications., An Abductive Approach for Analysing Event-based Specifications., Publisher: Imperial College of Science, Technology and Medicine, Department of Computing
Kramer J, Garlan D, Rosenblum DS, 2001, Guest editors' introduction: 1999 International Conference on Software Engineering, IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol: 27, Pages: 97-98, ISSN: 0098-5589
Uchitel S, Kramer J, Magee J, 2001, Detecting implied scenarios in MSCs using LTSA, Departmental Technical Report: 01/4, Publisher: Department of Computing, Imperial College London, 01/4
Scenario-based specifications such as Message Sequence Charts(MSCs) are becoming increasingly popular as part of arequirements specification. Scenarios describe how systemcomponents, the environment and users working concurrentlyinteract in order to provide system level functionality. Eachscenario is a partial story which, when combined with otherscenarios, should conform to provide a complete systemdescription. However, it is not always possible to build a set ofcomponents that provides exactly the same system behaviour asdescribed with a set of scenarios. Implied scenarios may appear asa result of unexpected component interaction.In this paper, we present an algorithm that builds a behaviourmodel that describes the closest possible implementation for aspecification based on basic and high-level MSCs. We alsopresent a technique for detecting and providing feedback on theexistence of implied scenarios. We have integrated theseprocedures into the Labelled Transition System Analyser, whichallows for model checking and animation of the behaviour model.
Russo A, Miller R, Nuseibeh B, et al., 2001, An abductive approach for analysing event-based requirements specifications, Departmental Technical Report: 01/7, Publisher: Department of Computing, Imperial College London, 01/7
We present a logic-based approach for analysing event-based requirements specificationsgiven in terms of a system’s reaction to events and safety properties. The approach uses anevent-based logic, called the Event Calculus, to represent such specifications declaratively.Building on this formalism, the approach uses an abductive reasoning mechanism foranalysing safety properties. Given a system description and a safety property, the abductivemechanism is able to identify a complete set of counterexamples (if any exist) of theproperty in terms of symbolic “current” states and associated event-based transitions. If itfails to find such an answer, this establishes the validity of the safety property with respect tothe system description. The approach is supported by a decision procedure that (i) alwaysterminates and (ii) facilitates analysis of this type of properties even in the presence ofincomplete domain knowledge, where initial conditions are not completely specified. A casestudy of an automobile cruise control system specified in SCR is used to illustrate ourapproach. The technique described is implemented using existing tools for abductive logicprogramming.
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.