Publications
183 results found
de Caso G, Braberman V, Garbervetsky D, et al., 2009, Validation of Contracts using Enabledness Preserving Finite State Abstractions, 31st International Conference on Software Engineering (ICSE 2009), Publisher: IEEE, Pages: 452-462, ISSN: 0270-5257
- Author Web Link
- Cite
- Citations: 5
Pavese E, Braberman V, Uchitel S, 2009, Probabilistic Environments in the Quantitative Analysis of (Non-Probabilistic) Behaviour Models, 7th Joint Meeting of the European Software Engineering Conference/ ACM SIGSOFT Symposium on the Foundations of Software Engineering, Publisher: ASSOC COMPUTING MACHINERY, Pages: 335-344
- Author Web Link
- Cite
- Citations: 1
Fischbein D, Braberman V, Uchitel S, 2009, A Sound Observational Semantics for Modal Transition Systems, 6th International Colloquium on Theoretical Aspects of Computing (ICTAC 2009), Publisher: SPRINGER-VERLAG BERLIN, Pages: 215-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 10
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
Uchitel S, 2009, Partial Behaviour Modelling: Foundations for Incremental and Iterative Model-Based Software Engineering, 12th Brazilian Symposium on Formal Methods, Publisher: SPRINGER-VERLAG BERLIN, Pages: 17-22, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 5
Nejati S, Sabetzadeh M, Chechik M, et al., 2008, Towards compositional synthesis of evolving systems, Pages: 285-296
Synthesis of system configurations from a given set of features is an important and very challenging problem. This paper makes a step towards this goal by describing an efficient technique for synthesizing pipeline configurations of feature-based systems. We identify and formalize a design pattern that is commonly used in featurebased development. We show that this pattern enables compositional synthesis of feature arrangements. In particular, the pattern allows us to add or remove features from an existing system without having to reconfigure the system from scratch. We describe an implementation of our technique and evaluate its applicability and effectiveness using a set of telecommunication features from AT&T, arranged within the DFC architecture. © 2008 ACM.
Fischbein D, Uchitel S, 2008, On correct and complete strong merging of partial behaviour models, Pages: 297-307
Modal Transition Systems (MTS) have been shown to be useful to reason about system behaviour in the context of partial information and to support incremental elaboration of behaviour models. A particularly useful notion in the context of software and requirements engineering is that of merge. MTS merging can be used as the conjunction of multiple partial operational descriptions which may have been provided as MTS or even synthesised from other description languages such as goal models and scenarios. One of the current limitations of MTS merging is that a complete and correct algorithm for merging has not been developed. Hence, an engineer attempting to merge partial descriptions may be prevented to do so by overconstrained algorithms or algorithms that introduce behaviour that does not follow from the partial descriptions being merged. This paper resolves these problems for strong semantics by providing a complete characterization of MTS consistency and a correct and complete algorithm for MTS merging. © 2008 ACM.
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.
D'Ippolito N, Fischbein D, Chechik M, et al., 2008, MTSA: The modal transition system analyser, Pages: 475-476
Modal Transition Systems (MTS) are operational models that distinguish between required and proscribed behaviour of the system to be and behaviour which it is not yet known whether the system should exhibit. MTS, in contrast with traditional behaviour models, support reasoning about the intended system behaviour in the presence of incomplete knowledge. In this paper, we present MTSA a tool that supports the construction, analysis and elaboration of Modal Transition Systems (MTS). © 2008 IEEE.
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
Uchitel S, Easterbrook S, 2008, Guest editors' introduction, AUTOMATED SOFTWARE ENGINEERING, Vol: 15, Pages: 1-2, ISSN: 0928-8910
Sibay G, Uchitel S, Braberman V, 2008, Existential Live Sequence Charts Revisited, 30th International Conference on Software Engineering, Publisher: ASSOC COMPUTING MACHINERY, Pages: 41-50
- Author Web Link
- Cite
- Citations: 20
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, Mukhija A, Rosenblum DS, et al., 2008, A Model-Driven Approach to Dynamic and Adaptive Service Brokering Using Modes, 6th International Conference on Service-Oriented Computing, Publisher: SPRINGER-VERLAG BERLIN, Pages: 558-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 3
Alrajeh D, Russo A, Uchitel S, 2008, Deriving non-zeno behavior models from goal models using ILP, 11th International Conference on Fundamental Approaches to Software Engineering, Publisher: SPRINGER-VERLAG BERLIN, Pages: 1-15, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 1
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.
D'Ippolito N, Fishbein D, Foster H, et al., 2007, MTSA, OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference, Publisher: ACM
Alrajeh D, Ray O, Russo A, et al., 2007, Extracting Requirements from Scenarios using ILP, International Conference on Inductive Logic Programming, Publisher: Springer, Pages: 63-77
Uchitel S, Brunet G, Chechik M, 2007, Behaviour model synthesis from properties and scenarios, 29th IEEE/ACM International Conference on Software Engineering (ICSE), Publisher: IEEE Press, Pages: 34-43
Chechik M, Brunet G, Fischbein D, et al., 2007, Partial Behavioural Models for Requirements and Early Design, ISSN: 1862-4405
In this paper, we first motivate and summarize our recent work on creation, management, and specifically merging of partial behavioural models, expressed as model transition systems. We then address two issues coming out of MMOSS discussions: alphabet embedding as an alternative to common observational refinement and minimum refinement steps. We show that the former is not possible, and discuss informally how to define the latter.
, 2007, Proceedings of the 6th International Workshop on Software and Performance, WOSP 2007, Buenes Aires, Argentina, February 5-8, 2007, Publisher: ACM
D'Ippolito N, Fischbein D, Foster H, et al., 2007, MTSA: Eclipse support for modal transition systems construction, analysis and elaboration., Publisher: ACM, Pages: 6-10
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
Alrajeh D, Ray O, Russo A, et al., 2007, Extracting requirements from scenarios with ILP, 16th International Conference on Inductive Logic Programming, Publisher: SPRINGER-VERLAG BERLIN, Pages: 64-+, ISSN: 0302-9743
- Author Web Link
- Cite
- Citations: 7
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.
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
Fischbein D, Uchitel S, Braberman V, 2006, A Foundation for Behavioural Conformance in Software Product Line Architectures, 2nd ROSATEA Workshop at the International Symposium on Software Testing and Analysis, Portland, Maine, 2006
Alrajeh D, Russo A, Uchitel S, 2006, Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning (2006), International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2003.
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.
Alrajeh D, Russo A, Uchitel S, 2006, Inferring Operational Requirements from Scenarios and Goal Models Using Inductive Learning (2006), International Workshop on Scenarios and State Machines: Models, Algorithms, and Tools at the 29th IEEE/ACM International Conference on Software Engineering (ICSE). Shanghai, China, 2003.
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.