Abstract
The software development life cycle commonly consists of three phases: requirement analysis, system design, and system implementation. Object-oriented (OO) development, versus functional structure approaches based on top-down functional decomposition, has features of both top-down analysis and design, and bottom-up design and implementation [Yang, 1994]. In the phases of top-down analysis and design, solutions to integrate and match the OO technology with the functional decomposition techniques, will allow and encourage the reuse of the existing knowledge and products (e. g. CASE tools). This paper presents an integrated model of the Object-Oriented (OO) paradigm and Channel/Agency (CA) Nets [Reisig, 1987]. The main purpose of this net-based model is to facilitate requirement analysis and to sketch the design by introducing OO concepts from the beginning, i. e. at the top level of a hierarchical and formal method based software development life cycle, called the PROOFS life cycle [van der Aalst et al., 1993]. Such a model permits a continuous and systematic transition from informal descriptions of an OO system to formal specifications through a specific semi-formal way.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer-Verlag London Limited
About this chapter
Cite this chapter
Goldsack, S.J., Kent, S.J.H. (1996). Introducing Object-Oriented Concepts into a Net-Based Hierarchical Software Development Process. In: Goldsack, S.J., Kent, S.J.H. (eds) Formal Methods and Object Technology. Formal Approaches to Computing and Information Technology. Springer, London. https://doi.org/10.1007/978-1-4471-3071-0_8
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3071-0_8
Publisher Name: Springer, London
Print ISBN: 978-3-540-19977-9
Online ISBN: 978-1-4471-3071-0
eBook Packages: Springer Book Archive