AbstractThis paper proposes a merge operator for behavioral requirements expressed by Message Sequence Charts and shows how this product can be systematically used to integrate new behaviors in an existing one. First the merge operator is defined as a fibered product of scenario descriptions. This product is then used to integrate a consensus mechanism to solve the non-local choice problem
In this work, we de fine some non-prioritized merge operators, that is, operators for the consistent...
Properties of scenario languages (Message Sequence Charts, Live Sequence Charts, UML's sequence diag...
Large software projects are characterized by distributed environments consisting of teams at differe...
AbstractThis paper proposes a merge operator for behavioral requirements expressed by Message Sequen...
ABSTRACT Constructing comprehensive operational models of intended system behaviour is a complex and...
Abstract—Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as part of ...
We introduce a visual notation for local specification of concurrent components based on message seq...
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last deca...
Triggered scenarios are sequence charts that represent interactions between the system agents’. Grap...
Several scenario description languages and associated behaviour synthesis processes have been develo...
Interaction scenarios are commonly used in capturing and modelling system requirements of distribute...
Abstract. Scenario languages based on Message Sequence Charts (MSCs) and related notations have been...
Message Sequence Charts are a popular formalism for the design of distributed systems executions bas...
Abstract. Requirements engineering (RE) is an inherently piecemeal and dynamic process. Arrangement,...
We consider the problem of automatic abstraction, from a low-level model given in term of network of...
In this work, we de fine some non-prioritized merge operators, that is, operators for the consistent...
Properties of scenario languages (Message Sequence Charts, Live Sequence Charts, UML's sequence diag...
Large software projects are characterized by distributed environments consisting of teams at differe...
AbstractThis paper proposes a merge operator for behavioral requirements expressed by Message Sequen...
ABSTRACT Constructing comprehensive operational models of intended system behaviour is a complex and...
Abstract—Scenario-based specifications such as Message Sequence Charts (MSCs) are useful as part of ...
We introduce a visual notation for local specification of concurrent components based on message seq...
Scenario languages based on Message Sequence Charts (MSCs) have been widely studied in the last deca...
Triggered scenarios are sequence charts that represent interactions between the system agents’. Grap...
Several scenario description languages and associated behaviour synthesis processes have been develo...
Interaction scenarios are commonly used in capturing and modelling system requirements of distribute...
Abstract. Scenario languages based on Message Sequence Charts (MSCs) and related notations have been...
Message Sequence Charts are a popular formalism for the design of distributed systems executions bas...
Abstract. Requirements engineering (RE) is an inherently piecemeal and dynamic process. Arrangement,...
We consider the problem of automatic abstraction, from a low-level model given in term of network of...
In this work, we de fine some non-prioritized merge operators, that is, operators for the consistent...
Properties of scenario languages (Message Sequence Charts, Live Sequence Charts, UML's sequence diag...
Large software projects are characterized by distributed environments consisting of teams at differe...
DOI
Add to ORKG