Research directions in requirements engineering
In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …
research directions suggested by emerging software needs. First, we overview the state of …
Current and future research directions in requirements engineering
In this paper, we review current requirements engineering (RE) research and identify future
research directions suggested by emerging software needs. First, we overview the state of …
research directions suggested by emerging software needs. First, we overview the state of …
Leveraging existing instrumentation to automatically infer invariant-constrained models
Computer systems are often difficult to debug and understand. A common way of gaining
insight into system behavior is to inspect execution logs and documentation. Unfortunately …
insight into system behavior is to inspect execution logs and documentation. Unfortunately …
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed,
modeling and analysis of interactions among their components is a crucial problem. In …
modeling and analysis of interactions among their components is a crucial problem. In …
Interaction protocols as design abstractions for business processes
Business process modeling and enactment are notoriously complex, especially in open
settings, where business partners are autonomous, requirements must be continually …
settings, where business partners are autonomous, requirements must be continually …
Synthesis of partial behavior models from properties and scenarios
Synthesis of behavior models from software development artifacts such as scenario-based
descriptions or requirements specifications helps reduce the effort of model construction …
descriptions or requirements specifications helps reduce the effort of model construction …
Synchronizability of conversations among web services
We present a framework for analyzing interactions among Web services that communicate
with asynchronous messages. We model the interactions among the peers participating in a …
with asynchronous messages. We model the interactions among the peers participating in a …
Model checking of UML 2.0 interactions
The UML 2.0 integrates a dialect of High-Level Message Sequence Charts (HMSCs) for
interaction modelling. We describe a translation of UML 2.0 interactions into automata for …
interaction modelling. We describe a translation of UML 2.0 interactions into automata for …
Graphical scenarios for specifying temporal properties: an automated approach
Temporal logics are commonly used for reasoning about concurrent systems. Model
checkers and other finite-state verification techniques allow for automated checking of …
checkers and other finite-state verification techniques allow for automated checking of …
Checking the realizability of BPMN 2.0 choreographies
Choreographies allow business and service architects to specify with a global perspective
the requirements of applications built over distributed and interacting software entities. While …
the requirements of applications built over distributed and interacting software entities. While …