Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Process Aware Information Systems: Bridging People and Software Through Process Technology
Process Aware Information Systems: Bridging People and Software Through Process Technology
Future Generation Computer Systems
Applying Graph Search Techniques for Workflow Verification
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Conformance checking of processes based on monitoring real behavior
Information Systems
Business alignment: using process mining as a tool for Delta analysis and conformance testing
Requirements Engineering
Complexity metrics for Workflow nets
Information and Software Technology
A novel approach for process mining based on event types
Journal of Intelligent Information Systems
A role-based enterprise architecture framework
Proceedings of the 2009 ACM symposium on Applied Computing
Preface: Special Issue on Computer-Supported Cooperative Work: Techniques and applications
Information Sciences: an International Journal
A context-based model for Knowledge Management embodied in work processes
Information Sciences: an International Journal
Automatic discovery of workflow models
Automatic discovery of workflow models
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Modelling and validation with VipTool
BPM'03 Proceedings of the 2003 international conference on Business process management
Dynamic execution planning for reliable collaborative business processes
Information Sciences: an International Journal
Stochastic comparisons for rooted butterfly networks and tree networks, with random environments
Information Sciences: an International Journal
BPM'06 Proceedings of the 4th international conference on Business Process Management
Hi-index | 0.07 |
Information Control Nets have been well used as a model for knowledge mining, discovery, and delivery to increase organizational intelligence. In this document, we extend the notions of classic Information Control Nets [15] to define new concepts of Stochastic Information Control Nets. We introduce a simple and useful AND-probability semantic and show how this probabilistic mathematical model can be used to generate probabilistic languages. The notion of a probabilistic language is introduced as a normalizer for comparisons of organizational knowledge repositories to organizational models. We discuss model-log conformance and present a definition of fidelity of a model. We show how to manipulate the residual error factor of this model. We describe a set of recursive functions and algorithms for generation of probabilistic languages from stochastic ICNs. We prove an important aspect of our generation algorithms: they generate probabilistic languages that are normalized. Since ICN models with loops generate infinitely many execution sequences, we present new notions of most probable sequence generation, and @e-equivalent approximation languages. These definitions can be applied to many aspects of organizational modeling including the process, the informational, and the resource perspectives. The model that we introduce here can be used to augment and expand on analyses that have been useful and insightful within varied enterprise information systems modeling and organizational analysis applications.