Extensions of first order logic
Extensions of first order logic
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Synthesizing Distributed Constrained Events from Transactional Workflow
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Measuring Behavioral Correspondence to a Timed Concurrent Model
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Applying Model Checking to Workflow Verification
ECBS '04 Proceedings of the 11th IEEE International Conference and Workshop on Engineering of Computer-Based Systems
ICEBE '05 Proceedings of the IEEE International Conference on e-Business Engineering
A framework for formal modeling and analysis of organizations
Applied Intelligence
Conformance checking of processes based on monitoring real behavior
Information Systems
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Process-oriented organisation modelling and analysis
Enterprise Information Systems - Contains Special Issue: Modelling, Simulation, Verification and Validation of Enterprise Information Systems, edited by Juan Carlos Augusto and Marc Roper
Run-Time Monitoring of Electronic Contracts
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Verifying Interlevel Relations within Multi-Agent Systems
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Modelling and validation with VipTool
BPM'03 Proceedings of the 2003 international conference on Business process management
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Defining process performance indicators: an ontological approach
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
Formal framework to support organizational design
Knowledge-Based Systems
On the definition and design-time analysis of process performance indicators
Information Systems
Hi-index | 0.00 |
This paper presents various formal techniques for analysis of executions of organizational scenarios based on specifications of organizations. Organizational specifications describe (prescribe) ordering and timing relations on organizational processes, modes of use of resources, allocations of actors to processes, etc. The actual execution may diverge from scenarios (pre)defined by a specification. A part of techniques proposed in this paper is dedicated to establishing the correspondence between a formalized execution (i.e., a trace) and the corresponding specification. Other techniques proposed in this paper provide the analyst with wide possibilities to evaluate organizational performance and to identify bottlenecks and other inefficiencies in the organizational operation. For the proposed formal analysis the order-sorted predicate Temporal Trace Language (TTL) is used and it is supported by the dedicated software tool TTL Checker. The analysis approaches considered in this paper are illustrated by a case study in the context of an organization from the security domain.