Abstract
We propose a pluralistic attitude to software specification, where multiple viewpoints/methods are integrated to enhance our understanding of the required system. In particular, we investigate how this process can be supported by heuristics acquired from well-known software specification methods such as Data Flow Diagrams, Petri Nets and Entity Relationship Models. We suggest the classification of heuristics by method and activity, and show how they can be formalised in Prolog. More general heuristics indicating complementarity consistency between methods are also formalised. A practical by-product has been the generation of "expert-assistance" to the integration of methods: PRISMA is a pluralistic knowledge-based system supporting the coherent construction of a software specification from multiple viewpoints. The approach is ilustrated via examples. Theoretical and practical issues related to specification processes and environments supporting a pluralistic paradigm are also discussed.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Balzer, R. "A 15 Year Perspective on Automatic Programming", IEEE Transaction on Software Engineering, Vol. SE-11, 1985
Black,W.J., Sutcliffe, A.G., Loucopoulos, P. & Layzell, P.J. "Translation Between Pragmatic Software Development Methods", ESEC '87, LNCS 289, 1987
Chen, P. "The Entity Relationship Model — Toward a Unified View of Data", ACM — TOD, Vol.1, no.1, 1976
DeMarco, T. Structured Analysis and System Specification, Prentice-Hall, 1979
Finkelstein, A.C.W., Fuks, H., Niskier, C. & Sadler, M. "Constructing a Dialogic Framework for Software Development", Proc. of the 4th. IEEE International Software Process Workshop, Devon, Englang, 1988
Finkelstein, A.C.W. & Potts, C. Evaluation of Existing Requirements Extraction Strategies, Alvey FOREST Deliverable Report 1, GEC Research Laboratories, Marconi Research Centre, Great Baddow, Chelmsford, England, 1985
Ghezzi, C. & Mandrioli, D. "On Eclectism in Specifications: A Case Study Centered Around Petri Nets", Rapporto n. 87-008, Dipartimento di Elettronica, Politecnico de Milano, 1987
Lehman, M.M., Stenning, V. & Turski, W.M. Another Look at Software Design Methodology, Imperial College of Science and Technology, Research Report DoC 83/13, 1983
Lenat, D.B. "The Nature of Heuristics", Artificial Intelligence 21(1), 1982
Maibaum, T.S.E. "The Role of Abstraction in Program Development", Proceedings of the IFIP World Computer Congress, 1986
Mastro, V.A. "Three Dimensional System Development", Software Engineering Notes 10(5), 1985
Niskier, C., Maibaum, T.S.E. & Schwabe, D. "A Look Through PRISMA: Towards Pluralistic Knowledge-Based Environments for Software Specification Acquisition", to appear in the 5th International Workshop on Software Specification and Design, 1989
Niskier, C., Fuks, H., Maibaum, T. & Sadler, M. "Changing Views in Software Specification Using Dialogue", in preparation, 198?
Pearl, J. Heuristics, Addison-Wesley, 1984
Peterson, J.L. Petri Net Theory and the Modeling of Systems, Prentice-Hall, 1981
Reisig, W. Petri Nets, Springer-Verlag, 1985
Yourdon, E. "What Ever Happened to Structured Analysis ?", Datamation, June 1986
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Niskier, C., Maibaum, T., Schwabe, D. (1989). A pluralistic knowledge-based approach to software specification. In: Ghezzi, C., McDermid, J.A. (eds) ESEC '89. ESEC 1989. Lecture Notes in Computer Science, vol 387. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51635-2_52
Download citation
DOI: https://doi.org/10.1007/3-540-51635-2_52
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51635-4
Online ISBN: 978-3-540-46723-6
eBook Packages: Springer Book Archive