Abstract
In current practice of information system development, as well as in its support tools, there exists a gap between the informal requirements engineering activities and the more formal program development stage. To overcome this, a specification technique, called the Conceptual Task Model (CTM), is introduced, that is related explicitly to the results of the global requirements specification, i.e. process models and data models, and that can be input to code generation. The CTM technique is based on and defined in terms of Predicate\transition nets. CTM integrates the specification of the data manipulation function with control structures and local and global data models. The possibilities for the automated support of CTM are discussed. Finally, the precise relation with the process model and some other theoretical issues are presented.
Chapter PDF
6. References
Bergstra, J.A. and J.W. Klop, "Process Algebra: specification and verification in bisimulation semantics". In: Mathematics and Computer Science II, CWI Monograph 4, Eds. M. Hazewinkel, J.K. Lenstra and L.G.L.T. Meertens, North-Holland, 1986, pp.61–94.
Brinkkemper, S., N. Brand and J. Moormann, "Deterministic Modelling Procedures for Automated Analysis and Design Tools". In: Proceedings of the CRIS 88 conference on Computerized Assistance during the Information Systems Life Cycle, Eds. T.W. Olle, A.A. Verrijn Stuart and L. Bhabuta, Egham, England, September 1988, North-Holland, Amsterdam, pp. 117–160.
Brinkkemper, S. and A.H.M. ter Hofstede, "The Modelling of Tasks at a Conceptual Level in Information Systems Development Methods". In: Workshop Proceedings for the CRIS review workshop, Eds. G.M. Nijssen and S. Twine, IFIP WG 8.1 meeting, Sesimbra, Portugal, June 1989.
Brinkkemper, S., "The Essence and Support of Modelling Transparency", Position paper. In: Advance Working Papers, Third International Conference on Computer Aided Software Engineering, Ed. J. Jenkins, Imperial College, London, UK, July 1989.
Brodie, M.L. and E. Silva, "Active and Passive Component Modelling: ACM/PCM". In: [Olle 82], pp.41–92.
Falkenberg, E.D., R. van der Pols and Th.P. van der Weide, "Understanding Process Structure Diagrams". In: Workshop Proceedings for the CRIS review workshop, Eds. G.M. Nijssen and S. Twine, IFIP WG 8.1 meeting, Sesimbra, Protugal, June 1989.
Genrich, H. and K. Lautenbach: "The Analysis of Distributed Systems by means of Predicate/Transition Nets", Semantics of Concurrent Computation. Evian 1979, Ed. G. Kahn, Lecture Notes in Computer Sciences, vol.70, Springer Verlag 1979, pp.123–146.
Genrich, H.: "Predicate/Transition Nets". In Petri Nets: Central models and their properties, Eds. W. Brauer, W. Reisig and G. Rozenberg, L.N.C.S. nr 254, Springer Verlag 1987, pp 207–247.
van Hee, K.M., G.J. Houben, L.J. Somers and M. Voorhoeve, "Executable Specifications for Information Systems", Computing Science Notes, nr. 88/05, Department of Computing Science, Eindhoven University of Technology, March 1988.
Jackson, M.A., "System Development", Prentice Hall, 1983.
Kung, C.H. and A. Sölvberg, "Activity Modeling and Behavior Modeling". In: Information System Design Methodologies — Improving the Practice, Eds. Olle, T.W., H.G. Sol and A.A. Verrijn Stuart, Proceedings of the CRIS-86 conference, North Holland Publ. Co., 1986, pp. 145–171.
Lewis, H.R. and C.H. Papadimitriou, "Elements of the theory of Computation", Prentice Hall, 1981.
Lundeberg, M., G. Goldkuhl and A. Nilsson, "Information Systems Development — A Systematic Approach". Prentice Hall, Englewood Cliffs, 1980.
Martin, J. and C. McClure, "Action Diagrams", Prentice Hall, Englewood Cliffs, N.J., 1985.
Meersman, R., "The RIDL Conceptual Language", Research Report ICIAS, Brussels, 1982.
Nijssen, G.M. and T.A. Halpin, "Conceptual Schema and Relational Database Design: a Fact-Based Approach", Prentice Hall, 1989.
Olle, T.W., H.G. Sol and A.A. Verrijn Stuart (Eds.), "Information System Design Methodologies — A Comparative Review". North Holland Publ. Co., 1982.
Reisig, W., "Petri Nets", EATCS Monographs on Theoretical Computer Science Springer Verlag, 1985.
Richter, G. and R. Durchholz, "IML-Inscribed High-Level Petri Nets". In: [Olle 82], pp.335–368.
Rolland, C. and C. Richard, "The REMORA Methodology for Information System Design and Management". In: [Olle 82], pp. 369–426.
Ter Hofstede, A.H.M. and S. Brinkkemper, "Conceptual Task Modelling", Technical report nr. 89–14, Department of Information Systems, University of Nijmegen, September 1989.
Yourdon, E. and L. Constantine, "Structured Design", Yourdon Press, Englewood Cliffs, N.J., 1978.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Brinkkemper, S., ter Hofstede, A.H.M. (1990). The conceptual task model: a specification technique between requirements engineering and program development (extended abstract). In: Steinholtz, B., Sølvberg, A., Bergman, L. (eds) Advanced Information Systems Engineering. CAiSE 1990. Lecture Notes in Computer Science, vol 436. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0000595
Download citation
DOI: https://doi.org/10.1007/BFb0000595
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52625-4
Online ISBN: 978-3-540-47078-6
eBook Packages: Springer Book Archive