Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Information Systems Technology and its Applications, International Conference ISTA'2003, June 19-21, 2003, Kharkiv, Ukraine, Proceedings. P-30, 143-151 (2003).

GI, Gesellschaft für Informatik, Bonn
2003


Editors

Mikhail Godlevsky (ed.), Stephen W. Liddle (ed.), Mayr Heinrich C. (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

Managing business logic with symbolic computation

Ruslan Schevchenko and Anatoly Doroshenko

Abstract


A new approach of building enterprise distributed applications for layer of business rules as standard part of architecture is proposed in this paper. The approach uses symbolic transformation system based on rewriting techniques and embedded in Java language and provides analysis and engineering distributed applications at source code level. The benefit of the system is extreme flexibility of the approach and light-weightedness of formal methods and their separate application to program features that does not need to know full semantic model of application programs. The system is implemented and its usage is illustrated with an application example of engineering CORBA middleware application.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-359-8


Last changed 04.10.2013 17:57:50