Strengthening MDE and Formal Design Models by References to Domain Ontologies. A Model Annotation Based Approach

详细信息    查看全文

• 关键词：Domain ontologies ; Model annotation ; Property verification ; MDE ; Proof and refinement ; Event ; B
• 刊名：Lecture Notes in Computer Science
• 出版年：2016
• 出版时间：2016
• 年：2016
• 卷：9952
• 期：1
• 页码：340-357
• 全文大小：923 KB
• 参考文献：1.Gruber, T.R.: A translation approach to portable ontology specifications. Knowl. Acquis. 5(2), 199–220 (1993)CrossRef
  2.Jean, S., Pierra, G., Aït Ameur, Y.: Domain ontologies: a database-oriented analysis. In: Filipe, J., Cordeiro, J., Pedrosa, V. (eds.) WEBIST 2006. LNBIP, pp. 238–254. Springer, Heidelberg (2006)
  3.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)
  4.ISO: Industrial automation systems and integration - parts library - part42: description methodology: methodology for structuring parts families. ISO ISO13584-42, Geneva, Switzerland (1998)
  5.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)
  6.Brickley, D., Guha, R.V.: RDF vocabulary description language 1.0: RDF schema. W3C Recommendation, W3C, February 2004
  7.Aït Ameur, Y., Méry, D.: Making explicit domain knowledge in formal system development. Sci. Comput. Program. (2015, to appear)
  8.Silveira Mastella, L., Aït-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–207. Springer, Heidelberg (2009)CrossRef
  9.Belaid, N., Jean, S., Aït Ameur, Y., Rainaud, J.F.: An ontology and indexation based management of services and workflows application to geological modeling. IJEBM 9(4), 296–309 (2011)
  10.Schmidt, D.C.: Model-driven engineering. IEEE Comput. Soc. 39(2), 25 (2006)CrossRef
  11.OMG: OMG Unified Modeling Language (OMG UML), Superstructure, Version2.4.1 (2011)
  12.OMG: Meta Object Facility (MOF) Core Specification Version 2.0 (2006)
  13.OMG: OMG Object Constraint Language (OCL), Version 2.3.1, January 2012
  14.OMG: Meta Object Facility (MOF) 2.0 Query/View/TransformationSpecification, Version 1.1, January 2011
  15.Abrial, J.R.: Modeling in Event-B - System and Software Engineering. Cambridge University Press, Cambridge (2010)CrossRef MATH
  16.Dijkstra, E.W.: A Discipline of Programming. Prentice Hall PTR, Upper Saddle River (1977)MATH
  17.Abrial, J.R., Hallerstede, S.: Refinement, decomposition, and instantiation of discrete models: application to event-b. Fundam. Inf. 77(1–2), 1–28 (2007)MathSciNet MATH
  18.Bontcheva, K., Tablan, V., Maynard, D., Cunningham, H.: Evolving gate to meet new challenges in language engineering. NLE 10(3–4), 349–373 (2004)
  19.Cunningham, H., Maynard, D., Bontcheva, K.: Text Processing with Gate. Gateway Press, Murphys (2011)
  20.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–1023. Springer, Heidelberg (2006)CrossRef
  21.Handschuh, S., Volz, R., Staab, S.: Annotation for the deep web. IEEE (5) (2003)
  22.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üller, R. (eds.) DEXA 2004. LNCS, vol. 3180, pp. 475–485. Springer, Heidelberg (2004)CrossRef
  23.Boudjlida, N., Panetto, H.: Annotation of enterprise models for interoperability purposes. In: CAISE, April 2008
  24.Wang, Y., Li, H.: Adding semantic annotation to UML class diagram. In: ICCASM (2010)
  25.Lin, Y., Strasunskas, D.: Ontology-based semantic annotation of process templates for reuse. In: Proceedings of the CAiSE, vol. 5. Citeseer (2005)
  26.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–446. Springer, Heidelberg (2006)CrossRef
  27.Zouggar, N., Vallespir, B., Chen, D.: Semantic enrichment of enterprise models by ontologies-based semantic annotations. In: EDOC. IEEE (2008)
  28.Liao, Y., Lezoche, M., Panetto, H., Boudjlida, N., Loures, E.R.: Formal semantic annotations for models interoperability in a PLM environment. arXiv (2014)
  29.Hoare, C.A.R.: An axiomatic basis for computer programming. Commun. ACM 12, 576–580 (1969)CrossRef MATH
  30.Filliâtre, J.C., Paskevich, A.: Why3 – where programs meet provers. In: ESOP
  31.Knight, J., Xiang, J., Sullivan, K.: A rigorous definition of cyber physical systems. In: Trustworthy Cyber Physical Systems Engineering (2016, to appear)
  32.Ait-Ameur, Y., Gibson, J.P., Méry, 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–618. Springer, Heidelberg (2014)
  33.Méry, 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–102. Springer, Heidelberg (2015). doi:10.​1007/​978-3-319-23781-7_​8 CrossRef
  34.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–502. Springer, Heidelberg (2014)
  35.IMPEX Consortium. Formal models for ontologies. Technical report (2015)
  36.Mastella, L.S.: Semantic exploitation of engineering models: application to petroleum reservoir models. Ph.D. thesis, ENSMP (2010)
  37.Aït Ameur, Y., Hacid, K.: Report ame corac-panda project. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2015)
  38.Hacid, K.: Explicit definition of prperties by model annotation. Technical report, Institut de Recherche en Informatique de Toulouse, Toulouse university (2014)
  39.Chebieb, A., Aït Ameur, Y.: Formal verification of plastic user interfaces exploiting domain ontologies. In: TASE (2015)
  40.Simon-Zayas, D.: A framework for the management of heterogeneous models in Systems Engineering. Theses, ISAE-ENSMA - Poitiers, June 2012
  41.Zayas, D.S., Monceaux, A., Aït Ameur, Y.: Knowledge models to reduce the gap between heterogeneous models: application to aircraft systems engineering. In: ICECCS (2010)
  
• 作者单位：Kahina Hacid (15)
  Yamine Ait-Ameur (15)
  
  15. Université de Toulouse, INP, IRIT Institut de Recherche en Informatique de Toulouse, Toulouse, France
  
• 丛书名：Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
• ISBN：978-3-319-47166-2
• 刊物类别：Computer Science
• 刊物主题：Artificial Intelligence and Robotics
  Computer Communication Networks
  Software Engineering
  Data Encryption
  Database Management
  Computation by Abstract Devices
  Algorithm Analysis and Problem Complexity
  
• 出版者：Springer Berlin / Heidelberg
• ISSN：1611-3349
• 卷排序：9952

文摘

Critical systems are running in heterogeneous domains. This heterogeneity is rarely considered explicitly when describing and validating processes. Handling explicitly such domain knowledge increases design models robustness due to the expression and validation of new properties mined from the domain models. This paper proposes a stepwise approach to enrich design models describing complex information systems with domain knowledge. We use ontologies to model such domain knowledge. Design models are annotated by references to domain ontologies. The resulting annotated models are checked. It becomes possible to verify domain-related properties and obtain strengthened models. The approach is deployed for two design model development approaches: a Model Driven Engineering (MDE) approach and a correct by construction formal modeling one based on refinement and proof using Event-B method. A case study illustrates both approaches (This work is partially supported by the French ANR-IMPEX project.).