Design Methodology and Tools in Factory of the Future

[Barr2012] Michael Barr And Charles Wells, Category Theory For Computing Science- Reprints in Theory and Applications of Categories, No. 22, 2012. Search in Google Scholar

[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)10.17705/1CAIS.04432 Search in Google Scholar

[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/is10.1016/j.is.2019.101425 Search in Google Scholar

[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. Search in Google Scholar

[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. Search in Google Scholar

[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).10.1007/978-3-030-05918-7_11 Search in Google Scholar

[Craciunean2019]D.C. Crăciunean, Categorical Grammars for Processes Modeling, International Journal of Advanced Computer Science and Applications(IJACSA), 10(1), (2019)10.14569/IJACSA.2019.0100105 Search in Google Scholar

[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. Search in Google Scholar

[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. Search in Google Scholar

[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. Search in Google Scholar

[Diskin2012] Zinovy Diskin, Tom Maibaum- Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond, ACCAT 201210.4204/EPTCS.93.1 Search in Google Scholar

[Ehrig2015] Hartmut Ehrig, Claudia Ermel, Ulrike Golas, Frank Hermann, Graph and Model Transformation General Framework and Applications, Springer-Verlag Berlin Heidelberg 201510.1007/978-3-662-47980-3 Search in Google Scholar

[Fowler2010] M. Fowler, R. Parsons, Domain Specific Languages, 1st ed. Addison-Wesley Longman, Amsterdam, 2010. Search in Google Scholar

[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/. Search in Google Scholar

[Karagiannis2016] D. Karagiannis, Agile modeling method engineering. Proceedings of the 19th Panhellenic Conference on Informatics - PCI ’15. doi:10.1145/2801948.2802040 (2015)10.1145/2801948.2802040 Search in Google Scholar

[Karagiannis2016] D. Karagiannis, H.C. Mayr, J. Mylopoulos, Domain-Specific Conceptual Modeling Concepts, Methods and Tools. Springer International Publishing Switzerland (2016)10.1007/978-3-319-39417-6 Search in Google Scholar

[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.10.1007/978-3-030-62412-5_23 Search in Google Scholar

[Milner2009] R. Milner, The Space and Motion of Communicating Agents, Cambridge University Press, (2009)10.1017/CBO9780511626661 Search in Google Scholar

[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.10.1007/978-3-030-62412-5_24 Search in Google Scholar

[Plump2010] D. Plump, ‘Checking graph-transformation systems for confluence’, ECEASST, vol. 26, 2010. DOI: 10.14279/tuj.eceasst.26.367. Search in Google Scholar

[Plump2019] D. Plump, ‘Computing by graph transformation: 2018/19’, Department of Computer Science, University of York, UK, Lecture Slides, 2019. Search in Google Scholar

[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, Search in Google Scholar