Exploiting Agents and Ontologies for Type- and Meaning-Safe Adaptation of Java Programs

This paper discusses an application of intelligent software agents and ontologies to solve the problem of semiautomatic porting of Java programs. We have designed a system for aiding users to adapt Java code in a typeand meaning-safe way, when an application has to migrate to new libraries which are not fully compatible with the legacy ones. To achieve this, we propose an approach based on an integration of the two type-theoretic notions of subtyping and type isomorphism with ontology matching. While the former notions are needed to ensure flexible adaptation in the presence of typesafety, the latter supports the user to preserve the meaning of names that appear in the program to be adapted. Intelligent agents control the different components of the system and interact with other agents in order to provide the final user with the semi-automatic porting service he/she required.

[1]  George A. Vouros,et al.  AUTOMS: Automated Ontology Mapping through Synthesis of Methods , 2006, Ontology Matching.

[2]  Jens Palsberg,et al.  Efficient and Flexible Matching of Recursive Types , 2001, Inf. Comput..

[3]  Pavel Shvaiko,et al.  Iterative schema-based semantic matching , 2006 .

[4]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[5]  Howie Goodell,et al.  End user programming/informal programming , 1999, SGCH.

[6]  Luciano Serafini,et al.  A SAT-Based Algorithm for Context Matching , 2003, CONTEXT.

[7]  Agostino Poggi,et al.  Developing Multi-agent Systems with JADE , 2007, ATAL.

[8]  Jens Palsberg,et al.  Efficient Type Matching , 2002, FoSSaCS.

[9]  Luciano Serafini,et al.  Bootstrapping semantics on the web: meaning elicitation from schemas , 2006, WWW '06.

[10]  Daniela Briola,et al.  Ontology agents in FIPA-compliant platforms: A survey and a new proposal , 2008 .

[11]  Viviana Mascardi,et al.  Automatic Ontology Matching via Upper Ontologies: A Systematic Evaluation , 2010, IEEE Transactions on Knowledge and Data Engineering.

[12]  Stefanos D. Kollias,et al.  A String Metric for Ontology Alignment , 2005, SEMWEB.

[13]  Jérôme Euzenat,et al.  A Survey of Schema-Based Matching Approaches , 2005, J. Data Semant..

[14]  Hyoil Han,et al.  A survey on ontology mapping , 2006, SGMD.

[15]  Susan T. Dumais,et al.  An Analysis of the AskMSR Question-Answering System , 2002, EMNLP.

[16]  Silvana Castano,et al.  Matching Ontologies in Open Networked Systems: Techniques and Applications , 2006, J. Data Semant..

[17]  George A. Vouros,et al.  AUTOMS-F: A Java Framework for Synthesizing Ontology Mapping Methods , 2007 .

[18]  Roberto Di Cosmo,et al.  Subtyping Recursive Types Modulo Associative Commutative Products , 2005, TLCA.