A three-layered method for business processes discovery and its application in manufacturing industry

Computers in Industry

Volumn 58, Issue 3, 2007, Pages 265-278

  Xu, Ke ^a   Liu, Lianchen ^a   Wu, Cheng ^a  

^a TSINGHUA UNIVERSITY   (China)

Author keywords

Business componentization; Business process discovery; Model checking; Process modeling

Indexed keywords

COMPUTER ARCHITECTURE; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; PROCESS CONTROL;

BUSINESS COMPONENTIZATION; BUSINESS PROCESS DISCOVERY; MODEL CHECKING; PROCESS MODELING;

ELECTRONIC COMMERCE;

EID: 33847110278     PISSN: 01663615     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.compind.2006.06.001     Document Type: Article

References (26)

1. Francis J. Great unsolved problems. Business Process Trends (2004). http://www.bptrends.com
2. Davenport T., and Beers M. Managing information about processes. Journal of Management Information Systems 12 1 (1995) 57-81
3. Flaxer D., and Nigam A. Realizing business components, business operations and business services. IEEE International Conf. on e-Commerce Technology for Dynamic E-Business (2004) 328-332
4. Paul H. Operations reference frameworks. Business Process Trends Spotlight 1 8 (2004)
5. Herbst J., and Dimitris K. Workflow ining with InWoLvE. Computers in Industry 53 3 (2004) 245-264
6. Van der Aalst W.M.P., and Weijters A.J.M.M. Process mining: a research agenda. Computers in Industry 53 3 (2004) 231-244
7. Orrlens B., Yang J., et al. Service component: a mechanism for web service composition reuse and specialization. Journal of Integrated Design and Process Science 8 2 (2004) 13-28
8. Dustdar S. Web services workflows-composition, co-ordination, and transactions in service-oriented computing. Concurrent Engineering Research and Applications 12 3 (2004) 237-245
9. Paul H. An introduction to the Supply Chain Council's SCOR methodology. Whitepaper in Business Process Trends (2003). http://www.bptrends.com
10. Andrews T., Curbera F., et al. Business Process Execution Language For Web Services Version 1.1 (2003). http://www-106.ibm.com/developerworks/webservices/library/ws-bpel/
11. Milner R. Communicating and Mobile Systems: The Pi Calculus (1999), Cambridge University Press, Cambridge
12. Michael H. Essential Business Process Modeling (2005), O'Reilly Press
13. Gal A., Modica G., et al. Automatic ontology matching using application semantics. AI Magazine 26 1 (2005) 21-31
14. Ram S., and Park J. Semantic conflict resolution ontology (SCROL): an ontology for detecting and resolving data and schema-level semantic conflicts. IEEE Transactions on Knowledge and Data Engineering 16 2 (2004) 189-202
15. van der Aalst W.M.P., ter Hofstede A.H.M., et al. Workflow patterns. Distributed and Parallel Databases 14 (2003) 5-51
16. Zachman J.A. A framework for information systems architecture. IBM Systems Journal 26 3 (1987) 276-292
17. Robert G.S. Verification and validation of simulation models. Winter Simulation Conference Proceedings (2003) 37-48
18. Clarke E.M., Grumberg Jr. O., and Peled D.A. Model Checking (1999), MIT Press, Cambridge
19. Anderson B., Hansen J., et al. Model checking for design and assurance of e-Business processes. Decision Support Systems 39 3 (2005) 333-344
20. Lumpe M., Achermann F., et al. A Formal Language For Composition. In Foundations of Component-Based Systems (2000), Cambridge University Press pp. 69-90
21. Yang D., and Zhang S.S. Using pi-calculus to formalize UML activity diagram for business process modeling. Proc. of the 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (2003) 47-54
22. M. Mazzara, S. Govoni, A case study of web services orchestration, in: Proc. of the 7th International Conference on Coordination Models and Languages, Lecture Notes in Computer Science, Springer, Berlin, vol. 3454, 2005, pp. 1-16.
23. X. Ke, The research of a three layered method for business process discovery and its implementation techniques, Master Thesis, Automation Department, Tsinghua University, 2005
24. J. Dehnert, A. Zimmermann, On the suitability of correctness criteria for business process models, in: Proc. of the 3rd International Conference on Business Process Management, Lecture Notes in Computer Science, Springer, Berlin, vol. 3649, 2005, pp. 386-391.
25. IEEE P1850 Standard for PSL (Property Specification Language), http://www.eda.org/ieee-1850/.
26. A. Cimatti, E. Clarke, E. Giunchiglia, et al., NuSMV 2: an OpenSource tool for symbolic model checking, in: Proc. of the 14th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, Springer, Berlin, vol. 2404, 2002, pp. 359-364.