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
Business process implementation: building workflow systems
Business process implementation: building workflow systems
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
IEEE Intelligent Systems
Scientific Workflow Management by Database Management
SSDBM '98 Proceedings of the 10th International Conference on Scientific and Statistical Database Management
WASA: A Workflow-Based Architecture to Support Scientific Database Applications (Extended Abstract)
DEXA '95 Proceedings of the 6th International Conference on Database and Expert Systems Applications
SAINT '03 Proceedings of the 2003 Symposium on Applications and the Internet
Business artifacts: An approach to operational specification
IBM Systems Journal
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Formulating the Data-Flow Perspective for Business Process Management
Information Systems Research
Static Analysis of Business Artifact-centric Operational Models
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
On the Duality of Information-Centric and Activity-Centric Models of Business Processes
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Generating Business Process Models from Object Behavior Models
Information Systems Management
Model-driven synthesis of SOA solutions
IBM Systems Journal
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Process Materialization Using Templates and Rules to Design Flexible Process Models
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
Journal of Biomedical Informatics
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
A state-driven modeling approach to human interactions for knowledge intensive services
Expert Systems with Applications: An International Journal
Machine-assisted design of business process models using descriptor space analysis
BPM'10 Proceedings of the 8th international conference on Business process management
Product-based workflow support
Information Systems
Automated realization of business workflow specification
ICSOC/ServiceWave'09 Proceedings of the 2009 international conference on Service-oriented computing
Leveraging business process models for ETL design
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
A process view framework for artifact-centric business processes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
ProcessGene view: an integrated visualization of business process models
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Designing integration flows using hypercubes
Proceedings of the 14th International Conference on Extending Database Technology
Introducing the guard-stage-milestone approach for specifying business entity lifecycles
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Procedural security analysis: A methodological approach
Journal of Systems and Software
An artifact-centric approach to generating web-based business process driven user interfaces
WISE'10 Proceedings of the 11th international conference on Web information systems engineering
Proceedings of the 5th ACM international conference on Distributed event-based system
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
BPM'11 Proceedings of the 9th international conference on Business process management
An artifact-centric view-based approach to modeling inter-organizational business processes
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Design and management of flexible process variants using templates and rules
Computers in Industry
Towards deterministically constructing organizations based on the normalized systems approach
DESRIST'10 Proceedings of the 5th international conference on Global Perspectives on Design Science Research
Computing degree of parallelism for BPMN processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Verification of deployed artifact systems via data abstraction
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Nested dynamic condition response graphs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
A framework for behavior-consistent specialization of artifact-centric business processes
BPM'12 Proceedings of the 10th international conference on Business Process Management
Ontology-based governance of data-aware processes
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
When data, knowledge and processes meet together
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Adaptive case management in the social enterprise
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Journal of Database Management
Recognizing Valid Artifacts in Business Processes
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
Foundations of data-aware process analysis: a database theory perspective
Proceedings of the 32nd symposium on Principles of database systems
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
Enabling the analysis of cross-cutting aspects in ad-hoc processes
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Workflow resource pattern modelling and visualization
ACSC '13 Proceedings of the Thirty-Sixth Australasian Computer Science Conference - Volume 135
Verification and synthesis in description logic based dynamic systems
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Mixing paradigms for more comprehensible models
BPM'13 Proceedings of the 11th international conference on Business Process Management
Computational Coordination Mechanisms: A tale of a struggle for flexibility
Computer Supported Cooperative Work
Hi-index | 0.00 |
Business process (BP) modeling is a building block for design andmanagement of business processes. Two fundamental aspects of BP modelingare: a formal framework that well integrates both control flow and data, and a setof tools to assist all phases of a BP life cycle. This paper is an initial attempt toaddress both aspects of BP modeling. We view our investigation as a precursor tothe development of a framework and tools that enable automated construction ofprocesses, along the lines of techniques developed around OWL-S and SemanticWeb Services. Over the last decade, an artifact-centric approach of coupling control and dataemerged in the practice of BP design. It focuses on the "moving" data as they aremanipulated throughout a process. In this paper, we formulate a formal modelfor artifact-centric business processes and develop complexity results concerningstatic analysis of three problems of immediate practical concerns, which focus onthe ability to complete an execution, existence of an execution "deadend", andredundancy. We show that the problems are undecidable in general, but undervarious restrictions they are decidable but complete in PSPACE, co-NP, and NP;and in some cases decidable in linear time.