A multidatabase transaction model for InterBase
Proceedings of the sixteenth international conference on Very large databases
Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Database transaction models for advanced applications
Database transaction models for advanced applications
Acta, a framework for modeling and reasoning
Acta, a framework for modeling and reasoning
Specification and execution of transactional workflows
Modern database systems
IEEE Transactions on Software Engineering
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Managing heterogeneous multi-system tasks to support enterprise-wide operations
Distributed and Parallel Databases - Special issue on software support for work flow management
An extended Petri net model for supporting workflow in a multilevel secure environment
Proceedings of the tenth annual IFIP TC11/WG11.3 international conference on Database security: volume X : status and prospects: status and prospects
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
Petri Nets and Grafcet: Tools for Modelling Discrete Event Systems
The Mentor Project: Steps Toward Enterprise-Wide Workflow Management
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
An Authorization Model for Workflows
ESORICS '96 Proceedings of the 4th European Symposium on Research in Computer Security: Computer Security
An Event Algebra for Specifying and Scheduling Workflows
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Decidability of reachability in vector addition systems (Preliminary Version)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
The specification and enforcement of authorization constraints in workflow management systems
ACM Transactions on Information and System Security (TISSEC) - Special issue on role-based access control
SecureFlow: a secure Web-enabled workflow management system
RBAC '99 Proceedings of the fourth ACM workshop on Role-based access control
KWM: Knowledge-based Workflow Model for Agile Organization
Journal of Intelligent Information Systems
A Chinese wall security model for decentralized workflow systems
CCS '01 Proceedings of the 8th ACM conference on Computer and Communications Security
The role of Java RMI in designing workflow management system
ACM SIGSOFT Software Engineering Notes
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
On the discovery of process models from their instances
Decision Support Systems
Communication Deadlock Detection of Inter-organizational Workflow Definition
DNIS '02 Proceedings of the Second International Workshop on Databases in Networked Information Systems
Linear Temporal Inference of Workflow Management Systems Based on Timed Petri Nets Models
EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Formal Representation and Analysis of Batch Stock Trading Systems by Logical Petri Net Workflows
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A Component-Based Workflow System with Dynamic Modifications
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
Analyzing Separation of Duties in Petri Net Workflows
MMM-ACNS '01 Proceedings of the International Workshop on Information Assurance in Computer Networks: Methods, Models, and Architectures for Network Security
Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
Domain Knowledge-Based Automatic Workflow Generation
DEXA '02 Proceedings of the 13th International Conference on Database and Expert Systems Applications
A Petri net-based model for web service composition
ADC '03 Proceedings of the 14th Australasian database conference - Volume 17
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Information Technology and Management
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
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
Modeling and Analyzing of Workflow Authorization Management
Journal of Network and Systems Management
Chinese wall security for decentralized workflow management systems
Journal of Computer Security - Special issue on ACM conference on computer and communications security, 2001
Supporting conditional delegation in secure workflow management systems
Proceedings of the tenth ACM symposium on Access control models and technologies
An architecture for workflow scheduling under resource allocation constraints
Information Systems
Verifying web services composition based on hierarchical colored petri nets
Proceedings of the first international workshop on Interoperability of heterogeneous information systems
Analysis of dependencies in advanced transaction models
Distributed and Parallel Databases
Automatic workflow verification and generation
Theoretical Computer Science
A tool for minimizing update errors for workflow applications: the CARD model
Computers and Industrial Engineering
Key research issues in grid workflow verification and validation
ACSW Frontiers '06 Proceedings of the 2006 Australasian workshops on Grid computing and e-research - Volume 54
Dynamic workflow change in PDM systems
Computers in Industry
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
An object-oriented approach to formally analyze the UML 2.0 activity partitions
Information and Software Technology
A decentralized execution model for inter-organizational workflows
Distributed and Parallel Databases
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
A timed colored Petri nets modeling for dynamic workflow in product development process
Computers in Industry
Deploying access control in distributed workflow
AISC '08 Proceedings of the sixth Australasian conference on Information security - Volume 81
Journal of Systems and Software
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
A simplified framework for stochastic workflow networks
Computers & Mathematics with Applications
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
Classification and evaluation of timed running schemas for workflow based on process mining
Journal of Systems and Software
Automatic verification of database-driven systems: a new frontier
Proceedings of the 12th International Conference on Database Theory
Log-based transactional workflow mining
Distributed and Parallel Databases
Lightweight query-based analysis of workflow process dependencies
Journal of Systems and Software
A perspective on service orchestration
Science of Computer Programming
A tool for minimizing update errors for workflow applications: The CARD model
Computers and Industrial Engineering
Emergency response workflow resource requirements modeling and analysis
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Authorization model for multilevel security workflow based on RTBAC
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Mining and re-engineering transactional workflows for reliable executions
ER'07 Proceedings of the 26th international conference on Conceptual modeling
An enactment-engine based on use-cases
BPM'07 Proceedings of the 5th international conference on Business process management
Information flow analysis of scientific workflows
Journal of Computer and System Sciences
When does a workflow complete?
Computer Standards & Interfaces
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Protecting critical infrastructures while preserving each organization's autonomy
ICDCIT'11 Proceedings of the 7th international conference on Distributed computing and internet technology
Strong non-leak guarantees for workflow models
Proceedings of the 2011 ACM Symposium on Applied Computing
Constraint-centric workflow change analytics
Decision Support Systems
Quantitative Evaluation of Enterprise DRM Technology
Electronic Notes in Theoretical Computer Science (ENTCS)
InDico: information flow analysis of business processes for confidentiality requirements
STM'10 Proceedings of the 6th international conference on Security and trust management
Temporal dependency for dynamic verification of fixed-date constraints in grid workflow systems
APWeb'05 Proceedings of the 7th Asia-Pacific web conference on Web Technologies Research and Development
Consolidating the access control of composite applications and workflows
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
Decomposition-based verification of cyclic workflows
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Transform BPEL workflow into hierarchical CP-Nets to make tool support for verification
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Dynamic workflow modeling and verification
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
An intuitive formal approach to dynamic workflow modeling and analysis
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Mining workflow recovery from event based logs
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A deductive system for proving workflow models from operational procedures
Future Generation Computer Systems
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
A study on modeling of lightweight scientific workflow systems using XML schema
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
On the Prevention of Fraud and Privacy Exposure in Process Information Flow
INFORMS Journal on Computing
Data flow-oriented process mining to support security audits
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Business workflow growth rate analysis using cellular automata
Proceedings of the Second International Conference on Computational Science, Engineering and Information Technology
On the exploitation of process mining for security audits: the process discovery case
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Cost-benefit analysis of digital rights management products using stochastic models
Proceedings of the 46th Annual Simulation Symposium
Web service execution model for cloud environment
ACM SIGSOFT Software Engineering Notes
Modelling context-aware RBAC models for mobile business processes
International Journal of Wireless and Mobile Computing
Affective and cognitive design for mass personalization: status and prospect
Journal of Intelligent Manufacturing
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Hi-index | 0.00 |
A workflow system, in its general form, is basically a heterogeneousand distributed information system where the tasks are performed usingautonomous systems. Resources, such as databases, labor, etc. are typicallyrequired to process these tasks. Prerequisite to the execution of a task isa set of constraints that reflect the applicable business rules and userrequirements.In this paper we present a Petri Net (PN) based framework that (1)facilitates specification of workflow applications, (2) serves as a powerfultool for modeling the system under study at a conceptual level, (3) allowsfor a smooth transition from the conceptual level to a testbedimplementation and (4) enables the analysis, simulation and validation ofthe system under study before proceeding to implementation. Specifically, weconsider three categories of task dependencies: control flow, value andexternal (temporal).We identify several structural properties of PN and demonstrate theiruse for conducting the following type of analyses: (1) identify inconsistentdependency specifications among tasks; (2) test for workflow safety, i.e.test whether the workflow terminates in an acceptable state; (3) for a givenstarting time, test whether it is feasible to execute a workflow with thespecified temporal constraints. We also provide an implementation forconducting the above analyses.