M. Witsch and B. Vogel-heuser, Towards a Formal Specification Framework for Manufacturing Execution Systems, IEEE Transactions on Industrial Informatics, vol.8, issue.2, pp.311-320, 2012.
DOI : 10.1109/TII.2012.2186585

D. Tidwell, Web services-the web's next revolution. IBM developer Works, 2000.

M. Macchi, L. Fumagalli, M. Garetti, G. Tavola, R. Checcozzo et al., Use case analysis method for the implementation of service-oriented solutions for monitoring and diagnostics, Proceedings of the 24th COMADEM International, pp.0-9451307, 2011.

A. K. Wong, P. Ray, N. Parameswaran, and J. Strassner, Ontology mapping for the interoperability problem in network management, IEEE Journal on Selected Areas in Communications, vol.23, issue.10, pp.2058-2068, 2005.
DOI : 10.1109/JSAC.2005.854130

M. Cai, W. Y. Zhang, and K. Zhang, ManuHub: A Semantic Web System for Ontology-Based Service Management in Distributed Manufacturing Environments, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.41, issue.3, pp.574-582, 2011.
DOI : 10.1109/TSMCA.2010.2076395

R. J. Brachman and H. J. Levesque, Knowledge representation and reasoning, 2003.

R. Chandrasekaran, J. R. Josephson, and V. R. Benjamins, What are ontologies, and why do we need them?, IEEE Intelligent Systems, vol.14, issue.1, 2009.
DOI : 10.1109/5254.747902

J. Hunter, Enhancing the semantic interoperability of multimedia through a core ontology, IEEE Transactions on Circuits and Systems for Video Technology, vol.13, issue.1, pp.49-58, 2003.
DOI : 10.1109/TCSVT.2002.808088

J. L. Lastra and M. Delamer, Semantic Web Services in Factory Automation: Fundamental Insights and Research Roadmap, IEEE Transactions on Industrial Informatics, vol.2, issue.1, pp.1-11, 2006.
DOI : 10.1109/TII.2005.862144

W. Long, Research on Development Method of MES Based on Component and Driven by Ontology, Journal of Software, vol.5, issue.11, 2010.
DOI : 10.4304/jsw.5.11.1228-1235

M. Garetti, L. Fumagalli, A. Lobov, and J. L. Lastra, Open automation of manufacturing systems through integration of ontology and web services, proceedings of 7th IFAC Conference on Manufacturing Modelling, Management, and Control International Federation of Automatic Control. Saint, 2013.
DOI : 10.3182/20130619-3-RU-3018.00169

M. Garetti and L. Fumagalli, P-PSO ontology for manufacturing systems, 14th IFAC Symposium on Information Control Problems in Manufacturing, 2012.

J. Z. Pan, A Flexible Ontology Reasoning Architecture for the Semantic Web, IEEE Transactions on Knowledge and Data Engineering, vol.19, issue.2, 2007.
DOI : 10.1109/TKDE.2007.17

I. Iec, Information technology?Open Distributed Processing?Unified Modeling Language (UML) IEC 62264:2013, Enterprise-control system integration, 2005.