Abstract
A formal specification, written in a mathematical notation, is beyond the comprehension of the average software customer. As a result, the customer cannot provide useful feedback regarding its correctness and completeness. To address this problem, we suggest the formalism expert to work with the customer to create precise scenarios. With only a few simple Z concepts, a precise scenario describes an operation by its effects on the system state. The customer would find a concrete precise scenario easier to understand than its corresponding abstract schema. The Z expert derives schemas based on the precise scenarios. Precise scenarios afford user involvement that improves the odds of a formal specification fully capturing the user requirements.
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
The Standish Group: The CHAOS Report, 5 ( 1994)
Zimmerman, M.K., Lundqvist, K., Leveson, N.: Investigating the Readability of State-Based Formal Requirements Specification Languages. ICSE 2002: 24th International Conference on Software Engineering, May 2002, pp. 33–43 (2002)
Glass, R.L.: The Mystery of Formal Methods Disuse. Communications of the ACM 47(8), 15–17 (2004)
Amyot, D., Logrippo, L., Buhr, R.J.A., Gray, T.: Use Case Maps for the Capture and Validation of Distributed Systems Requirements. RE 1999: 4th IEEE International Symposium on Requirements Engineering, June 1999, pp. 44–54 (1999)
Whittle, J., Schumann, J.: Generating Statechart Designs from Scenarios. ICSE’00: 22nd International Conference on Software Engineering, June 2000, pp. 314–323 (2000)
Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Transactions on Software Engineering 29(2), 99–115 (2003)
Damas, C., Lambeau, B., Dupont, P., van Lamsweerde, A.: Generating Annotated Behaviour Models from End-User Scenarios. IEEE Transactions on Software Engineering 31(12), 1056–1073 (2005)
Grieskamp, W., Lepper, M.: Using Use Cases. In: Executable, Z., Liu, S., McDermid, J.A., Hinchey, M.G. (eds.) ICFEM 2000: 3rd IEEE International Conference on Formal Engineering Methods, September 2000, pp. 111–119 (2000)
Büssow, R., Grieskamp, W.: A Modular Framework for the Integration of Heterogeneous Notations and Tools. In: Araki, K., Galloway, A., Taguchi, K. (eds.) IFM99: 1st International Conference on Integrated Formal Methods, June 1999, pp. 211–230 (1999)
Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: A Formal Engineering Methodology for Industrial Applications. IEEE Transactions on Software Engineering 24(1), 24–45 (1998)
Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley, Reading (2000)
Beck, K.: Test-Driven Development: By Example, p. 24. Addison-Wesley, Reading (2003)
Mugridge, R., Cunningham, W.: Fit for Developing Software: Framework for Integrated Tests. Prentice-Hall, Englewood Cliffs (2005)
Bowen, J.P.: Chapter 1 - Z. In: Habrias, H., Frappier, M. (eds.) Software Specification Methods, ISTE, pp. 3–20 (2006)
Sommerville, I.: Software Engineering, 6th edn., pp. 444–447. Addison-Wesley, Reading (2001)
Toyn, I., McDermid, J.A.: CADiℤ: An Architecture for Z Tools and its Implementation. Software – Practice and Experience 25(3), 305–330 (1995)
Malik, P., Utting, M.: CZT: A Framework for Z Tools. ZB2005: 4th International Conference of B and Z Users, pp. 65–84 (April 2005)
Saaltink, M.: The Z/EVES 2.0 User’s Guide, ORA Canada, pp. 31–32 (1999)
Zull, J.E.: The Art of Changing the Brain, pp. 102–103. Stylus Publishing (2002)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Au, O., Stone, R., Cooke, J. (2007). Precise Scenarios – A Customer-Friendly Foundation for Formal Specifications. In: Davies, J., Gibbons, J. (eds) Integrated Formal Methods. IFM 2007. Lecture Notes in Computer Science, vol 4591. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73210-5_2
Download citation
DOI: https://doi.org/10.1007/978-3-540-73210-5_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73209-9
Online ISBN: 978-3-540-73210-5
eBook Packages: Computer ScienceComputer Science (R0)