Publications
183 results found
Uchitel S, Chatley RB, Kramer J, et al., 2004, Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios, IEEE International Conference on Requirements Engineering (RE’04), Kyoto, Japan, 2004, Publisher: Springer
Uchitel S, Chatley R, Kramer J, et al., 2004, System architecture: the context for scenario-based model synthesis, ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Pages: 33-42, ISSN: 0163-5948
Foster H, Uchitel S, Magee J, et al., 2004, Compatibility verification for web service choreography, Los Alamitos, IEEE international conference on web services (ICWS 2004), San Diego, CA, Publisher: IEEE Computer Soc, Pages: 738-741
Uchitel S, Chatley R, Kramer J, et al., 2004, System architecture: the context for scenario-based model synthesis, ACM SIGSOFT 12th international symposium on the foundations of software engineering (FSE-12), Newport Beach, California, 31 October - 5 November 2004
Uchitel S, Chatley R, Kramer J, et al., 2004, Fluent-based animation: exploiting the relation between goals and scenarios for requirements validation, Los Alamitos, 12th IEEE international requirements engineering conference, Kyoto, Japan, 2004, Publisher: IEEE Computer Soc, Pages: 208-217
Chatley R, Eisenbach S, Kramer J, et al., 2004, Predictable dynamic plugin systems, Berlin, 7th international conference on fundamental approaches to software engineering, Barcelona, SPAIN, Publisher: Springer-Verlag, Pages: 129-143
Krüger I, Uchitel S, Whittle J, et al., 2003, A summary of the second ICSE 2003 workshop on, ACM SIGSOFT Software Engineering Notes, Vol: 28, Pages: 9-9, ISSN: 0163-5948
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
Uchitel S, Magee J, Kramer J, 2003, Synthesis of behavioral models from scenarios, IEEE Transactions on Software Engineering, Vol: 29, Pages: 99-115, ISSN: 0098-5589
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
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
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
Egyed A, Glinz M, Krüger I, et al., 2003, Second workshop on scenarios and state machines:: Models, algorithms, and tools, 25th International Conference on Software Engineering (ICSE 2003), Publisher: IEEE COMPUTER SOC, Pages: 783-784, ISSN: 0270-5257
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
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
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
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
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.
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
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
Uchitel S, Systa T, Zundorf A, 2002, Scenarios and state machines: models, algorithms, and tools, New York, 24th international conference on software engineering, Orlando, Florida, 2002, Publisher: Assoc Computing Machinery, Pages: 659-660
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: 1-20, ISSN: 1571-0661
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.
Uchitel S, Kramer J, 2001, A workbench for synthesising behaviour models from scenarios, Los Alamitos, 23rd international conference on software engineering (ICSE 2001), Toronto, Canada, Publisher: IEEE Computer Soc, Pages: 188-197
Uchitel S, Kramer J, Magee J, 2001, Detecting implied scenarios in message sequence chart specifications, European software engineering conference, Publisher: ACM, Pages: 74-82, ISSN: 0163-5948
Uchitel S, Kramer J, Magee J, 2001, From sequence diagrams to behaviour models, Workshop on transformations in UML, European conferences on therory and practice of software, Genoa, 2001
Inverardi P, Uchitel S, 2001, Proving deadlock freedom in component-based programming, Berlin, Fundamental approaches to software engineering; FASE 2001, Publisher: Springer, Pages: 60-75, ISSN: 0302-9743
Uchitel S, Kramer J, Magee J, 2001, Detecting implied scenarios in message sequence chart specifications, European software engineering conference, Publisher: ACM, Pages: 74-82, ISSN: 0163-5948
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.