Search For:

Displaying 1-42 out of 42 total
Guest Editorial: Special Section on Interaction and State-Based Modeling
Found in: IEEE Transactions on Software Engineering
By Sebastian Uchitel, Manfred Broy, Ingolf H. Krüger, Jon Whittle
Issue Date:December 2005
pp. 997-998
No summary available.
 
Synthesizing Modal Transition Systems from Triggered Scenarios
Found in: IEEE Transactions on Software Engineering
By German Emir Sibay,Victor Braberman,Sebastian Uchitel,Jeff Kramer
Issue Date:July 2013
pp. 975-1001
Synthesis of operational behavior models from scenario-based specifications has been extensively studied. The focus has been mainly on either existential or universal interpretations. One noteworthy exception is Live Sequence Charts (LSCs), which provides ...
 
Elaborating Requirements Using Model Checking and Inductive Learning
Found in: IEEE Transactions on Software Engineering
By Dalal Alrajeh,Jeff Kramer,Alessandra Russo,Sebastian Uchitel
Issue Date:March 2013
pp. 361-383
The process of Requirements Engineering (RE) includes many activities, from goal elicitation to requirements specification. The aim is to develop an operational requirements specification that is guaranteed to satisfy the goals. In this paper, we propose a...
 
Behaviour Abstraction Coverage as Black-Box Adequacy Criteria
Found in: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST)
By Hernan Czemerinski,Victor Braberman,Sebastian Uchitel
Issue Date:March 2013
pp. 222-231
Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain ...
 
An Integrated Workbench for Model-Based Engineering of Service Compositions
Found in: IEEE Transactions on Services Computing
By Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
Issue Date:April 2010
pp. 131-144
The Service-Oriented Architecture (SOA) approach to building systems of application and middleware components promotes the use of reusable services with a core focus of service interactions, obligations, and context. Although services technically relieve t...
 
Validation of contracts using enabledness preserving finite state abstractions
Found in: Software Engineering, International Conference on
By Guido de Caso, Victor Braberman, Diego Garbervetsky, Sebastian Uchitel
Issue Date:May 2009
pp. 452-462
Pre/post condition-based specifications are common-place in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can hinder validation as it is difficu...
 
Synthesis of Partial Behavior Models from Properties and Scenarios
Found in: IEEE Transactions on Software Engineering
By Sebastian Uchitel, Greg Brunet, Marsha Chechik
Issue Date:May 2009
pp. 384-406
Synthesis of behavior models from software development artifacts such as scenario-based descriptions or requirements specifications helps reduce the effort of model construction. However, the models favored by existing synthesis approaches are not sufficie...
 
Existential live sequence charts revisited
Found in: Software Engineering, International Conference on
By German Sibay, Sebastian Uchitel, Victor Braberman
Issue Date:May 2008
pp. 41-50
Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scena...
 
Detecting Implied Scenarios from Execution Traces
Found in: Reverse Engineering, Working Conference on
By Felipe Cantal de Sousa, Nabor C. Mendonça, Sebastian Uchitel, Jeff Kramer
Issue Date:October 2007
pp. 50-59
A scenario describes how one or more system components interact to provide a certain set of functionalities. Because each scenario only represents a partial view of the overall system behavior, scenario- based specifications may hide unexpected interaction...
 
Behaviour Model Synthesis from Properties and Scenarios
Found in: Software Engineering, International Conference on
By Sebastian Uchitel, Greg Brunet, Marsha Chechik
Issue Date:May 2007
pp. 34-43
Synthesis of behaviour models from software development artifacts such as scenario-based descriptions or requirements specifications not only helps significantly reduce the effort of model construction, but also provides a bridge between approaches geared ...
 
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Found in: Software Engineering, International Conference on
By Jeff Magee, Jeff Kramer, Sebastian Uchitel, Howard Foster
Issue Date:May 2006
pp. 771-774
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...
 
Model-Based Analysis of Obligations in Web Service Choreography
Found in: Advanced International Conference on Telecommunications / Internet and Web Applications and Services, International Conference on
By Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
Issue Date:February 2006
pp. 149
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of Message Sequence Charts (MSCs) and implemented in the Web Service Choreograp...
 
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study
Found in: Services Computing, IEEE International Conference on
By Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer, Michael Hu
Issue Date:July 2005
pp. 217-224
<p>In this paper we discuss a case study for the UK Police IT Organisation (PITO) on using a model-based approach to verifying web service composition interactions for a coordinated service-oriented architecture. The move towards implementing web ser...
 
Tool Support for Model-Based Engineering of Web Service Compositions
Found in: Web Services, IEEE International Conference on
By Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
Issue Date:July 2005
pp. 95-102
In this paper we describe tool support 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 result...
 
Fluent-Based Animation: Exploiting the Relation between Goals and Scenarios for Requirements Validation
Found in: Requirements Engineering, IEEE International Conference on
By Sebastian Uchitel, Robert Chatley, Jeff Kramer, Jeff Magee
Issue Date:September 2004
pp. 208-217
Scenarios and goals are effective and popular techniques for requirements definition. Validation is essential in order to ensure that they represent what stakeholders actually want. Rather than validating scenarios and goals separately, possibly driving th...
 
Compatibility Verification for Web Service Choreography
Found in: Web Services, IEEE International Conference on
By Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
Issue Date:June 2004
pp. 738
In this paper we discuss a model-based approach to verifying process interactions for coordinated web service compositions. The approach uses finite state machine representations of web service orchestrations and assigns semantics to the distributed proces...
 
Model-based Verification of Web Service Compositions
Found in: Automated Software Engineering, International Conference on
By Howard Foster, Sebastian Uchitel, Jeff Magee, Jeff Kramer
Issue Date:October 2003
pp. 152
In this paper we discuss a model-based approach to verifying web service compositions for web service implementations. The approach supports verification against specification models and assigns semantics to the behavior of implementation models so as to c...
 
Second Workshop on Scenarios and State Machines: Models, Algorithms, and Tools
Found in: Software Engineering, International Conference on
By Alexander Egyed, Martin Glinz, Ingolf Krüger, Tarja Systä, Sebastian Uchitel, Albert Zündorf
Issue Date:May 2003
pp. 783
No summary available.
   
A Workbench for Synthesising Behaviour Models from Scenarios
Found in: Software Engineering, International Conference on
By Sebastian Uchitel, Jeff Kramer
Issue Date:May 2001
pp. 0188
Abstract: Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Our objective is to facilitate the development of behaviour models in conjunction with scenarios. In t...
 
Enhancing Architectural Mismatch Detection with Assumptions
Found in: Engineering of Computer-Based Systems, IEEE International Conference on the
By Sebastian Uchitel, Daniel Yankelevich
Issue Date:April 2000
pp. 138
Detecting software architecture inconsistencies is a critical issue in software design. Software systems are described in terms of components; component behavior and interaction and mismatch detection is explored through techniques based on behavior analys...
 
Automated Abstractions for Contract Validation
Found in: IEEE Transactions on Software Engineering
By Guido de Caso,Víctor Braberman,Diego Garbervetsky,Sebastián Uchitel
Publication Date: November 2010
pp. N/A
Pre/post condition-based specifications are common-place in a variety of software engineering activities that range from requirements through to design and implementation. The fragmented nature of these specifications can hinder validation as it is difficu...
 
Scenarios and state machines: models, algorithms, and tools
Found in: Software Engineering, International Conference on
By Sebastian Uchitel, Tarja Systä, Albert Zündorf
Issue Date:May 2002
pp. 659
In a wide range of application areas, system behavior is modeled using variations of scenarios and state machines. In telecommunications, ITU standards SDL (Specification and Description Language) and MSC (Message Sequence Charts) are used for formal speci...
   
Enabledness-based program abstractions for behavior validation
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Diego Garbervetsky, Guido De Caso, Sebastian Uchitel, Victor Braberman
Issue Date:July 2013
pp. 1-46
Code artifacts that have nontrivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. This work addresses the problem of va...
     
Weak Alphabet Merging of Partial Behavior Models
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Dario Fischbein, Greg Brunet, Marsha Chechik, Nicolas D'Ippolito, Sebastian Uchitel
Issue Date:March 2012
pp. 1-47
Constructing comprehensive operational models of intended system behavior is a complex and costly task, which can be mitigated by the construction of partial behavior models, providing early feedback and subsequently elaborating them iteratively. However, ...
     
On correct and complete strong merging of partial behaviour models
Found in: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (SIGSOFT '08/FSE-16)
By Dario Fischbein, Sebastian Uchitel
Issue Date:November 2008
pp. 1-2
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 requi...
     
Towards compositional synthesis of evolving systems
Found in: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering (SIGSOFT '08/FSE-16)
By Marsha Chechik, Mehrdad Sabetzadeh, Pamela Zave, Sebastian Uchitel, Shiva Nejati
Issue Date:November 2008
pp. 1-2
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. ...
     
Existential live sequence charts revisited
Found in: Proceedings of the 13th international conference on Software engineering (ICSE '08)
By German Sibay, Sebastian Uchitel, Victor Braberman
Issue Date:May 2008
pp. 1-1
Scenario-based specifications are a popular means for describing intended system behaviour. We aim to facilitate early analysis of system behaviour and the development of behaviour models in conjunction with scenarios. In this paper we define a novel scena...
     
Model checking service compositions under resource constraints
Found in: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering (ESEC-FSE '07)
By David Rosenblum, Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel, Wolfgang Emmerich
Issue Date:September 2007
pp. 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 p...
     
A foundation for behavioural conformance in software product line architectures
Found in: Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis (ROSATEA '06)
By Dario Fischbein, Sebastian Uchitel, Victor Braberman
Issue Date:July 2006
pp. 39-48
Software product lines or families represent an emerging paradigm that is enabling companies to engineer applications with similar functionality and user requirements more effectively. Behaviour modelling at the architecture level has the potential for sup...
     
Inferring operational requirements from scenarios and goal models using inductive learning
Found in: Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools (SCESM '06)
By Alessandra Russo, Dalal Alrajeh, Sebastian Uchitel
Issue Date:May 2006
pp. 29-36
Goal orientation is an increasingly recognised Requirements Engineering paradigm. However, integration of goal modelling with operational models remains an open area for which the few techniques that exist are cumbersome and impractical. In particular, the...
     
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Found in: Proceeding of the 28th international conference on Software engineering (ICSE '06)
By Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:May 2006
pp. 771-774
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...
     
Introduction to doctoral symposium
Found in: Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE '05)
By Sebastian Uchitel, Steve Easterbrook
Issue Date:November 2005
pp. 435-435
Recent work in applying causal modeling (Bayesian networks) to software engineering has resulted in improved decision support systems for software project managers. Once the causal models are built there are commercial tools that can run them. However, dat...
     
Leveraging Eclipse for integrated model-based engineering of web service compositions
Found in: Proceedings of the 2005 OOPSLA workshop on Eclipse technology eXchange (eclipse '05)
By Howard Foster, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:October 2005
pp. 95-99
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in allows a designer to specify a service's obligations for coordinated web servic...
     
Fluent temporal logic for discrete-time event-based models
Found in: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-13)
By Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:September 2005
pp. 70-79
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-based and state-based formalisms is defined through "fluents" which are state ...
     
Fluent-based web animation: exploring goals for requirements validation
Found in: Proceedings of the 27th international conference on Software engineering (ICSE '05)
By Jeff Kramer, Jeff Magee, Robert Chatley, Sebastian Uchitel
Issue Date:May 2005
pp. 674-675
We present a tool that provides effective graphical animations as a means of validating both goals and software designs. Goals are objectives that a system is expected to meet. They are decomposed until they can be represented as fluents. Animations are sp...
     
Monitoring and control in scenario-based requirements analysis
Found in: Proceedings of the 27th international conference on Software engineering (ICSE '05)
By Emmanuel Letier, Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:May 2005
pp. 382-391
Scenarios are an effective means for eliciting, validating and documenting requirements. At the requirements level, scenarios describe sequences of interactions between the software-to-be and agents in the environment. Interactions correspond to the occurr...
     
Merging partial behavioural models
Found in: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (SIGSOFT '04/FSE-12)
By Marsha Chechik, Sebastian Uchitel
Issue Date:October 2004
pp. 253-265
Constructing comprehensive operational models of intended system behaviour is a complex and costly task. Consequently, practitioners have adopted techniques that support incremental elaboration of partial behaviour descriptions. A noteworthy example is the...
     
System architecture: the context for scenario-based model synthesis
Found in: Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering (SIGSOFT '04/FSE-12)
By Jeff Kramer, Jeff Magee, Robert Chatley, Sebastian Uchitel
Issue Date:October 2004
pp. 253-265
Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task. Our aim is to facilitate model construction. Scenarios provide simple, intuitive, example based descriptions of the behaviour of component ins...
     
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
Found in: ACM Transactions on Software Engineering and Methodology (TOSEM)
By Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:January 2004
pp. 37-85
Behavior modeling has proved to be successful in helping uncover design flaws of concurrent and distributed systems. Nevertheless, it has not had a widespread impact on practitioners because model construction remains a difficult task and because the benef...
     
Negative scenarios for implied scenario elicitation
Found in: Proceedings of the tenth ACM SIGSOFT symposium on Foundations of software engineering (SIGSOFT '02/FSE 10)
By Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:November 2002
pp. 109-118
Scenario-based specifications such as Message Sequence Charts (MSCs) are popular for requirement elicitation and specification. MSCs describe two distinct aspects of a system: on the one hand they provide examples of intended system behaviour and on the ot...
     
Scenarios and state machines: models, algorithms, and tools
Found in: Proceedings of the 24th international conference on Software engineering (ICSE '02)
By Albert Zundorf, Sebastian Uchitel, Tarja Systa
Issue Date:May 2002
pp. 659-660
We present an overview of the 5th International Workshop on Principles of Software Evolution (IWPSE 2002).
     
Detecting implied scenarios in message sequence chart specifications
Found in: Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering (ESEC/FSE-9)
By Jeff Kramer, Jeff Magee, Sebastian Uchitel
Issue Date:September 2001
pp. 163-166
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenario describe how system components, the environment and users work concurrently and interact in order to pr...
     
 1