Reason maintenance systems and their applications
Reason maintenance systems and their applications
Architecture-based runtime software evolution
Proceedings of the 20th international conference on Software engineering
Distributed Configuration as Distributed Dynamic Constraint Satisfaction
Proceedings of the 14th International conference on Industrial and engineering applications of artificial intelligence and expert systems: engineering of intelligent systems
An API for Runtime Code Patching
International Journal of High Performance Computing Applications
AspectJ Cookbook
Principles of Constraint Programming
Principles of Constraint Programming
DDCSP: Constraint Satisfaction Problem Used for Rule-Based System
DSDE '10 Proceedings of the 2010 International Conference on Data Storage and Data Engineering
Framework for building ontology-based dynamic applications
Proceedings of the 11th International Conference on Computer Systems and Technologies and Workshop for PhD Students in Computing on International Conference on Computer Systems and Technologies
Hi-index | 0.00 |
The article describes a framework for modelling and verification of constraint rules on operations with financial instruments. These constraints are applied on certain attributes of domains of financial objects. A methodology and implementation of automatic constraint analysis in two steps is presented. The first step involves preparation of constraints on specified domains and creation of formulas defining them. The other step consists in waiting for real time transactions and responding to them by alerting the user on newly occurred constraint violations. Computation reduction method is proposed. A satisfaction coefficient is calculated that aids the end user in taking consecutive actions on their portfolio.