Advertisement

Combining JSD and Cleanroom for Object-Oriented Scenario Specification

  • Marc Frappier
  • Richard St-Denis
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 523)

Abstract

A black box specification process useful for the requirements analysis phase of object-oriented methods is presented. It provides a notation for structuring the description of a system’s external behavior as input-output traces using process algebra and entities from the Jackson System Development method. Such a notation allows black box specifications to be an acceptablesubstitute or supplement for use cases, scenarios, and interaction diagrams. The specification process is divided into four phases - declaration of input and output spaces, specification of entities composing the system, definition of constraints on well-formed input sequences, and specification of input-output behavior.

Keywords

Unify Modeling lAnguage Input Sequence Entity Type Parallel Composition Process Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [A96]
    Abrial, J.-R. (1996) The B-Book, Cambridge University Press.Google Scholar
  2. [BB87]
    Bolognesi, T., E. Brinksma (1987) Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems 14(1) 25–59.CrossRefGoogle Scholar
  3. [BRJ99]
    Booch, G., J. Rumbaugh, I. Jacobson (1999) The Unified Modeling Language User Guide, Addison-WeslGoogle Scholar
  4. [BDD92]
    Broy, M., F. Dederichs, C. Dendorfer, M. Fuchs, T.F. Gritzner, R. Weber (1992) The Design of Distributed Systems-an Introduction to FOCUS, Technische Universität München, Institut für Informatik, TUM-I92Google Scholar
  5. [FS99]
    Frappier, M., R. St-Denis (1999) Specifying Information Systems through Structured Input-Output Traces, Université de Sherbrooke, Département de mathématiques et d’informatique, Technical Report 2Google Scholar
  6. [H85]Hoare, C.A.R. (1985) Communicating Sequential Processes, Prentice Hall.Google Scholar
  7. [J83]Jackson, M. (1983) System Development, Prentice Hall.Google Scholar
  8. [L94]
    Linger, R.C. (1994) Cleanroom Process Model, IEEE Software 11(2) 50–58.CrossRefGoogle Scholar
  9. [MLH86]
    Mills, H.D., R.C. Linger, A.R. Hevner (1986) Principles of Information Systems Analysis and Design, Academic PreGoogle Scholar
  10. [M89]
    Milner, R. (1989) Communication and Concurrency, Prentice Hall.Google Scholar
  11. [098]Odell, J.J. (1998) Advanced Object-Oriented Analysis & Design Using UML, Cambridge University Press.Google Scholar
  12. [R97]Rational Software (1997) Unified Modeling Language Summary, version 1.1, September 1, http://www.rational.com/uml/
  13. [S88]
    Spivey, J.M. (1988) Understanding Z: A Specification Language and its Formal Semantics, vol. 3 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press.Google Scholar
  14. [WP94]
    Wang, Y., D.L. Parnas (1994) Simulating the Behavior of Software Modules by Trace Rewriting, IEEE Transactions on Software Engineering 20(10) 750–759.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 1999

Authors and Affiliations

  • Marc Frappier
    • 1
  • Richard St-Denis
    • 1
  1. 1.Département de mathématiques et d’informatiqueUniversité de SherbrookeSherbrooke (Québec)Canada

Personalised recommendations