| dc.contributor.author | Dijkman, Remco M. | |
| dc.contributor.author | Ferreira Pires, Luís | |
| dc.contributor.author | Joosten, Stef M.M. | |
| dc.contributor.editor | Evans, Andy | |
| dc.contributor.editor | France, Robert B. | |
| dc.contributor.editor | Moreira, Ana M. D. | |
| dc.contributor.editor | Rumpe, Bernhard | |
| dc.date.accessioned | 2020-01-07T12:34:47Z | |
| dc.date.available | 2020-01-07T12:34:47Z | |
| dc.date.issued | 2001 | |
| dc.identifier.isbn | 3-88579-335-0 | |
| dc.identifier.issn | 1617-5468 | |
| dc.identifier.uri | http://dl.gi.de/handle/20.500.12116/30868 | |
| dc.description.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 tech- nique with a realistic case study on tool integration. | en |
| dc.language.iso | en | |
| dc.relation.ispartof | Practical UML-based rigorous development methods - Countering or integrating the extremists, workshop of the pUML-group held together with the UML 2001 | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-7 | |
| dc.title | Calculating with concepts: a technique for the development of business process support | en |
| dc.type | Text/Conference Paper | |
| dc.pubPlace | Bonn | |
| mci.reference.pages | 87-98 | |
| mci.conference.sessiontitle | Regular Research Papers | |
| mci.conference.location | Toronto, Canada | |
| mci.conference.date | October 1st, 2001 | |
