Design Methodology and Tools in Factory of the Future
AbstractThis paper presents a design method and tool developed to support the skill forming activities in the DigiFoF network (https://www.digifof.eu/). The focus is on training of manufacturing system design skills both as HEI education and vocational training, but preliminary design of new manufacturing systems is also supported (e.g in the development of small business process scenarios). We proposed a model-based methodology for solving of the manufacturing system design problems The methodology and the supporting tool are centred around a less abstract Domain-Specific Modelling Language (DSML). The language is easy to learn due to its few components. A modelling and simulation environment named Digital Production Planner Tool (DPPT) was generated from the metamodel of the DSML. The degree of abstraction used by this tool corresponds well to the intended use in training and preliminary design.Our method incorporates by design the possibility to impose constraints at the modelling language level to limit the modelling space to feasible/possible solutions. The resulting tool enforces these constraints in the use and supports the development of feasible designs even by inexperienced designers.The access to the conceptual model allows the translation of the model to other modelling language like Petri net. This extends the support for the design methodology.The whitepaper presents a use case for the developed method and tool: the design of a chocolate manufacturing line.
[Barr2012] Michael Barr And Charles Wells, Category Theory For Computing Science- Reprints in Theory and Applications of Categories, No. 22, 2012.
[Bork2019] D. Bork, R.A. Buchman, D. Karagiannis, M. Lee, E.T. Miron, An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem, Communications of the Association for Information Systems, forthcoming, http://eprints.cs.univie.ac.at/5462/1/CAIS-OMiLAB-final-withFront.pdf (2019)
[Bork2020] Dominik Bork, Dimitris Karagiannis, Benedikt Pittl, A survey of modeling language specification techniques, Information Systems 87 (2020) 101425, journal homepage: www.elsevier.com/locate/is
[Campbell2018] G. Campbell, ‘Algebraic graph transformation: A crash course’, Department of Computer Science, University of York, UK, Tech. Rep., 2018. [Online]. Available: https://cdn.gjcampbell.co.uk/2018/Graph-Transformation.pdf.
[Campbell2019] G. Campbell, B. Courtehoute and D. Plump, ‘Linear-time graph algorithms in GP2’, Department of Computer Science, University of York, UK, Submitted for publication, 2019.
[Online]. Available: https://cdn.gjcampbell.co.uk/2019/Linear-Time-GP2-Preprint.pdf.
[Craciunean2018] D.C. Crăciunean, D. Karagiannis, Categorical Modeling Method of Intelligent WorkFlow. In: Groza A., Prasath R. (eds) Mining Intelligence and Knowledge Exploration. MIKE Lecture Notes in Computer Science, vol 11308. Springer, Cham (2018).
[Craciunean2019]D.C. Crăciunean, Categorical Grammars for Processes Modeling, International Journal of Advanced Computer Science and Applications(IJACSA), 10(1), (2019)
[DigiFoF2019] Report on needs and demands for FoF-design: Findings and recommendations, DigiFoF Project Nr.601089-EPP-1-2018-1-RO-EPPKA2-KA, 30.06.2019, https://digifof.eu/sites/default/files/casestudiesfiles/d1.2_report_on_needs_and_demands_for_fof-design_final_version.pdf, Last accessed 17.12.2020.
[DigiFoFD3.3] Design method for the Factory of the Future, DigiFoF Project Nr. 601089-EPP-1-2018-1-RO-EPPKA2-KA, 28.02.2020, https://digifof.eu/sites/default/files/d3.3_design_method_for_the_factory_of_the_future_review_omilab_disclaimer.pdf, Last accessed 21.02.2021.
[DigiFoFD3.4] Design modelling tool for the Factory of the Future, DigiFoF Project Nr. 601089-EPP-1-2018-1-RO-EPPKA2-KA, 30.10.2020, https://digifof.eu/sites/default/files/d3.4_design_modelling_tool_for_the_factory_of_the_future_disclaimer.pdf, Last accessed 21.02.2021.
[Diskin2012] Zinovy Diskin, Tom Maibaum- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond, ACCAT 2012
[Ehrig2015] Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann, Graph and Model Transformation General Framework and Applications, Springer-Verlag Berlin Heidelberg 2015
[Fowler2010] M. Fowler, R. Parsons, Domain Specific Languages, 1st ed. Addison-Wesley Longman, Amsterdam, 2010.
[Hristakiev2018] Hristakiev, I. ‘Confluence analysis for a graph programming language’, PhD thesis, Department of Computer Science, University of York, UK, 2018, [Online]. Available: https://etheses.whiterose.ac.uk/20255/.
[Karagiannis2016] D. Karagiannis, Agile modeling method engineering. Proceedings of the 19th Panhellenic Conference on Informatics - PCI ’15. doi:10.1145/2801948.2802040 (2015)
[Karagiannis2016] D. Karagiannis, H.C. Mayr, J. Mylopoulos, Domain-Specific Conceptual Modeling Concepts, Methods and Tools. Springer International Publishing Switzerland (2016)
[Karagiannis2020] Karagiannis, D., Buchmann, R. A., Boucher, X., Cavalieri, S., Florea, A., Kiritsis, D., & Lee, M. (2020, November). OMiLAB: a smart innovation environment for digital engineers. In Working Conference on Virtual Enterprises (pp. 273-282). Springer, Cham.
[Milner2009] R. Milner, The Space and Motion of Communicating Agents, Cambridge University Press, (2009)
[Mironescu2020] Mironescu, I., Crăciunean, D. C., Florea, A., & Bondrea, I. (2020, November). Improving the Training Methods for Designers of Flexible Production Cells in Factories of the Future. In Working Conference on Virtual Enterprises (pp. 283-296). Springer, Cham.
[Plump2010] D. Plump, ‘Checking graph-transformation systems for confluence’, ECEASST, vol. 26, 2010. DOI: 10.14279/tuj.eceasst.26.367.
[Plump2019] D. Plump, ‘Computing by graph transformation: 2018/19’, Department of Computer Science, University of York, UK, Lecture Slides, 2019.
[Wolter2015] Uwe Wolter, Zinovy Diskin, The Next Hundred Diagrammatic Specification Techniques, A Gentle Introduction to Generalized Sketches, 02 September 2015 : https://www.researchgate.net/publication/253963677,