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
A logic for programming database transactions
Logics for databases and information systems
Maintaining knowledge about temporal intervals
Communications of the ACM
Open System Architecture for CIM
Open System Architecture for CIM
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Handbook on Architectures of Information Systems
Handbook on Architectures of Information Systems
Introduction to Algorithms
Temporal Reasoning in Workflow Systems
Distributed and Parallel Databases
Distributed and Parallel Databases
Synthesizing Distributed Constrained Events from Transactional Workflow
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
Specifying and Enforcing Intertask Dependencies
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Organizing Business Knowledge: The MIT Process Handbook
Organizing Business Knowledge: The MIT Process Handbook
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
A survey of multi-agent organizational paradigms
The Knowledge Engineering Review
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
YAWL: yet another workflow language
Information Systems
Formal modeling and analysis of organizations
AAMAS'05 Proceedings of the 2005 international conference on Agents, Norms and Institutions for Regulated Multi-Agent Systems
Towards policy driven context aware differentiated services design and development
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Formal modelling of organisational goals based on performance indicators
Data & Knowledge Engineering
An agent-based approach for structured modeling, analysis and improvement of safety culture
Computational & Mathematical Organization Theory
Supporting process design for e-business via an integrated process repository
Information Technology and Management
Formal framework to support organizational design
Knowledge-Based Systems
Hi-index | 0.00 |
This paper presents a formal framework for process-oriented modelling and analysis of organisations. The high expressivity of the sorted predicate logic language used for specification allows representing a wide range of process-related concepts (e.g. tasks, processes, resources), characteristics and relations, which are described in the paper. Furthermore, for every organisation, structural and behavioural constraints on process-related concepts can be identified. Some of them should always be fulfilled by the organisation (e.g. physical world constraints), whereas others allow some degree of organisational flexibility (e.g. some domain specific constraints). An organisational specification is correct if it satisfies a set of relevant organisational constraints. This paper describes automated formal techniques for establishing correctness of organisational specifications with respect to a set of diverse constraint types. The introduced framework is a part of a general framework for organisation modelling and analysis.