Abstract
The importance of use cases has been growing for the last few years. We believe they are important to help developers capturing requirements. The work presented here formalises use cases using basic temporal logic to define history invariants within Object-Z class schemas. This is accomplished by proposing a set of formal frameworks integrated within a process.
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
Araújo, J. 1996. Metamorphosis: an Object-Oriented Requirements Specification Method, PhD Thesis, University of Lancaster, UK.
Braek, R. and Haugen, O., et al, 1996. SISU Integrated Methodology, SISU report L-2001–7, SISU, Norway.
Booch, G., Rumbaugh, J. and Jacobson, I., 1998. The Unified Modeling Language User Guide, Addison-Wesley.
Clark, R., and Moreira, A., 1997. Constructing Formal Specifications from Informal Requirements, Proc. Software Tecnology and Engineering Practice, IEEE Computer Society.
Duke, D., King, P., Rose, G.A., Smith, G., 1991. The Object-Z Specification Language, version 1, Technical Report 91–1, Department of Computing Science, University of Queensland, Australia.
Hayes, I., 1987. editor: Specification Case Studies. International Series in Computer Science, Prentice-Hall.
Jacobson, I., 1992. Object-Oriented Software Engineering—a Use Case Driven Approach, Addison-Wesley, Reading Massachusetts.
Kotonya, G. and Sommerville, I., 1996. Requirements Engineering with Viewpoints, Software Engineering Journal, 11(1), 5–18.
Kuusela, J. and Kenttunen, E., 1993. Integrating SDL and Object-Oriented Analysis Through OMT/SDL, SDL’93, 89–103, North Holland.
Manna, Z. and Pnuelli, A., 1992. The Temporal Logic of Reactive and Concurrent Systems, Springer-Verlag.
Meyer, B., 1998. Object-Oriented Software Construction, Prentice-Hall.
Moreira, A. and R. Clark, R., 1996. Adding Rigour to Object-Oriented Analysis, Software Engineering Journal, 11(5): 270–280.
Nuseibeh, B., Kramer, J. and Finkelstein, A., 1994. A Framework for Expressing the Relationships between Multiple Views in Requirements Specification, IEEE Transactions on Software Engineering, 20(10), 760–773.
Reed, R., 1996. Methodology for Real Time Systems, Computer Networks and ISDN Systems, 28(12), 1685–1701.
Rumbaugh, J. et al, 1991. Object-oriented Modeling and Design, Prentice Hall.
Sinclair, D., Clyinch, G. and Stone, B., 1996. An Object-Oriented Methodology from Requirements to Validation, Proc. OOIS’95, Springer-Verlag.
Spivey, J.M., 1992. The Z Notation: A Reference Manual. 2nd edition, Prentice-Hall.
Telelogic, 1998. SDT 3.4 Methodology Guidelines Part 1: The SOMT Method
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Moreira, A., Araújo, J. (2000). Generating Object-Z Specifications from Use Cases. In: Filipe, J. (eds) Enterprise Information Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-015-9518-6_3
Download citation
DOI: https://doi.org/10.1007/978-94-015-9518-6_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-90-481-5425-8
Online ISBN: 978-94-015-9518-6
eBook Packages: Springer Book Archive