Advertisement

The conceptual task model: a specification technique between requirements engineering and program development (extended abstract)

  • S. Brinkkemper
  • A. H. M. ter Hofstede
Session 5B: Requirements Specification (Technical Papers)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 436)

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.

Keywords

Process model data model conceptual task model predicate\transtion nets CASE-tool 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. [Bergstra 86]
    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.Google Scholar
  2. [Brinkkemper 88]
    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.Google Scholar
  3. [Brinkkemper 89a]
    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.Google Scholar
  4. [Brinkkemper 89b]
    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.Google Scholar
  5. [Brodie 82]
    Brodie, M.L. and E. Silva, "Active and Passive Component Modelling: ACM/PCM". In: [Olle 82], pp.41–92.Google Scholar
  6. [Falkenberg 89]
    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.Google Scholar
  7. [Genrich 79]
    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.Google Scholar
  8. [Genrich 87]
    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.Google Scholar
  9. [van Hee 88]
    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.Google Scholar
  10. [Jackson 83]
    Jackson, M.A., "System Development", Prentice Hall, 1983.Google Scholar
  11. [Kung 86]
    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.Google Scholar
  12. [Lewis 81]
    Lewis, H.R. and C.H. Papadimitriou, "Elements of the theory of Computation", Prentice Hall, 1981.Google Scholar
  13. [Lundeberg 80]
    Lundeberg, M., G. Goldkuhl and A. Nilsson, "Information Systems Development — A Systematic Approach". Prentice Hall, Englewood Cliffs, 1980.Google Scholar
  14. [Martin 85]
    Martin, J. and C. McClure, "Action Diagrams", Prentice Hall, Englewood Cliffs, N.J., 1985.Google Scholar
  15. [Meersman 82]
    Meersman, R., "The RIDL Conceptual Language", Research Report ICIAS, Brussels, 1982.Google Scholar
  16. [Nijssen 89]
    Nijssen, G.M. and T.A. Halpin, "Conceptual Schema and Relational Database Design: a Fact-Based Approach", Prentice Hall, 1989.Google Scholar
  17. [Olle 82]
    Olle, T.W., H.G. Sol and A.A. Verrijn Stuart (Eds.), "Information System Design Methodologies — A Comparative Review". North Holland Publ. Co., 1982.Google Scholar
  18. [Reisig 85]
    Reisig, W., "Petri Nets", EATCS Monographs on Theoretical Computer Science Springer Verlag, 1985.Google Scholar
  19. [Richter 82]
    Richter, G. and R. Durchholz, "IML-Inscribed High-Level Petri Nets". In: [Olle 82], pp.335–368.Google Scholar
  20. [Rolland 82]
    Rolland, C. and C. Richard, "The REMORA Methodology for Information System Design and Management". In: [Olle 82], pp. 369–426.Google Scholar
  21. [Ter Hofstede 89]
    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.Google Scholar
  22. [Yourdon 79]
    Yourdon, E. and L. Constantine, "Structured Design", Yourdon Press, Englewood Cliffs, N.J., 1978.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • S. Brinkkemper
    • 1
    • 2
  • A. H. M. ter Hofstede
    • 1
    • 2
  1. 1.Software Engineering Research CentreUtrechtthe Netherlands
  2. 2.Department of Information SystemsUniversity of NijmegenNijmegenthe Netherlands

Personalised recommendations