Towards a formal specification framework for manufacturing execution systems

IEEE Transactions on Industrial Informatics

Volumn 8, Issue 2, 2012, Pages 311-320

  Witsch, Maria ^a   Vogel Heuser, Birgit ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Business process model and notation (BPMN); formal definition; graphical modeling notation; manufacturing execution systems (MES)

Indexed keywords

BACKGROUND KNOWLEDGE; BUSINESS PROCESS; BUSINESS PROCESS MODEL; DETAILED MODELING; DOMAIN SPECIFIC; EVALUATION RESULTS; FORMAL DEFINITION; FORMAL SPECIFICATION; GRAPHICAL MODEL; GRAPHICAL MODELING; MANUFACTURING EXECUTION SYSTEM; MODELING APPROACH; MODELING LANGUAGES; MODELING NOTATION; SOFTWARE PROJECT; SPECIFICATION PROCESS;

DAIRY PRODUCTS; GRAPHIC METHODS; SOFTWARE TESTING; SPECIFICATIONS;

MANUFACTURE;

EID: 84859916027     PISSN: 15513203     EISSN: None     Source Type: Journal    
DOI: 10.1109/TII.2012.2186585     Document Type: Article

References (44)

1. J. Hua, H. Sun, T. Liang, and Z. Lei, "The design of manufacturing execution system based on RFID," in Proc.Workshop on Power Electron. Intell. Transp. Syst., 2008, pp. 8-11.
2. A. Bratukhin and T. Sauter, "Functional analysis of manufacturing execution system distribution," IEEE Trans. Ind. Inf., vol. 7, no. 4, pp. 740-749, Nov. 2011.
3. S. Eberle, "Adaptive internet integration of field bus systems," IEEE Trans. Ind. Informat., vol. 3, no. 1, pp. 12-20, Feb. 2007. (Pubitemid 46384625)
4. K.-Y. Chen and T.-Ch.Wu, "Data warehouse design for manufacturing execution," in Proc. IEEE Int. Conf. Mechatronics, Taipei, 2005, pp. 751-756. (Pubitemid 44424859)
5. R.-S. Chen, Y.-S. Tsai, and Ch.-Ch. Chang, "Design and implementation of an intelligent manufacturing execution system for semiconductor manufacturing industry," in Proc. IEEE ISIE,Montreal, Canada, 2006.
6. M. Witsch and B. Vogel-Heuser, "Formal MES modeling framework- Integration of different views," in Proc. IFAC World Congr., Milano, 2011.
7. M. Ricken and B. Vogel-Heuser, "Modeling of manufacturing execution systems: An interdisciplinary challenge," in Proc. ETFA 15th IEEE Int. Conf. Emerging Technol. Factory Autom., Bilbao, Spain, 2010.
8. "NAMUR, MES specification and design based on the fictitious example of a beverage production process," Worksheet 128 (NA 128) 2009.
9. L. Xu, "Enterprise systems: State of the art and future trends," IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 630-640, Nov. 2011.
10. M. La Rosa, A. H. M. ter Hofstede, P. Wohed, H. A. Reijers, J. Mendling, and W. M. P. van der Aalst, "Managing process model complexity via concrete syntax modifications," IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 255-265, May 2011.
11. K. Chan, T. Dillon, and C. Kwong, "Modeling of a liquid epoxy molding process using a particle swarm optimization-based fuzzy regression approach," IEEE Trans. Ind. Informat., vol. 7, no. 1, pp. 148-158, Feb. 2011.
12. Ch. Seidner and O. H. Roux, "Formal methods for systems engineering behavior models," IEEE Trans. Ind. Informat., vol. 4, no. 4, pp. 280-290, Nov. 2008.
13. "Manufacturing enterprise solutions association international," MESA Model, 2008. [Online]. Available: Http://www.mesa.org/en/ modelstrategicinitiatives/ MESAModel.asp
14. Instrumentation, Systems and Automation Society, 2011. [Online]. Available: Http://www.isa.org/Template.cfm?section=General-Information
15. Instrumentation, Systems and Automation Society, ANSI/ISA-95.00.03-2005, Enterprise-Control System Integration, Part 3: Models of Manufacturing Operations Management, 2005.
16. T. J. Williams, A Reference Model for Computer Integrated Manufacturing (CIM): A Discription From the Viewpoint of Industrial Automation. Research Triangle Park, NC: Instrument Soc. of America, 1989.
17. A. Ferrolho and M. Crisóstomo, "Intelligent control and integration software for flexible manufacturing cells," IEEE Trans. Ind. Informat., vol. 3, no. 1, pp. 3-11, Feb. 2007. (Pubitemid 46384624)
18. M. Younus, C. Peiyong, L. Hu, and F. Yuqing, "MES development and significant applications in manufacturing-A review," in Proc. 2nd Int. Conf. Edu. Technol. Comput. (ICETC), Shanghai, Jul. 2010, pp. 97-101.
19. S. Guo, "The research and design of component-based manufacturing MES platform," in Proc. Int. Conf. Comput. Appl. Syst. Modeling (ICCASM), 2010, pp. 474-478.
20. T. Cucinotta, A. Mancina, G. F. Anastasi, G. Lipari, L. Mangeruca, R. Checcozzo, and F. Rusina, "A real-time service-oriented architecture for industrial automation," IEEE Trans. Ind. Informat., vol. 5, no. 3, pp. 267-277, Aug. 2009.
21. Z. Li and M. C. Zhou, "Two-stage method for synthesizing livenessenforcing supervisors for flexible manufacturing systems using Petri Nets," IEEE Trans. Ind. Informat., vol. 2, no. 4, pp. 313-325, Nov. 2006. (Pubitemid 44837072)
22. C. Girault and V. Rudiger, Petri Nets for Systems Engineering-A Guide to Modeling, Verification, and Applications. New York: Springer-Verlag, 2003.
23. Object Management Group (2010, November 16), Unified Modeling Language (UML), Nov. 16, 2010. [Online]. Available: Http://www.omg.org/spec/UML/2.4/ Infrastructure/Beta2/PDF/
24. Flow Diagrams for Process Plants-General Rules, ISO 10628, 1997.
25. S.-H. Hur, R. Katebi, and A. Taylor, "Modeling and control of a plastic film manufacturing web process," IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 171-178, May 2011.
26. H. Hu, M. Zhou, and Z. Li, "Supervisor optimization for deadlock resolution in automated manufacturing systems with Petri Nets," IEEE Trans. Autom. Sci. Eng., vol. 8, no. 4, pp. 794-804, Oct. 2011.
27. M. Khalgui, O. Mosbahi, Z. Li, and H.-M. Hanisch, "Reconfigurable multiagent embedded control systems: From modeling to implementation," IEEE Trans. Comput., vol. 60, no. 4, pp. 538-551, Apr. 2011.
28. R. Bendraou, J. Jézéquel, M. Gervais, and X. Blanc, "A comparison of six UML-based languages for software process modeling," IEEE Trans. Softw. Eng., vol. 36, no. 5, pp. 662-675, Sep./Oct. 2010.
29. Object Management Group, Systems Modeling Language (SysML) Jun. 1, 2010. [Online]. Available: Http://www.omg.org/spec/ SysML/1.2/PDF/
30. L. Bassi, C. Secchi, M. Bonfé, and C. Fantuzzi, "A sysML-based methodology for manufacturing machinery modeling and design," IEEE Trans. Mech., vol. 16, no. 6, pp. 1049-1062, Dec. 2011.
31. A. B. Khedher and S. Henry, "Integration between MES and product lifecycle management," in Proc. 16th IEEE Int. Conf. Emerging Technol. Factory Autom., ETFA, Toulouse, France, 2011.
32. Object Management Group , Business Process Model and Notation (BPMN), Aug. 14, 2010. [Online]. Available: Http://www.omg.org/ spec/BPMN/2.0/Beta1/PDF/
33. M. La Rosa, P.Wohed, J. Mendling, A. H. M. ter Hofstede, H. A. Reijers, and W. M. P. van der Aalst, "Managing process model complexity via abstract syntax modifications," IEEE Trans. Ind. Informat., vol. 7, no. 2, pp. 255-265, Nov. 2011.
34. Object Management Group , "(2001, January 3)," Business Process Modeling Notation Specification (BPMN) Jan. 1, 2001. [Online]. Available: Http://www.omg.org/spec/BPMN/1.2/PDF
35. G. Decker and A. Barros, , A. Hofstede, B. Benatallah, and H.-Y. Paik, Eds., "Interaction modeling using BPMN," in Business Process Management Workshop, 8th ed. Berlin, Germany: Springer, 2008, vol. 4928, LNCS, pp. 208-219. (Pubitemid 351358255)
36. M. zur Muehlen and D. T. Ho, "Service process innovation: A case study of BPMN in practice," in Proc. 41st Annu. Hawaii Int. Conf. Syst. Sci., Hawaii, 2008, pp. 372-382.
37. M. Brambilla, J. C. Preciado, M. Linaje, and F. Sanchez-Figueroa, "Business process-based conceptual design of rich internet applications," in Proc. 8th Int. Conf. Web Eng., 2008, pp. 155-161.
38. G. Mpardis and T. Kotsilieris, "Bank loan processes modelling using BPMN," IEEE Developments in E-Systems Engineering, pp. 239-242, 2010.
39. J. Puustjärvi and L. Puustjärvi, "Reserving clinical resources for healthcare processes," in Proc. 4th Int. Conf. Digital Soc., 2010, pp. 92-97.
40. Z. Dubani, B. Soh, and Ch. Seeling, "A novel framework for business process modelling in automotive industry," in Proc. 5th IEEE Int. Symp. Electron. Design, Test, Appl., 2010, pp. 250-255.
41. S. Zor, K. Görlach, and F. Leymann, "Using BPMN for modeling manufacturing processes," in Proc. 43rd CIRP Conf. Manuf. Syst., Sustainable Production and Logistics in Global Networks-, 2010.
42. M. zur Muehlen, J. Recker, and M. Indulska, "Sometimes less is more: Are process modeling languages overly complex?," in Proc. 11th Int. IEEE EDOC Conf. Workshop (EDOCW'07), Annapolis, MD, Jul. 2008.
43. D. L. Moody, "The "physics" of notations: Toward a scientific basis for constructing visual notations in software engineering," IEEE Trans. Softw. Eng., vol. 35, no. 6, Nov./Dec. 2009.
44. B.-J. Hommes and V. van Reijswoud, "Assessing the quality of business process modelling techniques," in Proc. 33rd Annu. Hawaii Int. Conf. Syst. Sci., Hawaii, 2000, pp. 1-10.