Use case maps for the capture and validation of distributed systems requirements

Amyot, Daniel; Logrippo, Luigi; Buhr, R. J. A.; Gray, Tom

doi:10.1109/isre.1999.777984

Cited by 33 publications

(28 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…A key observation, done many times before, is that UML use cases have a number of weaknesses and shortcomings, e.g., [82] points out a number of problems under headlines like use case modelling misses long-range logical dependency and use case dependency is non-logical and inconsistent. Various remedies have been proposed, see, e.g., [2,3].…”

Section: Conclusion On Modelling Requirements To the Phcsmentioning

confidence: 99%

Application of Coloured Petri Nets in System Development

Kristensen

Jørgensen

Jensen

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ranging from requirements to design, validation, and implementation. This paper presents four case studies where CP-nets and their supporting computer tools have been used in system development projects with industrial partners. The case studies have been selected such that they illustrate different application areas of CP-nets in various phases of system development.

show abstract

Section: Conclusion On Modelling Requirements To the Phcsmentioning

confidence: 99%

Application of Coloured Petri Nets in System Development

Kristensen

Jørgensen

Jensen

2004

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Stubs and selection policies tend to localize the places on scenarios where undesirable feature interactions can occur [4,6,26], hence simplifying the analysis. They can also be used to specify priorities of some features over others.…”

Section: Ucms and Scenario Integrationmentioning

confidence: 99%

“…UCMs have a history of applications to the description of features and telecommunications systems of different natures (e.g. [3][4][5][6]8]), to the avoidance and detection of undesirable interactions between scenarios or features (e.g. [4,6,15,26]) and to early performance analysis (e.g.…”

Section: Areas Of Applicationmentioning

confidence: 99%

“…[3][4][5][6]8]), to the avoidance and detection of undesirable interactions between scenarios or features (e.g. [4,6,15,26]) and to early performance analysis (e.g. [30,31]).…”

Section: Areas Of Applicationmentioning

confidence: 99%

“…• Lotos models, which enable formal validation, verification, and detection of undesirable interactions [4][5][6]8]. …”

Section: Current Ucm Researchmentioning

confidence: 99%

See 2 more Smart Citations

Use Case Maps as a Feature Description Notation

Amyot

2001

Language Constructs for Describing Features

View full text Add to dashboard Cite

Abstract. We propose Use Case Maps (UCMs) as a notation for describing features. UCMs capture functional requirements in terms of causal scenarios bound to underlying abstract components. This particular view proved very useful in the description of a wide range of reactive and telecommunications systems. This paper presents some of the most interesting constructs and benefits of the notation in relation to a question on a User Requirements Notation recently approved by ITU-T Study Group 10, which will lead to a new Recommendation by 2003. Tool support, current research on UCMs, and related notations are also discussed.

show abstract

Activity Graphs and Processes

Bolton

Davies

2000

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Use case maps for the capture and validation of distributed systems requirements

Cited by 33 publications

References 2 publications

Application of Coloured Petri Nets in System Development

Application of Coloured Petri Nets in System Development

Use Case Maps as a Feature Description Notation

Activity Graphs and Processes

Contact Info

Product

Resources

About