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

Mikhail Kazakov, Habib Abdulrab

2004

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.

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