Sales, I. and Probert, R. (2000) "From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language". In: SBRC'2000, 18 Simpsio Brasileiro de Redes de Computadores, Belo Horizonte, Brazil, May 2000.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....as I.130 [41] and Q.65 [42] and smoothes the transition towards later stages of development processes. On top of traceability links between NFRs and UCMs, the proposed standard intends to provide additional insights on the derivation of MSCs [6] 19] and the generation of formal models [7] 8] 18][70] and performance models [72] from URN models. Links to the UML standard will also be investigated in order to unify common concepts and perhaps notations [9] Tool support is also being investigated [60] It is our hope that future development processes for telecommunication systems will make ....

Sales, I. and Probert, R. (2000) "From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language". In: SBRC'2000, 18 Simpsio Brasileiro de Redes de Computadores, Belo Horizonte, Brazil, May 2000.

....map, and the linear sub paths within this structure would define the message sequences within the HMSC. The transformation machinery described here is also being adapted to create test cases and performance models from UCMs [24] and to exploit UCM scenario information in generating SDL models [8, 23]. Acknowledgements This research was supported by Nortel Networks, Mitel Networks, and by the Industrial Partnerships program of the Natural Sciences and Engineering Research Council of Canada. Discussions with John Visser, Jim Hodges, Jacques Sincennes, Luigi Logrippo and Gunter Mussbacher were ....

Sales, I. and Probert, R. L.: "From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language". In: SBRC'2000, 18 # Simposio Brasileiro de Redes de Computadores, Belo Horizonte, Brazil (May 2000) Deriving MSCs from UCM Scenario Specifications 19

....about the architecture by adding component structures to the maps. From UCMs, more detailed UML views or models in other modeling specification languages may be derived, including class diagrams [6] Message Sequence Charts [5] Statecharts RoomCharts [4] and LOTOS [1] and SDL specifications [10] (to validate UCMs and designs and to detect undesirable interactions early in the design cycle) Other research projects include the generation of performance models [11] and of validation test cases. ITU T has recognized the need for a User Requirements Notation (URN) and initiated its ....

Sales, I. and Probert, R. From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language. In: Proc. SBRC'2000 (Belo Horizonte, Brazil, May 2000).

....Case Maps as a Feature Description Notation 37 . Hierarchical state machines such as UML statechart diagrams or ROOMcharts [12] Lotos models, which enable formal validation, verification, and detection of undesirable interactions [4 6,8] SDL models, which also enable formal validation [29]. UML and UML RT models [7,12] Other research projects include the generation of performance models (e.g. in Layered Queuing Networks LQNs) of abstract test cases for functional testing (e.g. in the Tree and Tabular Combined Notation TTCN) and of programs in agent oriented languages. ....

Sales, I. and Probert, R. L.: "From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language". In: SBRC'2000, 18th Brazilian Symposium on Computer Networks, Belo Horizonte, Brazil, May 2000.

....the process of being formalized and automated in the UCM Navigator tool. Bordeleau presents a method for the generation of MSCs and hierarchical state machines (e.g. statechart diagrams and ROOMcharts) from UCMs [5] 6] Sales and Probert are doing similar work for the generation of SDL models [20]. Amyot et al. use LOTOS as a formal means to validate UCMs and high level designs and to detect undesirable interactions early in the design cycle [2] 3] Other research projects include the generation of performance models (e.g. in Layered Queuing Networks LQNs) and of abstract test ....

Sales, I. and Probert, R.: "From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language". Submitted to SBRC'2000, 18th Brazilian Symposium on Computer Networks, Belo Horizonte, Brazil, May 2000.

....of being formalized and automated in the UCM Navigator tool. Hierarchical state machines such as UML statechart diagrams and ROOMcharts [9] LOTOS models, which enable formal validation and detection of undesirable interactions [3] 4] 5] 7] SDL models, which also enable formal validation [20]. UML and UML RT models [6] 9] Other research projects include the generation of performance models (e.g. in Layered Queuing Networks LQNs) of abstract test cases (e.g. in the Tree and Tabular Combined Notation TTCN) and of programs in agent oriented languages. The notation is also ....

Sales, I. and Probert, R.: "From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language". In: SBRC'2000, 18th Brazilian Symposium on Computer Networks, Belo Horizonte, Brazil, May 2000.

....used to capture key functional requirements as sequences of actions and reactions that are not easy to capture directly in an Extended Finite State Machine (EFSM) model. Rules for conversion of UCM representations to MSC and SDL have been reported by a number of authors and are applied here [7] [8]. Production of SDL, Message Sequence Charts (MSC) C code, and simulation validation data was done using commercial tools [9] Fig. 1. The formal process flow including requirements capture, specification, description and the use of commercial tools to perform simulation, validation, analysis ....

Igor S. Sales, Robert L. Probert, From High-Level Behaviour to High-Level Design: Use Case Maps to Specification and Description Language, SBRS 2000, Simpsio Brasileiro de Redes de Computadores, Belo Horizonte, Minas Garais, Brazi, May, 2000.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC