Calculating with Concepts: a Technique for the Development of Business Process Support

R.M. Dijkman, Luis Ferreira Pires, Stef M.M. Joosten

    Research output: Book/ReportReportOther research output

    12 Downloads (Pure)

    Abstract

    This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business processes and in the development of their supporting software applications or tools. This paper also illustrates the use of the technique with a realistic case study on tool integration.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Publication statusPublished - Sep 2001
    EventWorkshop on Practical UML-Based Rigorous Development Methods 2001: Countering or Integrating the eXtremists - Toronto, Canada
    Duration: 1 Oct 20015 Oct 2001

    Publication series

    NameCTIT technical report series
    PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
    No.TR-CTIT-01-32
    ISSN (Print)1381-3625

    Fingerprint

    Application programs
    Software engineering
    Industry
    Specifications

    Keywords

    • IR-63096
    • SCS-Services
    • EWI-5903

    Cite this

    Dijkman, R. M., Ferreira Pires, L., & Joosten, S. M. M. (2001). Calculating with Concepts: a Technique for the Development of Business Process Support. (CTIT technical report series; No. TR-CTIT-01-32). Enschede: Centre for Telematics and Information Technology (CTIT).
    Dijkman, R.M. ; Ferreira Pires, Luis ; Joosten, Stef M.M. / Calculating with Concepts : a Technique for the Development of Business Process Support. Enschede : Centre for Telematics and Information Technology (CTIT), 2001. (CTIT technical report series; TR-CTIT-01-32).
    @book{bf87719713c5468a8469dbda29b9caaf,
    title = "Calculating with Concepts: a Technique for the Development of Business Process Support",
    abstract = "This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business processes and in the development of their supporting software applications or tools. This paper also illustrates the use of the technique with a realistic case study on tool integration.",
    keywords = "IR-63096, SCS-Services, EWI-5903",
    author = "R.M. Dijkman and {Ferreira Pires}, Luis and Joosten, {Stef M.M.}",
    note = "Imported from CTIT",
    year = "2001",
    month = "9",
    language = "English",
    series = "CTIT technical report series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "TR-CTIT-01-32",
    address = "Netherlands",

    }

    Dijkman, RM, Ferreira Pires, L & Joosten, SMM 2001, Calculating with Concepts: a Technique for the Development of Business Process Support. CTIT technical report series, no. TR-CTIT-01-32, Centre for Telematics and Information Technology (CTIT), Enschede.

    Calculating with Concepts : a Technique for the Development of Business Process Support. / Dijkman, R.M.; Ferreira Pires, Luis; Joosten, Stef M.M.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2001. (CTIT technical report series; No. TR-CTIT-01-32).

    Research output: Book/ReportReportOther research output

    TY - BOOK

    T1 - Calculating with Concepts

    T2 - a Technique for the Development of Business Process Support

    AU - Dijkman, R.M.

    AU - Ferreira Pires, Luis

    AU - Joosten, Stef M.M.

    N1 - Imported from CTIT

    PY - 2001/9

    Y1 - 2001/9

    N2 - This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business processes and in the development of their supporting software applications or tools. This paper also illustrates the use of the technique with a realistic case study on tool integration.

    AB - This paper introduces the Calculating with Concepts (CC) technique, which has been developed to improve the precision of UML class diagrams and allows the formal reasoning based on these diagrams. This paper aims at showing the industrial benefits of using such a formal and rigorous approach to reason about business processes and software applications in the early phases of the software development process. The paper discusses how the CC technique can be used in the specification of business processes and in the development of their supporting software applications or tools. This paper also illustrates the use of the technique with a realistic case study on tool integration.

    KW - IR-63096

    KW - SCS-Services

    KW - EWI-5903

    M3 - Report

    T3 - CTIT technical report series

    BT - Calculating with Concepts

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

    Dijkman RM, Ferreira Pires L, Joosten SMM. Calculating with Concepts: a Technique for the Development of Business Process Support. Enschede: Centre for Telematics and Information Technology (CTIT), 2001. (CTIT technical report series; TR-CTIT-01-32).