Skip to main content
SpringerLink
Log in
Book cover

Symposium on Software Quality Techniques and Acquisition Criteria

SQ 1995: Objective Software Quality pp 78–93Cite as

Validating software requirements using operational models

  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 926))

Abstract

It is well known that validating software requirements is an essential activity. Using operational models (i.e. models that are rigorous and mostly graphical and can be executed just as a very high-level programming language) can help the analysts get an insight into the system behavior and point out inconsistencies and missing requirements. This paper presents two modeling languages, Protob and Quid (the former covering functional and control issues, the latter addressing informational aspects) and illustrates their simulation and animation features, while emphasizing the architecture of models.

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. Zave. The operational versus the conventional approach to software development. Commun. ACM, 27:104–18, February 1984.

    Google Scholar 

  2. D. E. Perry and A. L. Wolf. Foundations for the study of software architecture. ACM SIGSOFT Software Engineering Notes, 17:40–52, October 1992.

    Google Scholar 

  3. K. Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science, 14:317–36, 1981.

    Google Scholar 

  4. H. J. Genrich and K. Lautenbach. System modelling with high-level Petri nets. Theoretical Computer Science, 13:109–36, 1981.

    Google Scholar 

  5. C. Ramchandani. Analysis of Asynchronous Concurrent Systems by timed Petri Nets. PhD thesis, MIT, February 1974.

    Google Scholar 

  6. D. Hatley and I. Pirbhai. Strategies for real-time system specification. Dorset House, New York, 1987.

    Google Scholar 

  7. P. T. Ward and S. J. Mellor. Structured development of real-time systems. Yourdon Press, Englewood Cliffs, N.J., 1985.

    Google Scholar 

  8. G. Bruno and G. Marchetto. Process-translatable Petri nets for the rapid prototyping of process control systems. IEEE Trans. Software Engineering, 12:346–57, February 1986.

    Google Scholar 

  9. M. Baldassari and G. Bruno. PROTOB: an object oriented methodology for developing discrete event dynamic systems. Computer Languages, 16:39–63, January 1991.

    Google Scholar 

  10. G. Bruno. Model-based software engineering. Chapman & Hall, London, 1994.

    Google Scholar 

  11. T. Murata. Petri nets: properties, analysis and applications. Proceedings of the IEEE, 77:541–580, April 1989.

    Google Scholar 

  12. K. Jensen and G. Rozenberg, editors. High-level Petri nets: theory and applications. Springer-Verlag, Berlin, 1991.

    Google Scholar 

  13. B. J. Cox. Object-oriented programming. Addison-Wesley, Reading, MA, 1986.

    Google Scholar 

  14. J. Rumbaugh et al. Object-oriented modeling and design. Prentice-Hall, Englewood Cliffs, N.J., 1991.

    Google Scholar 

  15. G. Bruno, A. Grammatica, and G. Macario. Operational Entity-Relationship with Quid. In Proceedings of the 5th International Conference on Software Engineering and its Applications, Toulouse, December 1992, pages 433–42. EC2, Nanterre, France, 1992.

    Google Scholar 

  16. G. S. Fishman. Concepts and methods in discrete event digital simulation. John Wiley & Sons, New York, 1973.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dip. Automatica e Informatica, Politecnico di Torino, corso Duca degli Abruzzi 24, 10129, Torino, Italy

    Giorgio Bruno & Rakesh Agarwal

Authors
  1. Giorgio Bruno
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rakesh Agarwal
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Paolo Nesi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bruno, G., Agarwal, R. (1995). Validating software requirements using operational models. In: Nesi, P. (eds) Objective Software Quality. SQ 1995. Lecture Notes in Computer Science, vol 926. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-59449-3_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-59449-3_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59449-9

  • Online ISBN: 978-3-540-49268-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation