A framework for information systems architecture
IBM Systems Journal
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
A formal language for composition
Foundations of component-based systems
Distributed and Parallel Databases
NuSMV 2: An OpenSource Tool for Symbolic Model Checking
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
IEEE Transactions on Knowledge and Data Engineering
Process mining: a research agenda
Computers in Industry - Special issue: Process/workflow mining
Computers in Industry - Special issue: Process/workflow mining
Realizing Business Components, Business Operations and Business Services
CEC-EAST '04 Proceedings of the E-Commerce Technology for Dynamic E-Business, IEEE International Conference
Automatic ontology matching using application semantics
AI Magazine - Special issue on semantic integration
Verification and validation of simulation models
WSC '05 Proceedings of the 37th conference on Winter simulation
Managing information about processes
Journal of Management Information Systems - Special section: Toward a theory of business process change management
Model checking for design and assurance of e-business processes
Decision Support Systems
Service Component: A Mechanism For Web Service Composition Reuse And Specialization
Journal of Integrated Design & Process Science
On the suitability of correctness criteria for business process models
BPM'05 Proceedings of the 3rd international conference on Business Process Management
A case study of web services orchestration
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Rapid business process discovery (R-BPD)
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Hi-index | 0.00 |
Business process discovery is a basis for analyzing an enterprise's current business and is a critical key to enterprises seeking to be more process-centric today. Challenges in business process discovery include the complexity of the enterprise and the interactions among its units, the inaccuracy and incompleteness of available business information, and the dynamic changing businesses in the enterprise. In this paper, a three-layered architecture mixing the top-down and bottom-up methodology is proposed to address the above issues. Technical details of the three layers, namely the Component layer, the Operation Integration layer and the Operation layer are discussed. Moreover, a model checking based verification approach is also integrated in the method to verify the discovered business process against the desired business requirements from analysts. Finally, a case study in a furniture manufacturing enterprise in China is illustrated to prove the effectiveness of our method.