104 search results - page 1 / 21 » Towards Formal Analysis of Artifact-Centric Business Process... |
BPM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Business process (BP) modeling is a building block for design and management of business processes. Two fundamental aspects of BP modeling are: a formal framework that we...
BPM
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring co...
IJSEKE
2006
13 years 4 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...
MKWI
2008
13 years 6 months ago
2008
: The advent of regulatory compliance requirements such as Sarbanes Oxley Act has forced enterprises to set up a process for managing an effective internal controls system on busin...
ASWEC
2008
IEEE
13 years 6 months ago
2008
IEEE
The research presented in the literature thus far on process deviations, inconsistencies and general nonconformance have all been very generic, process wide methodologies. Their a...