SEMI-AUTOMATED SOFTWARE INTEGRATION - An approach based on logical inference

Mikhail Kazakov, Habib Abdulrab

Abstract

The paper addresses a problem of semi-automated enterprise application integration. More close we discuss a problem of integration of numerical simulation components in the area of manufacturing engineering information systems. We propose an approach that is based on annotation of software interfaces with formal logical specifications. Logical inference procedure is used to choose appropriate enterprise software component depending on client requests. First, we discuss the problem and difficulties of integration of numerical simulation solvers and manufacturing engineering solutions in general. This is followed by description of the methodology of semi-automated integration based on use of description logics.

References

  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: Selfintegrating 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
Download


Paper Citation


in Harvard Style

Kazakov M. and Abdulrab H. (2004). SEMI-AUTOMATED SOFTWARE INTEGRATION - An approach based on logical inference . In Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS, ISBN 972-8865-00-7, pages 527-530. DOI: 10.5220/0002638005270530


in Bibtex Style

@conference{iceis04,
author={Mikhail Kazakov and Habib Abdulrab},
title={SEMI-AUTOMATED SOFTWARE INTEGRATION - An approach based on logical inference},
booktitle={Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,},
year={2004},
pages={527-530},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002638005270530},
isbn={972-8865-00-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Sixth International Conference on Enterprise Information Systems - Volume 3: ICEIS,
TI - SEMI-AUTOMATED SOFTWARE INTEGRATION - An approach based on logical inference
SN - 972-8865-00-7
AU - Kazakov M.
AU - Abdulrab H.
PY - 2004
SP - 527
EP - 530
DO - 10.5220/0002638005270530