Abstract
The increasing necessity to adapt automated production systems rapidly to changing requirements requires a better support for planning, developing and operating automated production systems. One means to improve the engineering of these complex systems is the use of models , thereby abstracting the view on the system and providing a common base to improve understanding and communication between engineers. However, in order for any engineering project to be successful, it is essential to keep the created engineering models consistent. We envision the use of Semantic Web Technologies for such consistency checks in the domain of Model-Based Engineering . In this chapter, we show how Semantic Web Technologies can support consistency checking for the engineering process in the automated production systems domain through three distinct use cases : In a first use case, we illustrate the combination of a Systems Modeling Language-based notation with Web Ontology Language (OWL) to ensure compatibility between mechatronic modules after a module change. A second use case demonstrates the application of OWL with the SPARQL Query Language to ensure consistency during model-based requirements and test case design for automated production systems. In a third use case, it is shown how the combination of the Resource Description Framework (RDF) and the SPARQL Query Language can be used to identify inconsistencies between interdisciplinary engineering models of automated production systems. We conclude with opportunities of applying Semantic Web Technologies to support the engineering of automated production systems and derive the research questions that need to be answered in future work.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Broy, M., Feilkas, M., Herrmannsdoerfer, M., Merenda, S., Ratiu, D.: Seamless model-based development: from isolated tools to integrated model engineering environments. Proc. IEEE 98(4), 526–545 (2010). doi:10.1109/JPROC.2009.2037771
Estévez, E., Marcos, M.: Model-based validation of industrial control systems. IEEE Trans. Ind. Inf. 8(2), 302–310 (2012). doi:10.1109/TII.2011.2174248
Feldmann, S., Kernschmidt, K., Vogel-Heuser, B.: Combining a SysML-based modeling approach and semantic technologies for analyzing change influences in manufacturing plant models. In: CIRP Conference on Manufacturing Systems (2014a). doi:10.1016/j.procir.2014.01.140
Feldmann, S., Rösch, S., Legat, C., Vogel-Heuser, B.: Keeping requirements and test cases consistent: towards an ontology-based approach. In: IEEE International Conference on Industrial Informatics (2014b). doi:10.1109/INDIN.2014.6945603
Feldmann, S., Herzig, S.J.I., Kernschmidt, K., Wolfenstetter, T., Kammerl, D., Qamar, A., Lindemann, U., Krcmar, H., Paredis, C.J.J., Vogel-Heuser, B.: A comparison of inconsistency management approaches using a mechatronic manufacturing system design case study. In: IEEE International Conference on Automation Science and Engineering (2015a). doi:10.1109/CoASE.2015.7294055
Feldmann, S., Herzig, S.J.I., Kernschmidt, K., Wolfenstetter, T., Kammerl, D., Qamar, A., Lindemann, U., Krcmar, H., Paredis, C.J.J., Vogel-Heuser, B.: Towards effective management of inconsistencies in model-based engineering of automated production systems. In: IFAC Symposium on Information Control in Manufacturing (2015b). doi:10.1016/j.ifacol.2015.06.200
Gausemeier, J., Schäfer, W., Greenyer, J., Kahl, S., Pook, S., Rieke, J.: Management of cross-domain model consistency during the development of advanced mechatronic systems. In: International Conference on Engineering Design (2009)
Giarratano, J.C., Riley, G.: Expert Systems: Principles and Programming, 2nd edn. PWS Publishing Co., Boston (1994)
Hametner, R., Kormann, B., Vogel-Heuser, B., Winkler, D., Zoitl, A. Test case generation approach for industrial automation systems. In: IEEE International Conference on Automation, Robotics and Applications (2011). doi:10.1109/ICARA.2011.6144856
Heitmeyer, C.L., Jeffords, R.D., Labaw, B.G.: Automated consistency checking of requirements specifications. ACM Trans. Softw. Eng. Methodol. 5(3), 231–261 (1996). doi:10.1145/234426.234431
Herzig, S.J.I., Paredis, C.J.J.: Bayesian reasoning over models. In: Workshop on Model-Driven Engineering, Verification, and Validation (2014). http://ceur-ws.org/Vol-1235/paper-09.pdf
Herzig, S.J.I., Qamar, A., Reichwein, A., Paredis, C.J.J.: A conceptual framework for consistency management in model-based systems engineering. In: ASME International Design Engineering Technical Conference & Computers and Information in Engineering Conference (2011)
Hitzler, P., Krötzsch, M., Rudolph, S.: Foundations of Semantic Web Technologies. CRC Press, Boca Raton, FL, USA (2010)
International Electrotechnical Commission: Engineering Data Exchange Format for Use in Industrial Automation Systems Engineering—Automation Markup Language (2014)
Kernschmidt, K., Vogel-Heuser, B.: An interdisciplinary SysML based modeling approach for analyzing change influences in production plants to support the engineering. In: IEEE International Conference on Automation Science and Engineering (2013). doi:10.1109/CoASE.2013.6654030
Kovalenko, O., Serral, E., Sabou, M., Ekaputra, F., Winkler, D., Biffl, S.: Automating cross-disciplinary defect detection in multi-disciplinary engineering environments. In: Janowicz, K., Schlobach, S., Lambrix, P., Hyvnen, E. (eds.) Knowledge Engineering and Knowledge Management, Lecture Notes in Computer Science, vol. 8876, pp. 238–249. Springer International Publishing (2014). doi:10.1007/978-3-319-13704-9_19
Leveson, N.G., Heimdahl, M.P.E., Reese, J.D.: Designing specification languages for process control systems: lessons learned and steps to the future? In: Software Engineering, Lecture Notes in Computer Science, vol 1687, pp. 127–146. Springer, Berlin (1999). doi:10.1007/3-540-48166-4_9
Object Management Group: MOF Model To Text Transformation Language (2008). http://www.omg.org/spec/MOFM2T/1.0/
Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation (2011). http://www.omg.org/spec/QVT/1.1/
Object Management Group: Systems Modeling Language (SysML) (2012). http://www.omg.org/spec/SysML/1.3/
Object Management Group: Constraint Language (OCL), Version 2.4 (2014). http://www.omg.org/spec/OCL/2.4/
Runde, S., Fay, A.: Software support for building automation requirements engineering—an application of semantic web technologies in automation. IEEE Trans. Ind. Inf. 7(4), 723–730 (2011). doi:10.1109/TII.2011.2166784
Strasser, T., Rooker, M., Hegny, I., Wenger, M., Zoitl, A., Ferrarini, L., Dede, A., Colla, M.: A research roadmap for model-driven design of embedded systems for automation components. In: IEEE International Conference on Industrial Informatics (2009). doi:10.1109/INDIN.2009.5195865
Vogel-Heuser, B., Legat, C., Folmer, J., Feldmann, S.: Researching Evolution in Industrial Plant Automation: Scenarios and Documentation of the Pick and Place Unit. Technical Report TUM-AIS-TR-01-14-02, Technische Universität München (2014). https://mediatum.ub.tum.de/node?id=1208973
World Wide Web Consortium: Extensible Markup Language (XML) 1.0 (2008). http://www.w3.org/TR/xml
World Wide Web Consortium: OWL 2 Web Ontology Language Document Overview (2009). http://www.w3.org/TR/owl2-overview/
World Wide Web Consortium: SPARQL Protocol and RDF Query Language 1.1 Overview (2013). http://www.w3.org/TR/sparql11-overview/
World Wide Web Consortium: Resource Description Framework (RDF) (2014). http://www.w3.org/RDF/
World Wide Web Consortium: Shapes Constraint Language (SHACL) (2015). http://www.w3.org/TR/shacl/
Acknowledgments
This work was supported in part by the German Research Foundation (DFG) Collaborative Research Centre ’Sonderforschungsbereich SFB 768—Managing cycles in innovation processes—Integrated development of product-service systems based on technical products’. Moreover, parts of this work were developed as part of the IGF-project 17259 N/1 of the Deutsche Forschungsgesellschaft für Automatisierung und Mikroelektronik (DFAM) e.V., funded by the AiF as part of the program to support cooperative industrial research (IGF) with funds from the Federal Ministry of Economics and Technology (BMWi) following an Order by the German Federal Parliament. We moreover thank Christiaan J.J. Paredis, Sebastian J.I. Herzig and Ahsan Qamar (Georgia Institute of Technology) for their support and fruitful discussions.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Feldmann, S., Kernschmidt, K., Vogel-Heuser, B. (2016). Applications of Semantic Web Technologies for the Engineering of Automated Production Systems—Three Use Cases. In: Biffl, S., Sabou, M. (eds) Semantic Web Technologies for Intelligent Engineering Applications. Springer, Cham. https://doi.org/10.1007/978-3-319-41490-4_14
Download citation
DOI: https://doi.org/10.1007/978-3-319-41490-4_14
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-41488-1
Online ISBN: 978-3-319-41490-4
eBook Packages: Computer ScienceComputer Science (R0)