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

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

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/Report › Report › Other research output

23 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 language	English
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Publication status	Published - Sept 2001
Event	Workshop on Practical UML-Based Rigorous Development Methods 2001: Countering or Integrating the eXtremists - Toronto, Canada Duration: 1 Oct 2001 → 5 Oct 2001

Publication series

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

Keywords

SCS-Services

Access to Document

Dijkman2001calculatingFinal published version, 98.9 KB

http://www.ub.utwente.nl/webdocs/ctit/1/00000068.pdf

1 Conference contribution

Calculating with concepts: A technique for the development of business process support
Dijkman, R. M., Ferreira Pires, L. & Joosten, S. M. M., 2001, Practical UML-based Rigorous Development Methods: Countering or Integrating the eXtremists (pUML 2001). Evans, A., France, R. B., Moreira, A. M. D. & Rumpe, B. (eds.). Cologne: Gesellschaft für Informatik, p. 87-98 12 p. (Lecture Notes in Informatics; vol. 7).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Open Access
File

Cite this

@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 = "SCS-Services",

author = "R.M. Dijkman and {Ferreira Pires}, Luis and Joosten, {Stef M.M.}",

year = "2001",

month = sep,

language = "English",

series = "CTIT technical report series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "TR-CTIT-01-32",

address = "Netherlands",

note = "Workshop on Practical UML-Based Rigorous Development Methods 2001 : Countering or Integrating the eXtremists ; Conference date: 01-10-2001 Through 05-10-2001",

}

TY - BOOK

T1 - Calculating with Concepts

T2 - Workshop on Practical UML-Based Rigorous Development Methods 2001

AU - Dijkman, R.M.

AU - Ferreira Pires, Luis

AU - Joosten, Stef M.M.

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 - SCS-Services

M3 - Report

T3 - CTIT technical report series

BT - Calculating with Concepts

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

Y2 - 1 October 2001 through 5 October 2001

ER -

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

Abstract

Publication series

Keywords

Access to Document

Research output

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

Cite this