Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
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
Understanding and using patterns in software development
Theory and Practice of Object Systems - Special issue on patterns
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Workflow handbook 1997
Data & Knowledge Engineering - Special issue on ER '96
Production workflow: concepts and techniques
Production workflow: concepts and techniques
Beyond workflow management: product-driven case handling
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Workflow Management Systems for Process Organizations
Workflow Management Systems for Process Organizations
Introduction to the Special Issue on Adaptive WorkflowSystems
Computer Supported Cooperative Work
Processes Driving the Networked Economy
IEEE Concurrency
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Conceptual Modelling of WorkFlows
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
A universally configurable architecture for taskflow-oriented design of a distributed collaborative computing environment
Dynamic Work Distribution in Workflow Management Systems: How to Balance Quality and Performance
Journal of Management Information Systems
Distributed and Parallel Databases
Data & Knowledge Engineering - Special issue: Advances in business process management
ODE SWS: A Framework for Designing and Composing Semantic Web Services
IEEE Intelligent Systems
NCL 2.0: integrating new concepts to XML modular languages
Proceedings of the 2004 ACM symposium on Document engineering
Methodological support for service-oriented design with ISDL
Proceedings of the 2nd international conference on Service oriented computing
Flexible coordination of service interaction patterns
Proceedings of the 2nd international conference on Service oriented computing
Facilitating the rapid development and scalable orchestration of composite web services
Distributed and Parallel Databases
Web service composition using a deductive XML rule language
Distributed and Parallel Databases
Applying model checking to BPEL4WS business collaborations
Proceedings of the 2005 ACM symposium on Applied computing
An architecture for workflow scheduling under resource allocation constraints
Information Systems
ICALT '05 Proceedings of the Fifth IEEE International Conference on Advanced Learning Technologies
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Agent-Based Flow Control for HLA Components
Simulation
Normalized workflow net (NWF-net): its definition and properties
Future Generation Computer Systems
Simulating process orchestrations in business networks: a case using BPEL4WS
ICEC '05 Proceedings of the 7th international conference on Electronic commerce
Rule-based workflow management for bioinformatics
The VLDB Journal — The International Journal on Very Large Data Bases
An approach to relate business and application services using ISDL
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Scientific workflow management: between generality and applicability
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
From an ebXML BPSS choreography to a BPEL-based implementation
ACM SIGecom Exchanges
An ontology for internal and external business processes
Proceedings of the 15th international conference on World Wide Web
From modeling to enactment of distributed workflows: an agent-based approach
Proceedings of the 2006 ACM symposium on Applied computing
Transformation of yEPC business process models to YAWL
Proceedings of the 2006 ACM symposium on Applied computing
An evaluation of conceptual business process modelling languages
Proceedings of the 2006 ACM symposium on Applied computing
SEC: a search engine for component based software development
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
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
On the suitability of UML 2.0 activity diagrams for business process modelling
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
DBA'06 Proceedings of the 24th IASTED international conference on Database and applications
Process modeling in Web applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
YAWL: yet another workflow language
Information Systems
A configurable reference modelling language
Information Systems
Formalizing the evolution of virtual communities
Information Systems
Merging workflows: a new perspective on connecting business processes
Decision Support Systems
Gameplay workflow: a distributed game control approach
Proceedings of the 2006 international conference on Game research and development
A formal modeling approach for supply chain event management
Decision Support Systems
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Mining unconnected patterns in workflows
Information Systems
Performance metrics and ontologies for Grid workflows
Future Generation Computer Systems
A machine learning approach to semi-automating workflow staff assignment
Proceedings of the 2007 ACM symposium on Applied computing
Using control-flow patterns for specifying business processes in cooperative environments
Proceedings of the 2007 ACM symposium on Applied computing
Verification of web service descriptions using graph-based traversal algorithms
Proceedings of the 2007 ACM symposium on Applied computing
A p2p based service flow system with advanced ontology-based service profiles
Advanced Engineering Informatics
An Autonomic Service Architecture for Self-Managing Grid Applications
GRID '05 Proceedings of the 6th IEEE/ACM International Workshop on Grid Computing
Research Directions in Requirements Engineering
FOSE '07 2007 Future of Software Engineering
Configurations of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Specifying Use Case Sequencing Constraints Using Description Elements
SCESM '07 Proceedings of the Sixth International Workshop on Scenarios and State Machines
Systematic Approaches for Designing B2B Applications
International Journal of Electronic Commerce
SEC+: an enhanced search engine for component-based software development
ACM SIGSOFT Software Engineering Notes
Modeling process-driven and service-oriented architectures using patterns and pattern primitives
ACM Transactions on the Web (TWEB)
The adequacy of languages for representing interaction mechanisms
Information Systems Frontiers
Workflow support for wireless sensor and actor networks: a position paper
DMSN '07 Proceedings of the 4th workshop on Data management for sensor networks: in conjunction with 33rd International Conference on Very Large Data Bases
Action Patterns for the Incremental Specification of the Execution Semantics of Visual Languages
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
History-based joins: Semantics, soundness and implementation
Data & Knowledge Engineering
A formal modeling platform for composing web services
Expert Systems with Applications: An International Journal
A static compliance-checking framework for business process models
IBM Systems Journal
Reasoning about the behavior of Semantic Web services with concurrent transaction logic
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Constructing customized process views
Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
A timed colored Petri nets modeling for dynamic workflow in product development process
Computers in Industry
The software architecture of the OsMoSys multisolution framework
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Supporting the dynamic evolution of Web service protocols in service-oriented architectures
ACM Transactions on the Web (TWEB)
A model-driven approach for reusing service compositions
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
Social theatres: a model for regulated virtual interaction environments
EATIS '07 Proceedings of the 2007 Euro American conference on Telematics and information systems
XCraft: boosting the performance of active XML materialization
EDBT '08 Proceedings of the 11th international conference on Extending database technology: Advances in database technology
A new simple formulation of workflow patterns
Proceedings of the 2007 Summer Computer Simulation Conference
A survey of patterns for Service-Oriented Architectures
International Journal of Internet Protocol Technology
Evaluating workflow process designs using cohesion and coupling metrics
Computers in Industry
A semi-automatic approach for workflow staff assignment
Computers in Industry
Coordination Models Orc and Reo Compared
Electronic Notes in Theoretical Computer Science (ENTCS)
Workflow management versus case handling: results from a controlled software experiment
Proceedings of the 2008 ACM symposium on Applied computing
Model and infrastructure for decentralized workflow enactment
Proceedings of the 2008 ACM symposium on Applied computing
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
FlowiXML: a step towards designing workflow management systems
International Journal of Web Engineering and Technology
BPSL Modeler -- Visual Notation Language for Intuitive Business Property Reasoning
Electronic Notes in Theoretical Computer Science (ENTCS)
Proceedings of the 30th international conference on Software engineering
Workflow management for enterprise transformation
Information-Knowledge-Systems Management - Work, Workflow, Information Systems and Enterprise Transformation
Efficient lineage tracking for scientific workflows
Proceedings of the 2008 ACM SIGMOD international conference on Management of data
Task-based entailment constraints for basic workflow patterns
Proceedings of the 13th ACM symposium on Access control models and technologies
ER '07 Tutorials, posters, panels and industrial contributions at the 26th international conference on Conceptual modeling - Volume 83
Enforced generative patterns for the specification of the syntax and semantics of visual languages
Journal of Visual Languages and Computing
Theoretical Computer Science
International Journal of Computer Integrated Manufacturing
Data & Knowledge Engineering
Extending Grid-Based Workflow Tools With Patterns/Operators
International Journal of High Performance Computing Applications
A framework for QoS-aware binding and re-binding of composite web services
Journal of Systems and Software
Synchronizing control flow in a tuplespace-based, distributed workflow management system
Proceedings of the 10th international conference on Electronic commerce
Semantics and analysis of business process models in BPMN
Information and Software Technology
Patterns for service-oriented information exchange requirements
Proceedings of the 2006 conference on Pattern languages of programs
Towards a Formal Foundation for Aggregating Scientific Workflows
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
WSMO Studio --- A Semantic Web Services Modelling Environment for WSMO
ESWC '07 Proceedings of the 4th European conference on The Semantic Web: Research and Applications
Representation and Structure-Based Similarity Assessment for Agile Workflows
ICCBR '07 Proceedings of the 7th international conference on Case-Based Reasoning: Case-Based Reasoning Research and Development
Holonic Simulation of a Design System for Performance Analysis
HoloMAS '07 Proceedings of the 3rd international conference on Industrial Applications of Holonic and Multi-Agent Systems: Holonic and Multi-Agent Systems for Manufacturing
Sessions and Pipelines for Structured Service Programming
FMOODS '08 Proceedings of the 10th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Flexible Scientific Workflow Modeling Using Frames, Templates, and Dynamic Embedding
SSDBM '08 Proceedings of the 20th international conference on Scientific and Statistical Database Management
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Modeling Service Choreographies Using BPMN and BPEL4Chor
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Work Distribution and Resource Management in BPEL4People: Capabilities and Opportunities
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
On a Quest for Good Process Models: The Cross-Connectivity Metric
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
A Workflow-Based Approach for Creating Complex Web Wrappers
WISE '08 Proceedings of the 9th international conference on Web Information Systems Engineering
Inventing Less, Reusing More, and Adding Intelligence to Business Process Modeling
DEXA '08 Proceedings of the 19th international conference on Database and Expert Systems Applications
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Towards Case-Based Support for e-Science Workflow Generation by Mining Provenance
ECCBR '08 Proceedings of the 9th European conference on Advances in Case-Based Reasoning
Towards the Use of XPDL as Planning and Scheduling Modeling Tool: The Workflow Patterns Approach
IBERAMIA '08 Proceedings of the 11th Ibero-American conference on AI: Advances in Artificial Intelligence
WebWorkFlow: An Object-Oriented Workflow Modeling Language for Web Applications
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
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
Grid workflows specification and verification
WSEAS Transactions on Computers
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Predicting Coupling of Object-Centric Business Process Implementations
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Instantiation Semantics for Process Models
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Automatic Extraction of Process Control Flow from I/O Operations
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Towards a general model of the multi-criteria workflow scheduling on the grid
Future Generation Computer Systems
Workflow-based resource allocation to optimize overall performance of composite services
Future Generation Computer Systems
Content Ontology Design Patterns as Practical Building Blocks for Web Ontologies
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Computational Logic in Multi-Agent Systems
Complexity metrics for Workflow nets
Information and Software Technology
A Contract-Based Architecture for Business Networks
International Journal of Electronic Commerce
Soundness-preserving reduction rules for reset workflow nets
Information Sciences: an International Journal
A Rule-Based Framework Using Role Patterns for Business Process Compliance
RuleML '08 Proceedings of the International Symposium on Rule Representation, Interchange and Reasoning on the Web
Using Explicit Control Processes in Distributed Workflows to Gather Provenance
Provenance and Annotation of Data and Processes
Adaptation of Web Service Composition Based on Workflow Patterns
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Determining QoS of WS-BPEL Compositions
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
A Method for Verifiable and Validatable Business Process Modeling
Advances in Software Engineering
An Ambient Intelligent Agent with Awareness of Human Task Execution
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Using tuplespaces to enact petri net-based workflow definitions
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Um padrão canônico para controle de paralelização em aplicações de e-science
SBBD '08 Proceedings of the 23rd Brazilian symposium on Databases
Dynamic business network process management in instant virtual enterprises
Computers in Industry
A policy-based authorization model for workflow-enabled dynamic process management
Journal of Network and Computer Applications
Verification of grid workflows
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Web services provision: solutions, challenges and opportunities (invited paper)
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
A modeling method based on CCS for workflow
Proceedings of the 3rd International Conference on Ubiquitous Information Management and Communication
Reduction rules for YAWL workflows with cancellation regions and OR-joins
Information and Software Technology
A data structure for representing multi-version texts online
International Journal of Human-Computer Studies
Towards a framework for web service compositions recovery
Proceedings of the Warm Up Workshop for ACM/IEEE ICSE 2010
Implementing rigorous web services with process algebra: navigation plan for web services
Proceedings of the 2009 ACM symposium on Applied Computing
Load management in model-aware execution of composite web services
Proceedings of the 2009 ACM symposium on Applied Computing
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Petri Net Transformations for Business Processes --- A Survey
Transactions on Petri Nets and Other Models of Concurrency II
A Look Around the Corner: The Pi-Calculus
Transactions on Petri Nets and Other Models of Concurrency II
Transactions on Petri Nets and Other Models of Concurrency II
Online Interaction Analysis Framework for Ad-Hoc Collaborative Processes in SOA-Based Environments
Transactions on Petri Nets and Other Models of Concurrency II
Formal Foundation for Pattern-Based Modelling
FASE '09 Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009
Towards a Formal Framework for Workflow Interoperability
Web Services and Formal Methods
The VLDB Journal — The International Journal on Very Large Data Bases
Task-activity based access control for process collaboration environments
Computers in Industry
Data & Knowledge Engineering
Patterns-based evaluation of open source BPM systems: The cases of jBPM, OpenWFE, and Enhydra Shark
Information and Software Technology
A perspective on service orchestration
Science of Computer Programming
International Journal of High Performance Computing and Networking
The benefits of service choreography for data-intensive computing
Proceedings of the 7th international workshop on Challenges of large applications in distributed environments
From business process models to process-oriented software systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Design decisions in workflow management and quality of work
International Journal of Information Systems and Change Management
Combining Aspect and Model-Driven Engineering Approaches for Software Process Modeling and Execution
ICSP '09 Proceedings of the International Conference on Software Process: Trustworthy Software Development Processes
A Mapping from Pi-Calculus into BPEL
Proceedings of the 2006 conference on Leading the Web in Concurrent Engineering: Next Generation Concurrent Engineering
Service Interaction: Patterns, Formalization, and Analysis
Formal Methods for Web Services
Towards a Methodology for Modeling Deontic Protocols Using the Organizational Petri Nets Formalism
KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
Evie - A developer toolkit for encoding service interaction patterns
Information Systems Frontiers
CoBTx-Net: A model for business collaboration reliability verification
Information Systems Frontiers
Process Algebra-Based Query Workflows
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Interacting services: From specification to execution
Data & Knowledge Engineering
GRID '08 Proceedings of the 2008 9th IEEE/ACM International Conference on Grid Computing
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
Personalised Web Experiences: Seamless Adaptivity across Web Service Composition and Web Content
UMAP '09 Proceedings of the 17th International Conference on User Modeling, Adaptation, and Personalization: formerly UM and AH
Versions to Address Business Process Flexibility Issue
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Discovering Process Models from Unlabelled Event Logs
BPM '09 Proceedings of the 7th International Conference on Business Process Management
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
Workflow representation and runtime based on lazy functional streams
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Towards scientific workflow patterns
Proceedings of the 4th Workshop on Workflows in Support of Large-Scale Science
Constructing minimal protocol adaptors for service composition
Proceedings of the 4th Workshop on Emerging Web Services Technology
Expert Systems with Applications: An International Journal
Exploring many task computing in scientific workflows
Proceedings of the 2nd Workshop on Many-Task Computing on Grids and Supercomputers
Engineering deontic protocols by means of organizational Petri nets
Engineering Applications of Artificial Intelligence
Journal of Management Information Systems
Seven process modeling guidelines (7PMG)
Information and Software Technology
Planning and verifying service composition
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
Workflow management in the grid era: A goal-driven approach based on process patterns
Multiagent and Grid Systems - New tendencies on agents and grid environments
Discovering Coordination Patterns
Electronic Notes in Theoretical Computer Science (ENTCS)
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
Process Materialization Using Templates and Rules to Design Flexible Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
A Generic Set Theory-Based Pattern Matching Approach for the Analysis of Conceptual Models
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
A GP Process Mining Approach from a Structural Perspective
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Action Patterns in Business Process Models
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Normalized workflow net (NWF-net): Its definition and properties
Future Generation Computer Systems
An end-to-end approach for QoS-aware service composition
EDOC'09 Proceedings of the 13th IEEE international conference on Enterprise Distributed Object Computing
Flexible process modeling through decision tables
SE '08 Proceedings of the IASTED International Conference on Software Engineering
A pattern-based approach to protocol mediation for web services composition
Information and Software Technology
Activity labeling in process modeling: Empirical insights and recommendations
Information Systems
The JOpera visual composition language
Journal of Visual Languages and Computing
Science of Computer Programming
Conformance notions for the coordination of interaction components
Science of Computer Programming
Formal modelling of feature configuration workflows
Proceedings of the 13th International Software Product Line Conference
Model-based support for specifying eService eGovernment applications
TAMODIA'06 Proceedings of the 5th international conference on Task models and diagrams for users interface design
A service composition construct to support iterative development
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Correlation patterns in service-oriented architectures
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Automatic merging of work items in business process management systems
BIS'07 Proceedings of the 10th international conference on Business information systems
Complex events in business processes
BIS'07 Proceedings of the 10th international conference on Business information systems
BIS'07 Proceedings of the 10th international conference on Business information systems
A survey of comparative business process modeling approaches
BIS'07 Proceedings of the 10th international conference on Business information systems
Evaluating quality of web services: a risk-driven approach
BIS'07 Proceedings of the 10th international conference on Business information systems
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
A prolog-based language for workflow programming
COORDINATION'07 Proceedings of the 9th international conference on Coordination models and languages
Handling instance correspondence in inter-organisational workflows
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Behavioral consistency for B2B process integration
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Communication abstractions for distributed business processes
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Questionnaire-driven configuration of reference process models
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Automating standard operating procedures in intensive care
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Change patterns and change support features in process-aware information systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
On the use of patterns to recover business processes
Proceedings of the 2010 ACM Symposium on Applied Computing
SENSORIA process calculi for service-oriented computing
TGC'06 Proceedings of the 2nd international conference on Trustworthy global computing
Workflow management in grid era: from process-driven paradigm to a goal-driven one
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Business process modeling and ORM
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
Digging the wild web: an interactive tool for web data consolidation
WISE'07 Proceedings of the 8th international conference on Web information systems engineering
A user-oriented design for business workflow systems
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
Social theatres: a web-based regulated social interaction environment
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
CRIWG'07 Proceedings of the 13th international conference on Groupware: design implementation, and use
Modeling workflow patterns from first principles
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Exploring alternatives for representing and accessing design knowledge about enterprise integration
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Soundness verification of business processes specified in the Pi-calculus
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Extending BPMN for modeling complex choreographies
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Semantics of standard process models with OR-joins
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Dynamic, extensible and context-aware exception handling for workflows
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Data-driven modeling and coordination of large process structures
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Business process quality metrics: log-based complexity of workflow patterns
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
The conceptualization of a configurable multi-party multi-message request-reply conversation
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
A process-algebraic approach to workflow specification and refinement
SC'07 Proceedings of the 6th international conference on Software composition
Composite connectors for composing software components
SC'07 Proceedings of the 6th international conference on Software composition
Dynamic control of grid workflows through activities global state monitoring
PPAM'07 Proceedings of the 7th international conference on Parallel processing and applied mathematics
Model transformation and formal verification for Semantic Web Services composition
Advances in Engineering Software
Session types for orchestration charts
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
CiAN: a workflow engine for MANETs
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
A compositional trace semantics for Orc
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Event structure semantics of Orc
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Engineering service oriented applications: from StPowla processes to SRML models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Adding support for dynamics patterns to static business process management systems
SC'08 Proceedings of the 7th international conference on Software composition
BPMN: how much does it cost? an incremental approach
BPM'07 Proceedings of the 5th international conference on Business process management
BPM on top of SOA: experiences from the financial industry
BPM'07 Proceedings of the 5th international conference on Business process management
BPM'07 Proceedings of the 5th international conference on Business process management
SAP webflow made configurable: unifying workflow templates into a configurable model
BPM'07 Proceedings of the 5th international conference on Business process management
Extending representational analysis: BPMN user and developer perspectives
BPM'07 Proceedings of the 5th international conference on Business process management
Semantic analysis of flow patterns in business process modeling
BPM'07 Proceedings of the 5th international conference on Business process management
Perspective oriented business process visualization
BPM'07 Proceedings of the 2007 international conference on Business process management
BPM'07 Proceedings of the 2007 international conference on Business process management
A phased deployment of a workflow infrastructure in the enterprise architecture
BPM'07 Proceedings of the 2007 international conference on Business process management
Evie: a developers toolkit for encoding service interaction patterns
BPM'07 Proceedings of the 2007 international conference on Business process management
BPM'07 Proceedings of the 2007 international conference on Business process management
Towards a formal framework for reuse in business process modeling
BPM'07 Proceedings of the 2007 international conference on Business process management
Foundations of security analysis and design IV
On Detecting Data Flow Errors in Workflows
Journal of Data and Information Quality (JDIQ)
Proceedings of the 11th International Conference on Information Integration and Web-based Applications & Services
An evaluation framework for business process modeling languages in healthcare
Journal of Theoretical and Applied Electronic Commerce Research
Information and Software Technology
A collaborative scheduling approach for service-driven scientific workflow execution
Journal of Computer and System Sciences
Localising temporal constraints in scientific workflows
Journal of Computer and System Sciences
A formal semantics for the Taverna 2 workflow model
Journal of Computer and System Sciences
A process management system for networked manufacturing
CDVE'09 Proceedings of the 6th international conference on Cooperative design, visualization, and engineering
Per-flow optimal service selection for Web services based processes
Journal of Systems and Software
An integer programming based approach for verification and diagnosis of workflows
Data & Knowledge Engineering
ProcessTron: efficient semi-automated markup generation for scientific documents
Proceedings of the 10th annual joint conference on Digital libraries
Meta-workflows: pattern-based interoperability between Galaxy and Taverna
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
A multi-dimensional classification model for scientific workflow characteristics
Proceedings of the 1st International Workshop on Workflow Approaches to New Data-centric Science
Slicing for architectural analysis
Science of Computer Programming
ServiceFlow: QoS-based hybrid service-oriented grid workflow system
The Journal of Supercomputing
Handling temporal constraints in workflow model for planning and scheduling
CAR'10 Proceedings of the 2nd international Asia conference on Informatics in control, automation and robotics - Volume 2
Interaction protocol mediation in web service composition
International Journal of Web Engineering and Technology
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
Application of if-conversion to verification and optimization of workflows
Programming and Computing Software
Implementing business process recovery patterns through QVT transformations
ICMT'10 Proceedings of the Third international conference on Theory and practice of model transformations
SSDBM'10 Proceedings of the 22nd international conference on Scientific and statistical database management
Performance analysis modeling applied to business processes
SpringSim '10 Proceedings of the 2010 Spring Simulation Multiconference
Security and performance in service-oriented applications: Trading off competing objectives
Decision Support Systems
A review of patterns in collaborative work
Proceedings of the 16th ACM international conference on Supporting group work
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
Agent system for managing distributed mobile interactive documents
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part II
e-BioFlow: improving practical use of workflow systems in bioinformatics
ITBAM'10 Proceedings of the First international conference on Information technology in bio- and medical informatics
Federated enactment of workflow patterns
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
Interaction-centric modeling of process choreographies
Information Systems
Product-based workflow support
Information Systems
Similarity of business process models: Metrics and evaluation
Information Systems
Verifying business process compliance by reasoning about actions
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Discovering process models with genetic algorithms using sampling
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Reinforcement learning based resource allocation in business process management
Data & Knowledge Engineering
Workflow fine-grained concurrency with automatic continuation
IPDPS'06 Proceedings of the 20th international conference on Parallel and distributed processing
Expert Systems with Applications: An International Journal
Proceedings of the 2010 Conference of the Center for Advanced Studies on Collaborative Research
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Managing adaptivity in web collaborative processes using policies and user profiles
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
A common framework for synchronization in requirements modelling languages
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Building dynamic models of service compositions with simulation of provision resources
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Building AS-IS process models from task descriptions
Proceedings of the 8th International Conference on Frontiers of Information Technology
APROMORE: An advanced process model repository
Expert Systems with Applications: An International Journal
Towards the ontology-based transformation of business process models
Proceedings of the 4th International Workshop on Semantic Business Process Management
The business process modelling ontology
Proceedings of the 4th International Workshop on Semantic Business Process Management
Semantic web service engineering for semantic business process management
Proceedings of the 4th International Workshop on Semantic Business Process Management
COMPRO: a methodological approach for business process contextualisation
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Expert Systems with Applications: An International Journal
Towards a proper aspect-oriented model for distributed systems
Proceedings of the tenth international conference on Aspect-oriented software development companion
A study of invasive composition for the evolution of a health information system
Proceedings of the 2nd international workshop on Variability & composition
Channel-based coordination via constraint satisfaction
Science of Computer Programming
Survey paper: Refactoring large process model repositories
Computers in Industry
Expert Systems with Applications: An International Journal
Automatic reuse of process patterns in process modeling
Proceedings of the 2011 ACM Symposium on Applied Computing
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Constraint-centric workflow change analytics
Decision Support Systems
Service research challenges and solutions for the future internet
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
CONFLuEnCE: CONtinuous workFLow ExeCution Engine
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Towards a smart service based on a context-aware workflow model in u-agriculture
International Journal of Web and Grid Services
An architectural style for process-intensive web information systems
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Integrated data placement and task assignment for scientific workflows in clouds
Proceedings of the fourth international workshop on Data-intensive distributed computing
Autonomous Agents and Multi-Agent Systems
Verifying workflow processes: a transformation-based approach
Software and Systems Modeling (SoSyM)
CorPN: managing instance correspondence in collaborative business processes
Distributed and Parallel Databases
A compositional method for reliability analysis of workflows affected by multiple failure modes
Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Collaboration pattern assistant: an event-driven tool for supporting pattern-based collaborations
Proceedings of the 5th ACM international conference on Distributed event-based system
Enterprise architecture patterns for business process support analysis
Journal of Systems and Software
The crowdsourcing design space
FAC'11 Proceedings of the 6th international conference on Foundations of augmented cognition: directing the future of adaptive systems
End-user requirements for wisdom-aware EUD
IS-EUD'11 Proceedings of the Third international conference on End-user development
Human-centered process engineering based on content analysis and process view aggregation
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Validation of families of business processes
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Actor-driven workflow execution in distributed environments
Euro-Par 2010 Proceedings of the 2010 conference on Parallel processing
BioDKM: Bio-inspired domain knowledge modeling method for humanoid delivery robots' planning
Expert Systems with Applications: An International Journal
ReuseTool-An extensible tool support for object-oriented framework reuse
Journal of Systems and Software
Distributed genetic process mining using sampling
PaCT'11 Proceedings of the 11th international conference on Parallel computing technologies
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Core calculi for service-oriented computing
Rigorous software engineering for service-oriented systems
Probability distribution-based QoS analysis for web service composition
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
A transfer approach for facilitation knowledge in computer-supported collaboration
CRIWG'11 Proceedings of the 17th international conference on Collaboration and technology
Process diagnostics using trace alignment: Opportunities, issues, and challenges
Information Systems
BPMN: An introduction to the standard
Computer Standards & Interfaces
Edit distance-based pattern support assessment of orchestration languages
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
PERIKLES: a workflow based approach to support the operating room management
Proceedings of the 29th Annual European Conference on Cognitive Ergonomics
ER'11 Proceedings of the 30th international conference on Advances in conceptual modeling: recent developments and new directions
Social interaction regulation in virtual web environments using the Social Theatres model
Journal of Network and Computer Applications
Realizing business processes with ECA rules: benefits, challenges, limits
PPSWR'06 Proceedings of the 4th international conference on Principles and Practice of Semantic Web Reasoning
Layered patterns in modelling and transformation of service-based software architectures
EWSA'06 Proceedings of the Third European conference on Software Architecture
HisT/PLIER: A Two-Fold Provenance Approach for Grid-Enabled Scientific Workflows Using WS-VLAM
GRID '11 Proceedings of the 2011 IEEE/ACM 12th International Conference on Grid Computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Interaction soundness for service orchestrations
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Sliver: a BPEL workflow process execution engine for mobile devices
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Towards service-based business process modeling, prototyping and integration
RISE'05 Proceedings of the Second international conference on Rapid Integration of Software Engineering Techniques
Mining models of composite web services for performance analysis
DASFAA'06 Proceedings of the 11th international conference on Database Systems for Advanced Applications
Semantic-Based grid workflow composition
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
QoS-Aware composition of web services: an evaluation of selection algorithms
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Adapting rigidly specified workflow in the absence of detailed ontology
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
Modeling multi-party web-based business collaborations
OTM'05 Proceedings of the 2005 OTM Confederated international conference on On the Move to Meaningful Internet Systems
A compositional framework for service interaction patterns and interaction flows
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
An abstract model for process mediation
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
Fragmented workflows supported by an agent based architecture
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Towards an integrated BPM schema: control flow heterogeneity of PNML and BPEL4WS
WM'05 Proceedings of the Third Biennial conference on Professional Knowledge Management
Structured service composition
BPM'06 Proceedings of the 4th international conference on Business Process Management
On the suitability of BPMN for business process modelling
BPM'06 Proceedings of the 4th international conference on Business Process Management
History-based joins: semantics, soundness and implementation
BPM'06 Proceedings of the 4th international conference on Business Process Management
A redesign framework for call centers
BPM'06 Proceedings of the 4th international conference on Business Process Management
BPM'06 Proceedings of the 4th international conference on Business Process Management
Formalizing service interactions
BPM'06 Proceedings of the 4th international conference on Business Process Management
Artificial Intelligence in Medicine
Scientific workflow reuse through conceptual workflows on the virtual imaging platform
Proceedings of the 6th workshop on Workflows in support of large-scale science
Provenance opportunities for WS-VLAM: an exploration of an e-science and an e-business approach
Proceedings of the 6th workshop on Workflows in support of large-scale science
Mobile-Agent-Based web service composition
GCC'05 Proceedings of the 4th international conference on Grid and Cooperative Computing
Towards the automation of e-negotiation processes based on web services – a modeling approach
WISE'05 Proceedings of the 6th international conference on Web Information Systems Engineering
Towards semi-automated workflow-based aggregation of web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
ODEGSG framework, knowledge-based annotation and design of grid services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
QoS-Driven web service composition with inter service conflicts
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Prospective analysis of cooperative provision of industrial services using coloured petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
A context-aware service model based on workflows for u-agriculture
ICCSA'10 Proceedings of the 2010 international conference on Computational Science and Its Applications - Volume Part III
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
How to design a loose inter-organizational workflow? an illustrative case study
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Towards mining structural workflow patterns
DEXA'05 Proceedings of the 16th international conference on Database and Expert Systems Applications
Improving reuse of web service compositions
EC-Web'05 Proceedings of the 6th international conference on E-Commerce and Web Technologies
Proceedings of the 5th India Software Engineering Conference
Data–driven process control and exception handling in process management systems
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Translating standard process models to BPEL
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
QoS-aware web services composition using transactional composition operator
WAIM '06 Proceedings of the 7th international conference on Advances in Web-Age Information Management
Process mining by measuring process block similarity
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Requirements for a workflow system for grid service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Requirements for automated service composition
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Parallelism in bioinformatics workflows
VECPAR'04 Proceedings of the 6th international conference on High Performance Computing for Computational Science
Scheduling workflow distributed applications in javasymphony
Euro-Par'05 Proceedings of the 11th international Euro-Par conference on Parallel Processing
Performance bounds for a class of workflow diagrams
ICIC'05 Proceedings of the 2005 international conference on Advances in Intelligent Computing - Volume Part II
Action patterns in business process model repositories
Computers in Industry
Design and management of flexible process variants using templates and rules
Computers in Industry
Using the π-calculus for formalizing workflow patterns
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
Visualization support for managing large business process specifications
BPM'05 Proceedings of the 3rd international conference on Business Process Management
An analysis and taxonomy of unstructured workflows
BPM'05 Proceedings of the 3rd international conference on Business Process Management
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Yet another event-driven process chain
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Introducing business process into legacy information systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Achieving a general, formal and decidable approach to the OR-Join in workflow using reset nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Journal of Systems and Software
A deductive system for proving workflow models from operational procedures
Future Generation Computer Systems
Specifying instance correspondence in collaborative business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
A pattern-knowledge base supported establishment of inter-organizational business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
WorkflowNet2BPEL4WS: a tool for translating unstructured workflow processes to readable BPEL
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Dependability and flexibility centered approach for composite web services modeling
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Aspect-Oriented workflow languages
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Worklets: a service-oriented implementation of dynamic flexibility in workflows
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
Thresholds for error probability measures of business process models
Journal of Systems and Software
Design principles of coordinated multi-incident emergency response systems
ISI'05 Proceedings of the 2005 IEEE international conference on Intelligence and Security Informatics
Activity diagram patterns for modeling quality constraints in business processes
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Extensible canonical process model synthesis applying formal interpretation
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Pattern-based analysis of the control-flow perspective of UML activity diagrams
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Modeling group-based education
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Workflow data patterns: identification, representation and tool support
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
Actor-oriented design of scientific workflows
ER'05 Proceedings of the 24th international conference on Conceptual Modeling
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
An intelligent agent model with awareness of workflow progress
Applied Intelligence
Structuring acyclic process models
Information Systems
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
From BPEL processes to YAWL workflows
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Translating orc features into petri nets and the join calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
QoSA'10 Proceedings of the 6th international conference on Quality of Software Architectures: research into Practice - Reality and Gaps
Aspect-Oriented business process modeling with AO4BPMN
ECMFA'10 Proceedings of the 6th European conference on Modelling Foundations and Applications
Business process modeling: defining domain specific modeling languages by use of UML profiles
ECMDA-FA'06 Proceedings of the Second European conference on Model Driven Architecture: foundations and Applications
A language for task orchestration and its semantic properties
CONCUR'06 Proceedings of the 17th international conference on Concurrency Theory
Representation theory versus workflow patterns – the case of BPMN
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Formalizing the specification and execution of workflows using the event calculus
Information Sciences: an International Journal
Modelling of service compositions: relations to business process and workflow modelling
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
A pattern-based approach to business process modeling and implementation in web services
ICSOC'06 Proceedings of the 4th international conference on Service-oriented computing
A bottom-up workflow mining approach for workflow applications analysis
DEECS'06 Proceedings of the Second international conference on Data Engineering Issues in E-Commerce and Services
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Distributed workflow upon linkable coordination artifacts
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A pattern language for process execution and integration design in service-oriented architectures
Transactions on Pattern Languages of Programming I
A coordination-based model-driven method for parallel application development
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Reducing agent plans to workflows
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
Constraint-Based runtime prediction of SLA violations in service orchestrations
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Efficient, interactive recommendation of mashup composition knowledge
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Optimization of complex qos-aware service compositions
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
SENECA – simulation of algorithms for the selection of web services for compositions
TES'05 Proceedings of the 6th international conference on Technologies for E-Services
From collaboration models to BPEL processes through service models
BPM'05 Proceedings of the Third international conference on Business Process Management
A constrained object model for configuration based workflow composition
BPM'05 Proceedings of the Third international conference on Business Process Management
A high-level specification for mediators(virtual providers)
BPM'05 Proceedings of the Third international conference on Business Process Management
Facilitating interoperability: a cross-analysis of the language UEML and the standard ISO/DIS 19440
BPM'05 Proceedings of the Third international conference on Business Process Management
A logical verification methodology for service-oriented computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Generalized aggregate Quality of Service computation for composite services
Journal of Systems and Software
Dreams: a framework for distributed synchronous coordination
Proceedings of the 27th Annual ACM Symposium on Applied Computing
A process distance metric based on alignment of process structure trees
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
A Study of Quality and Accuracy Trade-offs in Process Mining
INFORMS Journal on Computing
Using workflows to control the experiment execution in modeling and simulation software
Proceedings of the 5th International ICST Conference on Simulation Tools and Techniques
Event-driven adaptive collaboration using semantically-enriched patterns
Expert Systems with Applications: An International Journal
Optimal workflow-aware authorizations
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
Dynamic Replication in Service-Oriented Systems
CCGRID '12 Proceedings of the 2012 12th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing (ccgrid 2012)
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
Proceedings of the 34th International Conference on Software Engineering
Workflow patterns put into context
Software and Systems Modeling (SoSyM)
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
Software and Systems Modeling (SoSyM)
Reusing pattern solutions in modeling: a generic approach based on a role language
SLE'11 Proceedings of the 4th international conference on Software Language Engineering
BPELPower-A BPEL execution engine for geospatial web services
Computers & Geosciences
Personalized activity based eLearning
Proceedings of the 12th International Conference on Knowledge Management and Knowledge Technologies
Decentralized workflow coordination through molecular composition
ICSOC'11 Proceedings of the 2011 international conference on Service-Oriented Computing
Validation of user intentions in process models
CAiSE'12 Proceedings of the 24th international conference on Advanced Information Systems Engineering
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
On the Use of Behavioural Equivalences for Web Services' Development
Fundamenta Informaticae - Fundamentals of Software Engineering 2007: Selected Contributions
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Mining event logs to support workflow resource allocation
Knowledge-Based Systems
A pattern-based approach for the verification of business process descriptions
Information and Software Technology
On the parameterized complexity of the workflow satisfiability problem
Proceedings of the 2012 ACM conference on Computer and communications security
RW'07 Proceedings of the Third international summer school conference on Reasoning Web
Patterns for flexible BPMN workflows
Proceedings of the 16th European Conference on Pattern Languages of Programs
A framework for transformation from conceptual to logical workflow models
Decision Support Systems
Specifying and verifying declarative fluent temporal logic properties of workflows
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
Efficient querying of large process model repositories
Computers in Industry
A decade of business process management conferences: personal reflections on a developing discipline
BPM'12 Proceedings of the 10th international conference on Business Process Management
The difficulty of replacing an inclusive OR-join
BPM'12 Proceedings of the 10th international conference on Business Process Management
A business process-driven approach for requirements dependency analysis
BPM'12 Proceedings of the 10th international conference on Business Process Management
End-to-end reliability of service oriented applications
Information Systems Frontiers
Definition and enactment of instance-spanning process constraints
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Satisfying agent goals by executing different task semantics: HTN, OWL-S or plug one yourself
Autonomous Agents and Multi-Agent Systems
Improving cooperativity in a workflow coordination model over a pub/sub network
UCAmI'12 Proceedings of the 6th international conference on Ubiquitous Computing and Ambient Intelligence
International Journal of e-Collaboration
On the Usage of Labels and Icons in Business Process Modeling
International Journal of Information System Modeling and Design
Graph-Based Modelling of Concurrent Sequential Patterns
International Journal of Data Warehousing and Mining
Proceedings of the 2013 conference on Computer supported cooperative work
A collection of method fragments automated with model transformations in agent-oriented modeling
Engineering Applications of Artificial Intelligence
Evaluating parameter sweep workflows in high performance computing
Proceedings of the 1st ACM SIGMOD Workshop on Scalable Workflow Execution Engines and Technologies
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
Ensuring Customised Transactional Reliability of Composite Services
Journal of Database Management
Assigning Ontological Meaning to Workflow Nets
Journal of Database Management
A model-based synthesis process for choreography realizability enforcement
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Using enterprise architecture analysis and interview data to estimate service response time
The Journal of Strategic Information Systems
Modeling and validation of business process families
Information Systems
Service Oriented Computing and Applications
Scheduling parameter sweep workflow in the Grid based on resource competition
Future Generation Computer Systems
Constraint expressions and workflow satisfiability
Proceedings of the 18th ACM symposium on Access control models and technologies
Detecting common scientific workflow fragments using templates and execution provenance
Proceedings of the seventh international conference on Knowledge capture
Product-based business processes interoperability
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Formal semantics and expressiveness of a web service composition language
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Generation of process using multi-objective genetic algorithm
Proceedings of the 2013 International Conference on Software and System Process
On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem
ACM Transactions on Information and System Security (TISSEC)
Exploiting application dynamism and cloud elasticity for continuous dataflows
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Applying collaborative process design to user requirements elicitation: A case study
Computers in Industry
Process Evolution in a Distributed Process Execution Environment
International Journal of Information System Modeling and Design
Financial Evaluation and Optimization of Business Processes
International Journal of Information System Modeling and Design
Analyzing and completing middleware designs for enterprise integration using coloured petri nets
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Patterns as an artifact for business process improvement - insights from a case study
DESRIST'13 Proceedings of the 8th international conference on Design Science at the Intersection of Physical and Virtual Design
Version management for business process schema evolution
Information Systems
Understanding workflows for distributed computing: nitty-gritty details
WORKS '13 Proceedings of the 8th Workshop on Workflows in Support of Large-Scale Science
Control-Flow Patterns for Decentralized RESTful Service Composition
ACM Transactions on the Web (TWEB)
Form-Based Web Service Composition for Domain Experts
ACM Transactions on the Web (TWEB)
Decomposing Petri nets for process mining: A generic approach
Distributed and Parallel Databases
Computational Coordination Mechanisms: A tale of a struggle for flexibility
Computer Supported Cooperative Work
A graph distance based metric for data oriented workflow retrieval with variable time constraints
Expert Systems with Applications: An International Journal
Information and Software Technology
Similarity assessment and efficient retrieval of semantic workflows
Information Systems
Automatic case acquisition from texts for process-oriented case-based reasoning
Information Systems
Information and Software Technology
Process fragmentation, distribution and execution using an event-based interaction scheme
Journal of Systems and Software
QoS-aware management of monotonic service orchestrations
Formal Methods in System Design
Model-Driven Approaches to Service Composition
International Journal of Adaptive, Resilient and Autonomic Systems
A linear time layout algorithm for business process models
Journal of Visual Languages and Computing
Information Sciences: an International Journal
Hi-index | 0.01 |
Differences in features supported by the various contemporary commercial workflow management systems point to different insights of suitability and different levels of expressive power. The challenge, which we undertake in this paper, is to systematically address workflow requirements, from basic to complex. Many of the more complex requirements identified, recur quite frequently in the analysis phases of workflow projects, however their implementation is uncertain in current products. Requirements for workflow languages are indicated through workflow patterns. In this context, patterns address business requirements in an imperative workflow style expression, but are removed from specific workflow languages. The paper describes a number of workflow patterns addressing what we believe identify comprehensive workflow functionality. These patterns provide the basis for an in-depth comparison of a number of commercially available workflow management systems. As such, this paper can be seen as the academic response to evaluations made by prestigious consulting companies. Typically, these evaluations hardly consider the workflow modeling language and routing capabilities, and focus more on the purely technical and commercial aspects.