Abstract
Development of advanced systems requires new methods to improve quality and efficiency of engineering processes, and to assist management of complex models encompassing different engineering disciplines. Methods such as model-driven development and domain-specific modeling facilitate development from this perspective but reduce interoperability and other prospects of rationalizing processes, on the other hand. An approach applying OWL semantics and reasoning to models is presented with examples to support industrial control application engineering. Using the methods, generalized classifications are inferred from instance models and combined with generic engineering knowledge maintained in ontologies. Reasoning allows identifying assemblies and structures outside the scope of traditional modeling to detect flaws and error-prone designs. The results indicate that OWL semantics and reasoning can be used as a supplement furthering typical development practices.
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
Hästbacka, D., Vepsäläinen, T., Kuikka, S.: Model-driven development of industrial process control applications. Journal of Systems and Software 84(7), 1100–1113 (2011)
Breslin, J.G., O’Sullivan, D., Passant, A., Vasiliu, L.: Semantic web computing in industry. Computers in Industry 61(8), 729–741 (2010)
Happel, H.J., Seedorf, S.: Applications of ontologies in software engineering. In: International Workshop on Semantic Web Enabled Software Engineering (SWESE 2006), Athens, USA (November 2006)
Albert, M., Cabot, J., Gómez, C., Pelechano, V.: Generating operation specifications from uml class diagrams: A model transformation approach. Data & Knowledge Engineering 70(4), 365–389 (2011)
Serral, E., Valderas, P., Pelechano, V.: Towards the model driven development of context-aware pervasive systems. Pervasive and Mobile Computing 6(2), 254–280 (2010)
Kaneiwa, K., Satoh, K.: On the complexities of consistency checking for restricted uml class diagrams. Theoretical Computer Science 411(2), 301–323 (2010)
Berardi, D., Calvanese, D., Giacomo, G.D.: Reasoning on uml class diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)
Parreiras, F.S., Staab, S.: Using ontologies with uml class-based modeling: The twouse approach. Data & Knowledge Engineering 69(11), 1194 –1207 (2010), special issue on contribution of ontologies in designing advanced information systems
Claus, P.: Semantic model-driven architecting of service-based software systems. Information and Software Technology 49(8), 838–850 (2007)
Robles, K., Fraga, A., Morato, J., Llorens, J.: Towards an ontology-based retrieval of uml class diagrams. Information and Software Technology 54(1), 72–86 (2012)
Cranefield, S., Pan, J.: Bridging the gap between the model-driven architecture and ontology engineering. International Journal of Human-Computer Studies 65(7), 595–609 (2007)
Henderson-Sellers, B.: Bridging metamodels and ontologies in software engineering. Journal of Systems and Software 84(2), 301–313 (2011)
Hästbacka, D., Kuikka, S.: Bridging uml profile based models and owl ontologies in model-driven development — industrial control application. In: International Joint Workshop on Information Value Management, Future Trends of Model-Driven Development, Recent Trends in SOA Based Information Systems and Modelling and Simulation, Verification and Validation, pp. 13–23
Hsieh, S.H., Lin, H.T., Chi, N.W., Chou, K.W., Lin, K.Y.: Enabling the development of base domain ontology through extraction of knowledge from engineering domain handbooks. Advanced Engineering Informatics 25(2), 288–296 (2011)
Knublauch, H., Hendler, J.A., Idehen, K.: Spin - overview and motivation. Technical report (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hästbacka, D., Kuikka, S. (2012). Semantics and Reasoning for Control Application Engineering Models. In: Rutkowski, L., Korytkowski, M., Scherer, R., Tadeusiewicz, R., Zadeh, L.A., Zurada, J.M. (eds) Artificial Intelligence and Soft Computing. ICAISC 2012. Lecture Notes in Computer Science(), vol 7267. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-29347-4_75
Download citation
DOI: https://doi.org/10.1007/978-3-642-29347-4_75
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-29346-7
Online ISBN: 978-3-642-29347-4
eBook Packages: Computer ScienceComputer Science (R0)