Ontology-based model-driven design of distributed control applications in manufacturing systems

References

• Ahmed, S., S. Kim, and K. M. Wallace. 2007. “A Methodology for Creating Ontologies for Engineering Design.” Journal of Computing and Information Science in Engineering 7 (2): 132. doi: 10.1115/1.2720879
   Web of Science ®Google Scholar
• Alsafi, Y., and V. Vyatkin. 2010. “Ontology-based Reconfiguration Agent for Intelligent Mechatronic Systems in Flexible Manufacturing.” Robotics and Computer-Integrated Manufacturing 26 (4): 381–391. doi: 10.1016/j.rcim.2009.12.001
   Web of Science ®Google Scholar
• Alvarez, M. L., I. Sarachaga, A. Burgos, E. Estevez, and M. Marcos. 2016. “A Methodological Approach to Model-driven Design and Development of Automation Systems.” IEEE Transactions on Automation Science and Engineering 15 (1): 67–79. doi: 10.1109/TASE.2016.2574644
   Web of Science ®Google Scholar
• Alvarez Cabrera, A. A., K. Woestenenk, and T. Tomiyama. 2011. “An Architecture Model to Support Cooperative Design for Mechatronic Products: A Control Design Case.” Mechatronics 21 (3): 534–547. doi: 10.1016/j.mechatronics.2011.01.009
   Web of Science ®Google Scholar
• Bock, C., and M. Elaasar. 2018. “Reusing Metamodels and Notation with Diagram Definition.” Software and Systems Modeling 17 (4): 1079–1103. doi: 10.1007/s10270-016-0537-x
   Web of Science ®Google Scholar
• Bock, C., and J. Odell. 2011. “Ontological Behavior Modeling.” The Journal of Object Technology 10 (3): 1–36.
   Google Scholar
• Bock, C., X. Zha, H. W. Suh, and J. H. Lee. 2010. “Ontological Product Modeling for Collaborative Design.” Advanced Engineering Informatics 24 (4): 510–524. doi: 10.1016/j.aei.2010.06.011
   Web of Science ®Google Scholar
• Borgo, S., A. Cesta, A. Orlandini, and A. Umbrico. 2015. “An Ontology-Based Domain Representation for Plan-based Controllers in a Reconfigurable Manufacturing System.” Proceedings of the 28th International Florida Artificial intelligence research Society Conference (FLAIRS 2015), Hollywood, FL, 354–359.
   Google Scholar
• Boucher, M., and D. Houlihan. 2008. System Design: New Product Development for Mechatronics. Aberdeen Group. January 25.
   Google Scholar
• Bruck, J., and H. Kenn. 2007. Customizing UML: Which Technique Is Right for You? White Paper, Eclipse UML Project.
   Google Scholar
• Christensen, J. H. 2000. “Design Patterns for Systems Engineering with IEC 61499.” In Verteilte Automatisierung—modelle Und Methoden Für Entwurf, Verifikation, engineering Und Instrumentierung, Magdeburg.
   Google Scholar
• Chungoora, N., O. Canciglieri, and R. I. M. Young. 2010. “Towards Expressive Ontology-based Approaches to Manufacturing Knowledge Representation and Sharing.” International Journal of Computer Integrated Manufacturing 23 (12): 1059–1070. doi: 10.1080/0951192X.2010.518976
   Web of Science ®Google Scholar
• Chungoora, N., and R. I. M. Young. 2011. “The Configuration of Design and Manufacture Knowledge Models from a Heavyweight Ontological Foundation.” International Journal of Production Research 49 (15): 4701–4725. doi: 10.1080/00207543.2010.504754
   Web of Science ®Google Scholar
• Dai, W., V. N. Dubinin, and V. Vyatkin. 2014. “Migration from PLC to IEC 61499 Using Semantic Web Technologies.” IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (3): 277–291. doi: 10.1109/TSMCC.2013.2264671
   Web of Science ®Google Scholar
• David, J., J. Euzenat, F. Scharffe, C. Trojahn, and T. Alignment. 2013. “The Alignment API 4.0.” Semantic Web – Interoperability, Usability, Applicability 2 (1): 3–10.
   Google Scholar
• Dentler, K., R. Cornet, A. Ten Teije, and N. De Keizer. 2011. “Comparison of Reasoners for Large Ontologies in the OWL 2 EL Profile.” Semantic Web 2 (2): 71–87.
   Web of Science ®Google Scholar
• Dibowski, H., J. Ploennigs, and K. Kabitzsch. 2010. “Automated Design of Building Automation Systems.” IEEE Transactions on Industrial Electronics 57 (11): 3606–3613. doi: 10.1109/TIE.2009.2032209
   Web of Science ®Google Scholar
• Dubinin, V., V. Vyatkin, and T. Pfeiffer. 2005. “Engineering of Validatable Automation Systems Based on an Extension of UML Combined with Function Blocks of IEC 61499.” Proceedings – 2005 IEEE International Conference on Robotics and Automation, Barcelona, Spain, 3996–4001.
   Google Scholar
• Fay, A., B. Vogel-Heuser, T. Frank, K. Eckert, T. Hadlich, and C. Diedrich. 2015. “Enhancing a Model-based Engineering Approach for Distributed Manufacturing Automation Systems with Characteristics and Design Patterns.” Journal of Systems and Software 101: 221–235. doi: 10.1016/j.jss.2014.12.028
   Web of Science ®Google Scholar
• Feldmann, S., S. J. I. Herzig, K. Kernschmidt, T. Wolfenstetter, D. Kammerl, A. Qamar, U. Lindemann, H. Krcmar, C. J. J. Paredis, and B. Vogel-Heuser. 2015. “Towards Effective Management of Inconsistencies in Model-based Engineering of Automated Production Systems.” IFAC-PapersOnLine 48 (3): 916–923. doi: 10.1016/j.ifacol.2015.06.200
   Google Scholar
• Hästbacka, D., and S. Kuikka. 2013. “Semantics Enhanced Engineering and Model Reasoning for Control Application Development.” Multimedia Tools and Applications 65 (1): 47–62. doi: 10.1007/s11042-012-1134-9
   Web of Science ®Google Scholar
• Hästbacka, D., T. Vepsäläinen, and S. Kuikka. 2011. “Model-driven Development of Industrial Process Control Applications.” Journal of Systems and Software 84 (7): 1100–1113. doi: 10.1016/j.jss.2011.01.063
   Web of Science ®Google Scholar
• Hirsch, M., D. Missal, and H. M. Hanisch. 2008. “Design and Verification of Distributed Industrial Manufacturing Control Systems.” Proceedings – 34th Annual Conference of the IEEE Industrial Electronics Society (IECON 2008), Orlando, FL, 152–157.
   Google Scholar
• Horrocks, I., O. Kutz, and U. Sattler. 2006. “The Even More Irresistible SROIQ.” In Proceeding of the 10th International Conference on Principles of Knowledge Representation and Reasoning (KR2006), 57–67, Lake District of the UK.
   Google Scholar
• IEC. 1993. “ Programmable Controllers–part 3 Programming Languages, IEC 61131.”
   Google Scholar
• IEC. 2005. “ Function Blocks–Part 1 Architecture, IEC 61499.”
   Google Scholar
• IEC. 2008. “ Representation of Process Control Engineering – Requests in P&I Diagrams and Data Exchange between P&ID Tools and PCE-CAE Tools, IEC 62424.”
   Google Scholar
• Jouault, F., F. Allilaire, J. Bézivin, and I. Kurtev. 2008. “ATL: A Model Transformation Tool.” Science of Computer Programming 72 (1–2): 31–39. doi: 10.1016/j.scico.2007.08.002
   Web of Science ®Google Scholar
• Kovalenko, O., and J. Euzenat. 2016. “Semantic Matching of Engineering Data Structures.” In Semantic Web Technologies for Intelligent Engineering Applications, edited by S. Biffl and M. Sabou, 137–157. Cham: Springer.
   Google Scholar
• Lee, J. H., S. J. Fenves, C. Bock, H. W. Suh, S. Rachuri, X. Fiorentini, and R. D. Sriram. 2012. “A Semantic Product Modeling Framework and Language for Behavior Evaluation.” IEEE Transactions on Automation Science and Engineering 9 (1): 136–143. doi: 10.1109/TASE.2011.2165210
   Web of Science ®Google Scholar
• Lemaignan, S., A. Siadat, J. Y. Dantan, and A. Semenenko. 2006. “MASON: A Proposal for an Ontology of Manufacturing Domain.” Proceedings – DIS 2006: IEEE Workshop on Distributed Intelligent Systems – Collective Intelligence and Its Applications, Prague, Czech Republic, 195–200.
   Google Scholar
• Lepuschitz, W., A. Zoitl, M. Vallée, and M. Merdan. 2011. “Toward Self-reconfiguration of Manufacturing Systems Using Automation Agents.” IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 41 (1): 52–69. doi: 10.1109/TSMCC.2010.2059012
   Web of Science ®Google Scholar
• Lüder, A., J. Peschke, and R. Sanz. 2010. “Design Patterns for Distributed Control Applications.” In Distributed Manufacturing, edited by H. Kühnle. London: Springer.
   Google Scholar
• Musen, M. A. 2015. “The Protégé Project: A Look Back and a Look Forward.” AI Matters 1 (4): 4–12. doi: 10.1145/2757001.2757003
   PubMedGoogle Scholar
• Obitko, M., P. Vrba, V. Marik, M. Radakovic, and P. Kadera. 2010. “Applications of Semantics in Agent-based Manufacturing Systems.” Informatica 34 (3): 315–330.
   Google Scholar
• OMG. 2010. “ OMG Unified Modeling Language: Infrastructure.” http://doc.omg.org/formal/2010-05-03.
   Google Scholar
• OMG. 2014. “ Model-driven Architecture.” https://www.omg.org/mda/.
   Google Scholar
• OMG. 2015. “ OMG Unified Modeling Language (OMG UML).” http://www.omg.org/spec/UML/2.3/.
   Google Scholar
• OMG. 2017. “ Systems Modeling Language Specification, Version 1.5.” https://www.omg.org/spec/SysML/1.5/.
   Google Scholar
• Pang, C. 2012. “Model-Driven Development of Distributed Automation Intelligence with IEC 61499.” PhD thesis.
   Google Scholar
• Pang, C., V. Vyatkin, and W. Dai. 2014. “IEC 61499 Based Model-Driven Process Control Engineering.” Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), Barcelona, Spain, 1–8.
   Google Scholar
• Panjaitan, S., and G. Frey. 2006. “Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems.” Proceedings of the 2006 IEEE Emerging Technology and Factory Automation (ETFA), Prague, Czech Republic, 766–773.
   Google Scholar
• Runde, S., and A. Fay. 2011. “Software Support for Building Automation Requirements Engineering – An Application of Semantic Web Technologies in Automation.” IEEE Transactions on Industrial Informatics 7 (4): 723–730. doi: 10.1109/TII.2011.2166784
   Web of Science ®Google Scholar
• Selic, B. 2007. “A Systematic Approach to Domain-Specific Language Design Using UML.” Proceedings of the 10th IEEE International Symposium on Object and Component-oriented Real-time Distributed Computing (ISORC’07), Santorini Island, Greece, 2–9.
   Google Scholar
• Shvaiko, P., and J. Euzenat. 2013. “Ontology Matching: State of the Art and Future Challenges.” IEEE Transactions on Knowledge and Data Engineering 25 (1): 158–176. doi: 10.1109/TKDE.2011.253
   Web of Science ®Google Scholar
• Sirin, E., B. Parsia, B. C. Grau, A. Kalyanpur, and Y. Katz. 2007. “Pellet: A Practical OWL-DL Reasoner.” Journal of Web Semantics 5 (2): 51–53. doi: 10.1016/j.websem.2007.03.004
   Web of Science ®Google Scholar
• Thramboulidis, K. 2005. “Model-integrated Mechatronics – Toward a New Paradigm in the Development of Manufacturing Systems.” IEEE Transactions on Industrial Informatics 1 (1): 54–61. doi: 10.1109/TII.2005.844427
   Web of Science ®Google Scholar
• Thramboulidis, K. 2015. “A Cyber-physical System-based Approach for Industrial Automation Systems.” Computers in Industry 72: 92–102. doi: 10.1016/j.compind.2015.04.006
   Web of Science ®Google Scholar
• Thramboulidis, K., D. Perdikis, and S. Kantas. 2007. “Model Driven Development of Distributed Control Applications.” The International Journal of Advanced Manufacturing Technology 33 (3–4): 233–242. doi: 10.1007/s00170-006-0455-0
   Web of Science ®Google Scholar
• Thramboulidis, K. C., and C. S. Tranoris. 2004. “Developing a CASE Tool for Distributed Control Applications.” International Journal of Advanced Manufacturing Technology 24 (1–2): 24–31.
   Web of Science ®Google Scholar
• Tranoris, C., and K. Thramboulidis. 2006. “A Tool Supported Engineering Process for Developing Control Applications.” Computers in Industry 57 (5): 462–472. doi: 10.1016/j.compind.2006.02.006
   Web of Science ®Google Scholar
• Vogel-Heuser, B., D. Schütz, T. Frank, and C. Legat. 2014. “Model-driven Engineering of Manufacturing Automation Software Projects – A SysML-based Approach.” Mechatronics 24 (7): 883–897. doi: 10.1016/j.mechatronics.2014.05.003
   Web of Science ®Google Scholar
• Vyatkin, V. 2011. “IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-art Review.” IEEE Transactions on Industrial Informatics 7 (4): 768–781. doi: 10.1109/TII.2011.2166785
   Web of Science ®Google Scholar
• Vyatkin, V. 2013. “Software Engineering in Industrial Automation: State-of-the-art Review.” IEEE Transactions on Industrial Informatics 9 (3): 1234–1249. doi: 10.1109/TII.2013.2258165
   Web of Science ®Google Scholar
• Vyatkin, V., H. M. Hanisch, C. Pang, and C. H. Yang. 2009. “Closed-loop Modeling in Future Automation System Engineering and Validation.” IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews) 39 (1): 17–28. doi: 10.1109/TSMCC.2008.2005785
   Web of Science ®Google Scholar
• W3C. 2004. “ SWRL: A Semantic Web Rule Language Combining OWL and RuleML.” https://www.w3.org/Submission/SWRL/.
   Google Scholar
• W3C. 2012. “ OWL2 Web Ontology Language Structural Specification and Functional-style Syntax (Second Edition).” https://www.w3.org/TR/owl2-syntax/.
   Google Scholar
• Yang, C., V. Vyatkin, and C. Pang. 2014. “Model-driven Development of Control Software for Distributed Automation: A Survey and an Approach.” IEEE Transactions on Systems, Man, and Cybernetics: Systems 44 (3): 292–305. doi: 10.1109/TSMCC.2013.2266914
   Web of Science ®Google Scholar
• Yang, Q. Z., and Y. Zhang. 2006. “Semantic Interoperability in Building Design: Methods and Tools.” Computer-Aided Design 38 (10): 1099–1112. doi: 10.1016/j.cad.2006.06.003
   Web of Science ®Google Scholar
• Ye, Y., D. Yang, Z. Jiang, and L. Tong. 2008. “Ontology-based Semantic Models for Supply Chain Management.” The International Journal of Advanced Manufacturing Technology 37 (11–12): 1250–1260. doi: 10.1007/s00170-007-1052-6
   Web of Science ®Google Scholar
• Young, R. I. M., A. G. Gunendran, A. F. Cutting-Decelle, and M. Gruninger. 2007. “Manufacturing Knowledge Sharing in PLM: A Progression Towards the Use of Heavy Weight Ontologies.” International Journal of Production Research 45 (7): 1505–1519. doi: 10.1080/00207540600942268
   Web of Science ®Google Scholar
• Zhang, W., W. A. Halang, and C. Diedrich. 2005. “Specification of Function Block Applications with UML.” Proceedings of IEEE International Conference on Robotics and Automation, Barcelona, Spain, 4002–4007.
   Google Scholar
• Zhang, F., Z. M. Ma, and W. Li. 2015. “Storing OWL Ontologies in Object-oriented Databases.” Knowledge-Based Systems 76: 240–255. doi: 10.1016/j.knosys.2014.12.020
   Web of Science ®Google Scholar
• Zhou, N., D. Li, S. Li, S. Wang, and C. Liu. 2017. “Model-based Development of Knowledge-driven Self-reconfigurable Machine Control Systems.” IEEE Access 5: 19909–19919. doi: 10.1109/ACCESS.2017.2754507
   Web of Science ®Google Scholar
• Zoitl, A., T. Strasser, and G. Ebenhofer. 2013. “Developing Modular Reusable IEC 61499 Control Applications with 4DIAC.” IEEE International Conference on Industrial Informatics (INDIN), 358–363, Bochum, Germany. IEEE.
   Google Scholar