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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Abrial, J.-R. (1996) The B-Book, Cambridge University Press.
Bolognesi, T., E. Brinksma (1987) Introduction to the ISO Specification Language LOTOS, Computer Networks and ISDN Systems 14(1) 25–59.
Booch, G., J. Rumbaugh, I. Jacobson (1999) The Unified Modeling Language User Guide, Addison-Wesl
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-I92
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 2
[H85]Hoare, C.A.R. (1985) Communicating Sequential Processes, Prentice Hall.
[J83]Jackson, M. (1983) System Development, Prentice Hall.
Linger, R.C. (1994) Cleanroom Process Model, IEEE Software 11(2) 50–58.
Mills, H.D., R.C. Linger, A.R. Hevner (1986) Principles of Information Systems Analysis and Design, Academic Pre
Milner, R. (1989) Communication and Concurrency, Prentice Hall.
[098]Odell, J.J. (1998) Advanced Object-Oriented Analysis & Design Using UML, Cambridge University Press.
[R97]Rational Software (1997) Unified Modeling Language Summary, version 1.1, September 1, http://www.rational.com/uml/
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.
Wang, Y., D.L. Parnas (1994) Simulating the Behavior of Software Modules by Trace Rewriting, IEEE Transactions on Software Engineering 20(10) 750–759.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Frappier, M., St-Denis, R. (1999). Combining JSD and Cleanroom for Object-Oriented Scenario Specification. In: Kilov, H., Rumpe, B., Simmonds, I. (eds) Behavioral Specifications of Businesses and Systems. The Springer International Series in Engineering and Computer Science, vol 523. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5229-1_5
Download citation
DOI: https://doi.org/10.1007/978-1-4615-5229-1_5
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7383-4
Online ISBN: 978-1-4615-5229-1
eBook Packages: Springer Book Archive