Abstract
The absence of a formal specification of methods permits application engineers to interpret method concepts in any way they want. Further, different CASE tool designers can implement the same method concepts in different ways. The approach to formal method specification described here is in three levels: the generic level, the method independent level, and the method level. The generic level provides a model of a method which can be instantiated to yield a method-independent view of methods. This view can, in turn, be instantiated to yield the formal method of interest. The attempt is to represent methods independently of any underlying way-of-working or paradigm, remove the process/product dichtomy by tight coupling of the process and product aspects of methods, and permit extensibility of methods. The formal specification can be used as a basis for building CASE tools, as an output to be produced by a CAME tool, and for defining development processes.
Similar content being viewed by others
References
Brinkkemper S. Formalisation of information systems modelling. Ph.D. thesis, University of Nijmegen. Thesis Publishers, Amsterdam, 1990
Prakash N. A process view of methodologies. In Wijers, Brinkkemper, Wasserman (eds), Advanced information systems engineering. LNCS 811, Springer-Verlag, Berlin, 1994, pp. 339–352
Wynehoop JD, Russo NL. System development methodologies: unanswered questions and the research-practice gap. In DeGross JI, Bostrom RP, Robey D (eds), Proceedings of the 14th ICIS, Orlando, FL, 1993, pp. 181–190
Lyytinen K, Smolander K, Tahvainen V.-P. Modelling CASE environments in systems work. CASE'89 conference papers, Kista, Sweden, 1989
Rodden T et al. Process modelling and development practice. In Warboys BC (ed.), Software process technology, Third EWSPT, LNCS, 772. Springer-Verlag, Berlin, 1994, pp. 59–68
Suzuki M, Katayama T. Meta-operations in the process model HFSP for the dynamics and flexibility of software processes. First international conference on the software process, IEEE Computer Society, 1991, pp. 202–217
Batini C, Ceri S, Navathe S. Conceptual data base design: an entity-relationship approach. Benjamin/Cummings, California, 1992
Souveyet C. Validation des specifications conceptuelles d'un systeme d'information. Ph.D. Thesis, Universite de Paris VI, 1991
Smolander K, OPRR: a model for modelling systems development methods. In Next Generation of CASE Tools. IOS Press, Amsterdam, 1991
Wijers GM. Modelling support in information systems development Ph.D. thesis. University of Delft. Thesis Publishers, Amsterdam, 1991
Saiedian H. An invitation to formal methods. IEEE Computer, April 1996; 16–27
Rolland C, Prakash N. Modelling decisions in the requirements engineering process. Proceedings CIS-MOD'93, pp. 229–242
Olle TW, Hagelstein J, MacDonald I, Rolland C, Van Assche F, Verrijn-Stuart AA. Information systems methodologies: a framework for understanding. Addison Wesley, Reading, MA, 1991
Steele PM, Zaslavsky B. The role of meta models in federating system modelling techniques. In Elmasri, Kouramajian and Thalheim (eds), Entity-Relationship Approach-ER93. Springer-Verlag, Berlin, 1993, pp. 315–326
Harmsen F et al. Situational method engineering for informational system project approaches. In Stuart, Olle (eds), Method and associated tools for the information systems life cycle. North-Holland, Amsterdam, 1995, pp. 169–194
Rolland C, Richard C. The Remora methodology for information systems design and Management. In Olle et al. (eds), Information systems design methodologies: a comparative review. North Holland, Amsterdam, 1982, pp. 369–426
Rumbaugh J, Blaha M, Premerlani W, Eddy F, Lorensen W. Object-oriented modeling and design. Prentice-Hall, Englewood Cliffs, NJ, 1991
Harmsen F, Brinkkemper S. Computer aided method engineering based on existing meta-case technology. In Proceedings of the fourth workshop on the next generation of CASE tools, (NGCT93). Paris 1993
Rolland, C, Soureyet, C, Moreno M. An Approach for beginning Ways-of-Working, In Information Systems Journal, 20, 4, 337–339, 1995
Anton A II, McCracken M, Potts C. Goal decomposition and scenario analysis in business process re-engineering. In Wijers G, Brinkkemper S, Wasserman T (eds), Advanced information systems engineering, Springer-Verlag, Berlin, 1994, pp. 94–104
Jacobsen, I, Christenson, M, Johnsson, P, Oevergaard, G. Object Oriented Software Engineering: a Use Case Driven Approach, Addison Wesley, 1992
Brunet J. Modeling the world with semantic objects. In Van Assche, Moulin, Rolland (eds). Object oriented approaches in information systems. North-Holland, Amsterdam, 1991, pp. 361–380
Joosten S. Lazy functional meta-CASE programming. In Brinkkemper S, Lyytinen K, Welke RJ (eds), Method engineering principles of method construction and tool support. Chapman & Hall, London, 1996, pp.142–164
Smolander K et al. Metaedit: a flexible graphical environment for methodology modelling. In Andersen R, Bubenko J, Solvberg A (eds), Advanced information systems engineering. Springer, 1991, pp. 168–193
Grundy JC, Venable JR. Towards an integrated environment for method engineering. In Brinkkemper S, Lyytinen K, Welke RJ (eds), Method engineering principles of method construction and tool support. Chapman & Hall, London, 1996, pp. 45–62
Prakash N, Gupta D. Using rules for the generation of method components (under communication)
Prakash N, Sabharwal B. Building CASE tools for methods represented as abstract data types. In OOIS'96. Patel, Sun and Patel (eds.), pp 357–369, Springer, 1996
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Prakash, N. Towards a formal definition of methods. Requirements Eng 2, 23–50 (1997). https://doi.org/10.1007/BF02802896
Issue Date:
DOI: https://doi.org/10.1007/BF02802896