Calculating with concepts: A technique for the development of business process support

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    15 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
    Title of host publicationPractical UML-based Rigorous Development Methods
    Subtitle of host publicationCountering or Integrating the eXtremists (pUML 2001)
    EditorsAndy Evans, Robert B. France, Ana M.D. Moreira, Bernhard Rumpe
    Place of PublicationCologne
    PublisherGesellschaft für Informatik
    Pages87-98
    Number of pages12
    ISBN (Print)3-88579-335-0
    Publication statusPublished - 2001
    Event4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001) - Toronto, Canada
    Duration: 1 Oct 20015 Oct 2001
    Conference number: 4

    Publication series

    NameLecture Notes in Informatics
    PublisherGI, Gesellschaft für Informatik
    Volume7

    Conference

    Conference4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001)
    Abbreviated titleUML
    CountryCanada
    CityToronto
    Period1/10/015/10/01

    Keywords

    • EWI-8689
    • SCS-Services
    • METIS-203254
    • IR-36846

    Fingerprint Dive into the research topics of 'Calculating with concepts: A technique for the development of business process support'. Together they form a unique fingerprint.

    Cite this