Solving the frame problem: a mathematical investigation of the common sense law of inertia
Solving the frame problem: a mathematical investigation of the common sense law of inertia
IEEE Intelligent Systems
Logic in Computer Science: Modelling and Reasoning about Systems
Logic in Computer Science: Modelling and Reasoning about Systems
IEEE Intelligent Systems
Business process improvement in Abnoba
ICSOC'10 Proceedings of the 2010 international conference on Service-oriented computing
ER'12 Proceedings of the 31st international conference on Conceptual Modeling
Hi-index | 0.00 |
A key challenge in devising solutions to a range of problems associated with business process management: process life cycle management, compliance management, enterprise process architectures etc. is the problem of identifying process semantics. The current industry standard business process modelling notation, BPMN, provides little by way of semantic description of the effects of a process (beyond what can be conveyed via the nomenclature of tasks and the decision conditions associated with gateways). In this paper, we describe the conceptual underpinnings, design, implementation and evaluation of the ProcessSEER tool that supports several strategies for obtaining semantic effect descriptions of BPMN process models, without imposing an overly onerous burden of using formal specification on the analyst. The tool requires analysts to describe the immediate effects of each task. These are then accumulated in an automated fashion to obtain cumulative effect annotations for each task in a process. The tool leverages domain ontologies wherever they are available. The tool permits the analyst to specify immediate effect annotations in a practitioner-accessible controlled natural language, which enables formal specification using a limited repertoire of natural language sentence formats. The tool also leverages semantic web services in a similar fashion.