Abstract | ||
---|---|---|
In this paper the development of an analysis tool for verification and validation of temporal business rules is described. The formalism for expressing the business rules is the Conceptual Rule Language developed as part for the ESPRIT II project TEMPORA. In this paper, the development of an analysis tool for the verification and validation of business rules is discussed. The architecture of the overall environment is depicted in figure 1. As shown in this figure, the information captured by the corresponding capture tools is stored in the specification repository. The analysis tools interact with the specification repository in order to provide a full completeness and consistency checking of the business knowledge. |
Year | Venue | Keywords |
---|---|---|
1992 | DAISD | verification and validation,business rules |
Field | DocType | Citations |
Verification and validation of computer simulation models,Data mining,Data validation,Semantics of Business Vocabulary and Business Rules,Verification and validation,Software engineering,Validation rule,Computer science,Design rule checking,Formalism (philosophy),Business rule | Conference | 2 |
PageRank | References | Authors |
0.55 | 2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Babis Theodoulidis | 1 | 353 | 76.60 |
Petros Alexakis | 2 | 2 | 0.55 |
Pericles Loucopoulos | 3 | 809 | 223.28 |