Semi-automated software integration: An approach based on logical inference

ICEIS 2004 - Proceedings of the Sixth International Conference on Enterprise Information Systems

Volumn , Issue , 2004, Pages 527-530

  Kazakov, Mikhail ^a   Abdulrab, Habib ^b  

^a Research Division   (France)

^b UNIVERSITÉ ET INSA DE ROUEN   (France)

Author keywords

Description logics; Enterprise integration; Formal specification; Logical inference

Indexed keywords

AUTOMATION; COMPUTER SIMULATION; FORMAL LOGIC; INTERFACES (COMPUTER); PROBLEM SOLVING; SERVERS;

DATA VERIFICATION; DOMAIN EXPERTS; ENTERPRISE INTEGRATION; SEMI-AUTOMATED INTEGRATION;

COMPUTER SOFTWARE;

EID: 8444244858     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (7)

1. Baader F, et all. 2003. The description logics handbook: Theory, implementation and applications, Cambridge Unviersity Press, ISBN: 0521781760.
2. DL-workbench., 2003. Project web site. Online: http://www.opencascade. org/dl-workbench
3. Kazakov M., Abdulrab H., Babkin E., 2002, Intelligent integration of distributed components: Ontology Fusion approach, In proceedings of CIMCA 2003 conference, pp 611-622, ISBN 1-740-88069-2
4. Kazakov, M., Abdulrab H., 2002, On semantic-enhanced middleware, INSA de Rouen, Internal report [KAZ,02e]
5. Kazakov M., Abdulrab H., 2003, A meta-modeling approach to ontological engineering: DL-workbench platform, In proceedings to MIS 2003 conference, Springer-Verlag
6. Ray S., 1999. The Future of Software Integration: Self-integrating Systems, NIST MEL report
7. Sirin E., Hendler J., Parsia B., 2003, Semi-automatic Composition of Web Services using Semantic Descriptions. In proceedings of "Web Services: Modeling, Architecture and Infrastructure" workshop in conjunction with ICEIS2003