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

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

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 proceeding › Conference contribution › Academic › peer-review

1 Citation (Scopus)

45 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
Title of host publication	Practical UML-based Rigorous Development Methods
Subtitle of host publication	Countering or Integrating the eXtremists (pUML 2001)
Editors	Andy Evans, Robert B. France, Ana M.D. Moreira, Bernhard Rumpe
Place of Publication	Cologne
Publisher	Gesellschaft für Informatik
Pages	87-98
Number of pages	12
ISBN (Print)	3-88579-335-0
Publication status	Published - 2001
Event	4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001) - Toronto, Canada Duration: 1 Oct 2001 → 5 Oct 2001 Conference number: 4

Publication series

Name	Lecture Notes in Informatics
Publisher	GI, Gesellschaft für Informatik
Volume	7

Conference

Conference	4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001)
Abbreviated title	UML
Country/Territory	Canada
City	Toronto
Period	1/10/01 → 5/10/01

Keywords

SCS-Services

Access to Document

Dijkman2001calculatingFinal published version, 98.9 KB

1 Citations
1 Report

Calculating with Concepts: a Technique for the Development of Business Process Support
Dijkman, R. M., Ferreira Pires, L. & Joosten, S. M. M., Sept 2001, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-01-32)
Research output: Book/Report › Report › Other research output

Open Access
File

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. In A. Evans, R. B. France, A. M. D. Moreira, & B. Rumpe (Eds.), Practical UML-based Rigorous Development Methods: Countering or Integrating the eXtremists (pUML 2001) (pp. 87-98). (Lecture Notes in Informatics; Vol. 7). Gesellschaft für Informatik.

Dijkman, Remco M. ; Ferreira Pires, Luis ; Joosten, Stef M.M. / Calculating with concepts : A technique for the development of business process support. Practical UML-based Rigorous Development Methods: Countering or Integrating the eXtremists (pUML 2001). editor / Andy Evans ; Robert B. France ; Ana M.D. Moreira ; Bernhard Rumpe. Cologne : Gesellschaft für Informatik, 2001. pp. 87-98 (Lecture Notes in Informatics).

@inproceedings{690d038f07554c0aa089abaa0eeb934f,

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 = "Dijkman, \{Remco M.\} and \{Ferreira Pires\}, Luis and Joosten, \{Stef M.M.\}",

year = "2001",

language = "English",

isbn = "3-88579-335-0",

series = "Lecture Notes in Informatics",

publisher = "Gesellschaft f{\"u}r Informatik",

pages = "87--98",

editor = "Andy Evans and France, \{Robert B.\} and Moreira, \{Ana M.D. \} and Bernhard Rumpe",

booktitle = "Practical UML-based Rigorous Development Methods",

address = "Germany",

note = "4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), UML ; Conference date: 01-10-2001 Through 05-10-2001",

}

Dijkman, RM, Ferreira Pires, L & Joosten, SMM 2001, Calculating with concepts: A technique for the development of business process support. in A Evans, RB France, AMD Moreira & B Rumpe (eds), Practical UML-based Rigorous Development Methods: Countering or Integrating the eXtremists (pUML 2001). Lecture Notes in Informatics, vol. 7, Gesellschaft für Informatik, Cologne, pp. 87-98, 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto, Ontario, Canada, 1/10/01.

Calculating with concepts: A technique for the development of business process support. / Dijkman, Remco M.; Ferreira Pires, Luis; Joosten, Stef M.M.
Practical UML-based Rigorous Development Methods: Countering or Integrating the eXtremists (pUML 2001). ed. / Andy Evans; Robert B. France; Ana M.D. Moreira; Bernhard Rumpe. Cologne: Gesellschaft für Informatik, 2001. p. 87-98 (Lecture Notes in Informatics; Vol. 7).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Calculating with concepts

T2 - 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001)

AU - Dijkman, Remco M.

AU - Ferreira Pires, Luis

AU - Joosten, Stef M.M.

N1 - Conference code: 4

PY - 2001

Y1 - 2001

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 - Conference contribution

SN - 3-88579-335-0

T3 - Lecture Notes in Informatics

SP - 87

EP - 98

BT - Practical UML-based Rigorous Development Methods

A2 - Evans, Andy

A2 - France, Robert B.

A2 - Moreira, Ana M.D.

A2 - Rumpe, Bernhard

PB - Gesellschaft für Informatik

CY - Cologne

Y2 - 1 October 2001 through 5 October 2001

ER -

Dijkman RM, Ferreira Pires L, Joosten SMM. Calculating with concepts: A technique for the development of business process support. In Evans A, France RB, Moreira AMD, Rumpe B, editors, Practical UML-based Rigorous Development Methods: Countering or Integrating the eXtremists (pUML 2001). Cologne: Gesellschaft für Informatik. 2001. p. 87-98. (Lecture Notes in Informatics).

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

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Research output

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

Cite this