Sciweavers

Share
ISTA
2003

Managing Business Logic with Symbolic Computation

10 years 18 hour ago
Managing Business Logic with Symbolic Computation
: 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.
Ruslan Shevchenko, Anatoly E. Doroshenko
Added 31 Oct 2010
Updated 31 Oct 2010
Type Conference
Year 2003
Where ISTA
Authors Ruslan Shevchenko, Anatoly E. Doroshenko
Comments (0)
books