On building workflow models for flexible processes
ADC '02 Proceedings of the 13th Australasian database conference - Volume 5
An Alternative Way to Analyze Workflow Graphs
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Pockets of Flexibility in Workflow Specification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Information Technology and Management
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Customizing internal activity behaviour for flexible process enforcement
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
A model of dynamic resource allocation in workflow systems
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Data flow and validation in workflow modelling
ADC '04 Proceedings of the 15th Australasian database conference - Volume 27
Resource constraints analysis of workflow specifications
Journal of Systems and Software - Special issue: Applications of statistics in software engineering
Specification and validation of process constraints for flexible workflows
Information Systems
Meta workflows as a control and coordination mechanism for exception handling in workflow systems
Decision Support Systems - Special issue: Web services and process management
Generating correct EPCs from configured C-EPCs
Proceedings of the 2006 ACM symposium on Applied computing
A tool for minimizing update errors for workflow applications: the CARD model
Computers and Industrial Engineering
Using a temporal constraint network for business process execution
ADC '06 Proceedings of the 17th Australasian Database Conference - Volume 49
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
The representation, analysis and verification of business processes: a metagraph-based approach
Information Technology and Management
On the computability of agent-based workflows
Decision Support Systems
Dynamic workflow change in PDM systems
Computers in Industry
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Verification of web service descriptions using graph-based traversal algorithms
Proceedings of the 2007 ACM symposium on Applied computing
Improving process models by discovering decision points
Information Systems
Estimating web services reliability: a semantic approach
International Journal of Information Systems and Change Management
Proceedings of the 30th international conference on Software engineering
Terminability and compensatibility of cycles in business processes with a process-oriented trigger
Data & Knowledge Engineering
Journal of Systems and Software
An incremental analysis for resource conflicts to workflow specifications
Journal of Systems and Software
Information and Software Technology
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Modularity in Process Models: Review and Effects
BPM '08 Proceedings of the 6th International Conference on Business Process Management
The Refined Process Structure Tree
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Efficient Compliance Checking Using BPMN-Q and Temporal Logic
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Measurement of Compliance Distance in Business Processes
Information Systems Management
Process View Derivation and Composition in a Dynamic Collaboration Environment
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
An Efficient Algorithm for Workflow Graph Structural Verification
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Automatic Workflow Graph Refactoring and Completion
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
The refined process structure tree
Data & Knowledge Engineering
Workflow Diagrams Based on Evidence Life Cycles
Proceedings of the 2008 conference on Knowledge-Based Software Engineering: Proceedings of the Eighth Joint Conference on Knowledge-Based Software Engineering
Data-Flow Anti-patterns: Discovering Data-Flow Errors in Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
Dwelling time probability density distribution of instances in a workflow model
Computers and Industrial Engineering
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
A tool for minimizing update errors for workflow applications: The CARD model
Computers and Industrial Engineering
Randomization for testing systems of systems
IRI'09 Proceedings of the 10th IEEE international conference on Information Reuse & Integration
Language-Independent Change Management of Process Models
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Dynamic checking of temporal constraints for concurrent workflows
Electronic Commerce Research and Applications
Property-Transition-Net-Based Workflow Process Modeling and Verification
Electronic Notes in Theoretical Computer Science (ENTCS)
An algebraic algorithm for structural validation of social protocols
BIS'07 Proceedings of the 10th international conference on Business information systems
Deadlock free specification based on local process properties
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Measuring reactability of persistent computing systems
SC'07 Proceedings of the 6th international conference on Software composition
PGWFT: a petri net based grid workflow verification and optimization toolkit
GPC'08 Proceedings of the 3rd international conference on Advances in grid and pervasive computing
View-based process visualization
BPM'07 Proceedings of the 5th international conference on Business process management
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
Localising temporal constraints in scientific workflows
Journal of Computer and System Sciences
A workflow net similarity measure based on transition adjacency relations
Computers in Industry
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
Symbolic execution of acyclic workflow graphs
BPM'10 Proceedings of the 8th international conference on Business process management
An attribute reduction of rough set based on PSO
RSKT'10 Proceedings of the 5th international conference on Rough set and knowledge technology
Expert Systems with Applications: An International Journal
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
ACM Transactions on Software Engineering and Methodology (TOSEM)
A semantic approach for business process model abstraction
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of agile workflows using simulation
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
How to work and play with robots: An approach to modeling human-robot interaction
Computers in Human Behavior
Temporal logic based workflow service modeling and its application
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Decomposition-based verification of cyclic workflows
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
Managing process variants as an information resource
BPM'06 Proceedings of the 4th international conference on Business Process Management
Business process model abstraction: a definition, catalog, and survey
Distributed and Parallel Databases
BPMN process views construction
DASFAA'10 Proceedings of the 15th international conference on Database Systems for Advanced Applications - Volume Part I
Verification of EPCs: using reduction rules and petri nets
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Ensuring correctness during process configuration via partner synthesis
Information Systems
Reducing agent plans to workflows
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Optimal Adapter Creation for Process Composition in Synchronous vs. Asynchronous Communication
ACM Transactions on Management Information Systems (TMIS)
Enabling personalized visualization of large business processes through parameterizable views
Proceedings of the 27th Annual ACM Symposium on Applied Computing
From fine-grained to abstract process models: A semantic approach
Information Systems
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
Updatable process views for user-centered adaption of large process models
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
A flexible approach for abstracting and personalizing large business process models
ACM SIGAPP Applied Computing Review
Data flow abstractions and adaptations through updatable process views
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Verifying nested workflows with extra constraints
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Detection and resolution of conflicting change operations in version management of process models
Software and Systems Modeling (SoSyM)
Diagnosing correctness of semantic workflow models
Data & Knowledge Engineering
Data centric research at the University of Queensland
ACM SIGMOD Record
On verification of nested workflows with extra constraints: From theory to practice
Expert Systems with Applications: An International Journal
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Petri net based Grid workflow verification and optimization
The Journal of Supercomputing
Hi-index | 0.00 |