Abstract
| Original language | English |
|---|---|
| Place of Publication | Enschede |
| Publisher | Centre for Telematics and Information Technology (CTIT) |
| Publication status | Published - Sep 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 |
Fingerprint
Keywords
- IR-63096
- SCS-Services
- EWI-5903
Cite this
}
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/Report › Report › Other 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 -