{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:39:10Z","timestamp":1742945950150,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319471686"},{"type":"electronic","value":"9783319471693"}],"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-47169-3_56","type":"book-chapter","created":{"date-parts":[[2016,10,4]],"date-time":"2016-10-04T17:56:23Z","timestamp":1475603783000},"page":"747-751","source":"Crossref","is-referenced-by-count":0,"title":["Handling Domain Knowledge in Formal Design Models: An Ontology Based Approach"],"prefix":"10.1007","author":[{"given":"Kahina","family":"Hacid","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,10,5]]},"reference":[{"key":"56_CR1","doi-asserted-by":"crossref","unstructured":"Hacid, K., A\u00eft Ameur, Y.: Strengthening MDE and formal design models by references to domain ontologies, a model annotation based approach. In: ISOLA (2016, to appear)","DOI":"10.1007\/978-3-319-47166-2_24"},{"key":"56_CR2","unstructured":"Hacid, K.: Explicit definition of prperties by model annotation. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2014)"},{"key":"56_CR3","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":"56_CR4","doi-asserted-by":"crossref","unstructured":"Handschuh, S., Volz, R., Staab, S.: Annotation for the deep web. IS (2003)","DOI":"10.1109\/MIS.2003.1234768"},{"key":"56_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi: 10.1007\/978-3-540-30075-5_46"},{"key":"56_CR6","doi-asserted-by":"crossref","unstructured":"Boudjlida, N., Panetto, H.: Annotation of enterprise models for interoperability purposes. In: Advanced Information Systems for Enterprises (2008)","DOI":"10.1109\/IWAISE.2008.15"},{"key":"56_CR7","unstructured":"Wang, Y., Li, H.: Adding semantic annotation to UML class diagram. In: Computer Application and System Modeling (ICCASM) (2010)"},{"key":"56_CR8","unstructured":"Lin, Y., Strasunskas, D.: Ontology-based semantic annotation of process templates for reuse. In: CAiSE (2005)"},{"key":"56_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi: 10.1007\/11767138_29"},{"key":"56_CR10","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":"56_CR11","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 (2014)","DOI":"10.3182\/20140824-6-ZA-1003.02551"},{"key":"56_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi: 10.1007\/978-3-662-45231-8_50"},{"key":"56_CR13","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":"56_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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). doi: 10.1007\/978-3-319-07881-6_33"},{"key":"56_CR15","unstructured":"Jackson, D.: Software Abstractions - Logic, Language, and Analysis (2006)"},{"key":"56_CR16","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":"56_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1007\/978-3-319-45547-1_19","volume-title":"Model and Data Engineering","author":"K Hacid","year":"2016","unstructured":"Hacid, K., Ait-Ameur, Y.: Annotation of engineering models by references to domain ontologies. In: Bellatreche, L., Pastor, \u00d3., Almendros Jim\u00e9nez, J.M., A\u00eft-Ameur, Y. (eds.) MEDI 2016. LNCS, vol. 9893, pp. 234\u2013244. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-45547-1_19"},{"key":"56_CR18","unstructured":"RACER Ontology Reasoner. https:\/\/www.w3.org\/2001\/sw\/wiki\/RacerPro"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-47169-3_56","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,14]],"date-time":"2019-09-14T04:10:01Z","timestamp":1568434201000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-47169-3_56"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319471686","9783319471693"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-47169-3_56","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}