Activity modeling and behavior modeling
Proc. of the IFIP WG 8.1 working conference on Information systems design methodologies: improving the practice
Business process re-engineering (BPR)—a study of the software tools currently available
Computers in Industry - Special issue: CIM in the extended enterprise
Workflow technology: trade-offs for business process re-engineering
COCS '95 Proceedings of conference on Organizational computing systems
Dynamic Routing and Operational Controls in Workflow Management Systems
Management Science
Verification of workflow task structures: A petri-net-based approach
Information Systems
Quantitative analysis of static models of processes
Journal of Systems and Software - Special issue on Evaluation and assessment in software engineering
ACM Transactions on Information Systems (TOIS)
Workflow Automation: Overview and Research Issues
Information Systems Frontiers
Distributed and Parallel Databases
Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering
RE '97 Proceedings of the 3rd IEEE International Symposium on Requirements Engineering
Model-Driven Development: A Metamodeling Foundation
IEEE Software
Applying Propositional Logic to Workflow Verification
Information Technology and Management
Interorganizational Control with IT
HICSS '05 Proceedings of the Proceedings of the 38th Annual Hawaii International Conference on System Sciences (HICSS'05) - Track 1 - Volume 01
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Effective Role Resolution in Workflow Management
INFORMS Journal on Computing
Workflow-Centric Information Distribution Through E-Mail
Journal of Management Information Systems
International Journal on Software Tools for Technology Transfer (STTT)
A case study on process modelling - Three questions and three techniques
Decision Support Systems
Policy-Driven Process Mapping (PDPM): Discovering process models from business policies
Decision Support Systems
From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems
Transactions on Petri Nets and Other Models of Concurrency III
Theoretical foundations for conceptual modelling in information systems development
Decision Support Systems
Process-driven collaboration support for intra-agency crime analysis
Decision Support Systems - Special issue: Intelligence and security informatics
Query Answering for OWL-DL with rules
Web Semantics: Science, Services and Agents on the World Wide Web
A collaborative scheduling approach for service-driven scientific workflow execution
Journal of Computer and System Sciences
Conceptual model for online auditing
Decision Support Systems
Constraint-centric workflow change analytics
Decision Support Systems
Design science in information systems research
MIS Quarterly
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
WofBPEL: a tool for automated analysis of BPEL processes
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Workflow resource patterns: identification, representation and tool support
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Using the π-calculus for formalizing workflow patterns
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Transforming BPEL to petri nets
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Information-theoretic analysis of information hiding
IEEE Transactions on Information Theory
Hi-index | 0.00 |
Both conceptual and logical workflow models are needed to support business process automation via workflow systems. Conceptual models are normally used to document the generic business process requirements in the company. Logical models are generally used for defining technology specific requirements, where software modules as well as their behavioral patterns should be clearly specified. However, the transformation from conceptual models to logical models can be a tedious task, often causing errors in the resulting logical model. In this paper, we propose a formal approach that can be used to support efficient and accurate model transformation. First, we develop a procedure for transforming a conceptual workflow model into its corresponding logical workflow model. Business requirement analysis, dependency mapping, and workflow pattern-based model transformation are the major components of this transformation procedure. Second, we create a validation procedure that can validate whether the derived logical model is consistent with its original conceptual model. Business process ontologies are employed in our approach to describe both conceptual and logical models. We also implement a prototype system and conduct a demonstrative case study to show the feasibility of our approach.