290 search results - page 4 / 58 » Using Formal Analysis Techniques in Business Process Redesig... |
WSC
1998
13 years 10 months ago
1998
Globalisation and competitive pressure urge many organisations to radically change business processes. Although this approach can provide significant benefits such as reducing cos...
UML
2001
Springer
14 years 1 months ago
2001
Springer
: 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 ...
IJSEKE
2006
13 years 8 months ago
2006
tion and alteration of software models at different levels of abstraction. These modifications are usually performed independently, but the objects to which they are applied to, ar...
AC
2003
Springer
14 years 6 days ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
CAISE
2006
Springer
14 years 9 days ago
2006
Springer
It is increasingly recognized that business models offer an abstraction that is useful not only in the exploration of new business networks but also for the design and redesign of ...