Verification and validation of temporal business rules

Autor:	Theodoulidis, Babis, Alexakis, Petros, Loucopoulos, Pericles
Jazyk:	angličtina
Rok vydání:	1992
Předmět:	Information storage and retrieval systems Bases de dades Informació -- Sistemes d'emmagatzematge i recuperació Deductive databases Sistemes d'informació per a la gestió Bases de dades deductives Management information systems
Zdroj:	UPCommons. Portal del coneixement obert de la UPC Universitat Politècnica de Catalunya (UPC)
Popis:	In this paper the development of an analysis tool for verification and validation of temporal business rules is described. The fonnalism for expressing the business rules is the Conceptual Rule Language developed as part for the ESPRIT Il project TEMPORA.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::bd105ef80f63d28371e208630bec85b3 https://hdl.handle.net/2117/373487 Zobrazit plný text záznamu