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 …
[图书][B] Come, let's play: scenario-based programming using LSCs and the play-engine
D Harel, R Marelly - 2003 - Springer
This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is
about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they …
about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they …
From communicating machines to graphical choreographies
Graphical choreographies, or global graphs, are general multiparty session specifications
featuring expressive constructs such as forking, merging, and joining for representing …
featuring expressive constructs such as forking, merging, and joining for representing …
Synthesis of behavioral models from scenarios
Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as
part of a requirements specification. A scenario is a partial story, describing how system …
part of a requirements specification. A scenario is a partial story, describing how system …
Synthesizing state-based object systems from LSC specifications
Live sequence charts (LSCs) have been defined recently as an extension of message
sequence charts (MSCs; or their UML variant, sequence charts (MSCs; or their UML variant …
sequence charts (MSCs; or their UML variant, sequence charts (MSCs; or their UML variant …
On global types and multi-party session
G Castagna, M Dezani-Ciancaglini… - Logical Methods in …, 2012 - lmcs.episciences.org
Global types are formal specifications that describe communication protocols in terms of
their global interactions. We present a new, streamlined language of global types equipped …
their global interactions. We present a new, streamlined language of global types equipped …
Incremental elaboration of scenario-based specifications and behavior models using implied scenarios
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 …
concurrent and distributed systems. Nevertheless, it has not had a widespread impact on …
Specifying and executing behavioral requirements: the play-in/play-out approach
D Harel, R Marelly - Software & Systems Modeling, 2003 - Springer
A powerful methodology for scenario-based specification of reactive systems is described, in
which the behavior is “played in” directly from the system's GUI or some abstract version …
which the behavior is “played in” directly from the system's GUI or some abstract version …
Smart play-out of behavioral requirements
We describe a methodology for executing scenario-based requirements of reactive systems,
focusing on “playing-out” the behavior using formal verification techniques for driving the …
focusing on “playing-out” the behavior using formal verification techniques for driving the …