{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T15:28:30Z","timestamp":1743002910511,"version":"3.40.3"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471655"},{"type":"electronic","value":"9783319471662"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-47166-2_24","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T18:07:34Z","timestamp":1475604454000},"page":"340-357","source":"Crossref","is-referenced-by-count":12,"title":["Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach"],"prefix":"10.1007","author":[{"given":"Kahina","family":"Hacid","sequence":"first","affiliation":[]},{"given":"Yamine","family":"Ait-Ameur","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"issue":"2","key":"24_CR1","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1006\/knac.1993.1008","volume":"5","author":"TR Gruber","year":"1993","unstructured":"Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199\u2013220 (1993)","journal-title":"Knowl. Acquis."},{"key":"24_CR2","series-title":"Lecture Notes in Business Information Processing","first-page":"238","volume-title":"Web Information Systems and Technologies","author":"S Jean","year":"2006","unstructured":"Jean, S., Pierra, G., A\u00eft Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) WEBIST 2006. LNBIP, pp. 238\u2013254. Springer, Heidelberg (2006)"},{"key":"24_CR3","unstructured":"Bechhofer, S., Van Harmelen, F., Hendler, J., Horrocks, I., McGuinness, D., Patel-Schneider, P., Stein, L., et al.: Owl web ontology language reference. W3C Recommendation 10 (2004)"},{"key":"24_CR4","unstructured":"ISO: Industrial automation systems and integration - parts library - part42: description methodology: methodology for structuring parts families. ISO ISO13584-42, Geneva, Switzerland (1998)"},{"key":"24_CR5","unstructured":"ISO: Industrial automation systems and integration - parts library - part25: logical resource: logical model of supplier library with aggregate valuesand explicit content. ISO ISO13584-25, Geneva, Switzerland (2004)"},{"key":"24_CR6","unstructured":"Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. W3C Recommendation, W3C, February 2004"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"A\u00eft Ameur, Y., M\u00e9ry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. (2015, to appear)","DOI":"10.1016\/j.scico.2015.12.004"},{"key":"24_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/978-3-642-02843-4_22","volume-title":"Dataspace: The Final Frontier","author":"L Silveira Mastella","year":"2009","unstructured":"Silveira Mastella, L., A\u00eft-Ameur, Y., Jean, S., Perrin, M., Rainaud, J.-F.: Semantic exploitation of engineering models: an application to oilfield models. In: Sexton, A.P. (ed.) BNCOD 26. LNCS, vol. 5588, pp. 203\u2013207. Springer, Heidelberg (2009)"},{"issue":"4","key":"24_CR9","first-page":"296","volume":"9","author":"N Belaid","year":"2011","unstructured":"Belaid, N., Jean, S., A\u00eft Ameur, Y., Rainaud, J.F.: An ontology and indexation based management of services and workflows application to geological modeling. IJEBM 9(4), 296\u2013309 (2011)","journal-title":"IJEBM"},{"issue":"2","key":"24_CR10","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. Soc. 39(2), 25 (2006)","journal-title":"IEEE Comput. Soc."},{"key":"24_CR11","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version2.4.1 (2011)"},{"key":"24_CR12","unstructured":"OMG: Meta Object Facility (MOF) Core Specification Version 2.0 (2006)"},{"key":"24_CR13","unstructured":"OMG: OMG Object Constraint Language (OCL), Version 2.3.1, January 2012"},{"key":"24_CR14","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Query\/View\/TransformationSpecification, Version 1.1, January 2011"},{"key":"24_CR15","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781139195881","volume-title":"Modeling in Event-B - System and Software Engineering","author":"JR Abrial","year":"2010","unstructured":"Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)"},{"key":"24_CR16","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1977","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice Hall PTR, Upper Saddle River (1977)"},{"issue":"1\u20132","key":"24_CR17","first-page":"1","volume":"77","author":"JR Abrial","year":"2007","unstructured":"Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-b. Fundam. Inf. 77(1\u20132), 1\u201328 (2007)","journal-title":"Fundam. Inf."},{"issue":"3\u20134","key":"24_CR18","first-page":"349","volume":"10","author":"K Bontcheva","year":"2004","unstructured":"Bontcheva, K., Tablan, V., Maynard, D., Cunningham, H.: Evolving gate to meet new challenges in language engineering. NLE 10(3\u20134), 349\u2013373 (2004)","journal-title":"NLE"},{"key":"24_CR19","volume-title":"Text Processing with Gate","author":"H Cunningham","year":"2011","unstructured":"Cunningham, H., Maynard, D., Bontcheva, K.: Text Processing with Gate. Gateway Press, Murphys (2011)"},{"key":"24_CR20","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"1014","DOI":"10.1007\/11779568_108","volume-title":"Advances in Applied Artificial Intelligence","author":"S Despres","year":"2006","unstructured":"Despres, S., Szulman, S.: Terminae method and integration process for legal ontology building. In: Ali, M., Dapoigny, R. (eds.) IEA\/AIE 2006. LNCS (LNAI), vol. 4031, pp. 1014\u20131023. Springer, Heidelberg (2006)"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Handschuh, S., Volz, R., Staab, S.: Annotation for the deep web. IEEE (5) (2003)","DOI":"10.1109\/MIS.2003.1234768"},{"key":"24_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"475","DOI":"10.1007\/978-3-540-30075-5_46","volume-title":"Database and Expert Systems Applications","author":"L Bellatreche","year":"2004","unstructured":"Bellatreche, L., Pierra, G., Xuan, D.N., Hondjack, D., Ameur, Y.A.: An a priori approach for automatic integration of heterogeneous and autonomous databases. In: Galindo, F., Takizawa, M., Traunm\u00fcller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 475\u2013485. Springer, Heidelberg (2004)"},{"key":"24_CR23","doi-asserted-by":"crossref","unstructured":"Boudjlida, N., Panetto, H.: Annotation of enterprise models for interoperability purposes. In: CAISE, April 2008","DOI":"10.1109\/IWAISE.2008.15"},{"key":"24_CR24","unstructured":"Wang, Y., Li, H.: Adding semantic annotation to UML class diagram. In: ICCASM (2010)"},{"key":"24_CR25","unstructured":"Lin, Y., Strasunskas, D.: Ontology-based semantic annotation of process templates for reuse. In: Proceedings of the CAiSE, vol. 5. Citeseer (2005)"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1007\/11767138_29","volume-title":"Advanced Information Systems Engineering","author":"Y Lin","year":"2006","unstructured":"Lin, Y., Strasunskas, D., Hakkarainen, S.E., Krogstie, J., Solvberg, A.: Semantic annotation framework to manage semantic heterogeneity of process models. In: Martinez, F.H., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 433\u2013446. Springer, Heidelberg (2006)"},{"key":"24_CR27","doi-asserted-by":"crossref","unstructured":"Zouggar, N., Vallespir, B., Chen, D.: Semantic enrichment of enterprise models by ontologies-based semantic annotations. In: EDOC. IEEE (2008)","DOI":"10.1109\/EDOCW.2008.54"},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"Liao, Y., Lezoche, M., Panetto, H., Boudjlida, N., Loures, E.R.: Formal semantic annotations for models interoperability in a PLM environment. arXiv (2014)","DOI":"10.3182\/20140824-6-ZA-1003.02551"},{"key":"24_CR29","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"CAR Hoare","year":"1969","unstructured":"Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576\u2013580 (1969)","journal-title":"Commun. ACM"},{"key":"24_CR30","doi-asserted-by":"crossref","unstructured":"Filli\u00e2tre, J.C., Paskevich, A.: Why3 \u2013 where programs meet provers. In: ESOP","DOI":"10.1007\/978-3-642-37036-6_8"},{"key":"24_CR31","unstructured":"Knight, J., Xiang, J., Sullivan, K.: A rigorous definition of cyber physical systems. In: Trustworthy Cyber Physical Systems Engineering (2016, to appear)"},{"key":"24_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1007\/978-3-662-45231-8_50","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"Y Ait-Ameur","year":"2014","unstructured":"Ait-Ameur, Y., Gibson, J.P., M\u00e9ry, D.: On implicit and explicit semantics: integration issues in proof-based development of systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2014, Part II. LNCS, vol. 8803, pp. 604\u2013618. Springer, Heidelberg (2014)"},{"key":"24_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/978-3-319-23781-7_8","volume-title":"Model and Data Engineering","author":"D M\u00e9ry","year":"2015","unstructured":"M\u00e9ry, D., Sawant, R., Tarasyuk, A.: Integrating domain-based features into event-b: a nose gear velocity case study. In: Bellatreche, L., Manolopoulos, Y., Zielinski, B., Liu, R. (eds.) MEDI 2015. LNCS, vol. 9344, pp. 89\u2013102. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-23781-7_8"},{"key":"24_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"488","DOI":"10.1007\/978-3-319-07881-6_33","volume-title":"Advanced Information Systems Engineering","author":"VA Carvalho de","year":"2014","unstructured":"de Carvalho, V.A., Almeida, J.P.A., Guizzardi, G.: Using reference domain ontologies to define the real-world semantics of domain-specific languages. In: Jarke, M., Mylopoulos, J., Quix, C., Rolland, C., Manolopoulos, Y., Mouratidis, H., Horkoff, J. (eds.) CAiSE 2014. LNCS, vol. 8484, pp. 488\u2013502. Springer, Heidelberg (2014)"},{"key":"24_CR35","unstructured":"IMPEX Consortium. Formal models for ontologies. Technical report (2015)"},{"key":"24_CR36","doi-asserted-by":"crossref","unstructured":"Mastella, L.S.: Semantic exploitation of engineering models: application to petroleum reservoir models. Ph.D. thesis, ENSMP (2010)","DOI":"10.1109\/RCIS.2009.5089276"},{"key":"24_CR37","unstructured":"A\u00eft Ameur, Y., Hacid, K.: Report ame corac-panda project. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2015)"},{"key":"24_CR38","unstructured":"Hacid, K.: Explicit definition of prperties by model annotation. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2014)"},{"key":"24_CR39","doi-asserted-by":"crossref","unstructured":"Chebieb, A., A\u00eft Ameur, Y.: Formal verification of plastic user interfaces exploiting domain ontologies. In: TASE (2015)","DOI":"10.1109\/TASE.2015.25"},{"key":"24_CR40","unstructured":"Simon-Zayas, D.: A framework for the management of heterogeneous models in Systems Engineering. Theses, ISAE-ENSMA - Poitiers, June 2012"},{"key":"24_CR41","doi-asserted-by":"crossref","unstructured":"Zayas, D.S., Monceaux, A., A\u00eft Ameur, Y.: Knowledge models to reduce the gap between heterogeneous models: application to aircraft systems engineering. In: ICECCS (2010)","DOI":"10.1109\/ICECCS.2010.35"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47166-2_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:08Z","timestamp":1568434208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47166-2_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471655","9783319471662"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47166-2_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}