Pojedinosti o zapisu

MODEL-BASED VALIDATION AND VERIFICATION OF ANOMALIES IN LEGISLATION

Journal of Information and Organizational Sciences

Vidi informacije o repozitoriju  Pogledaj original
 
Polje Vrijednost
 
Naslov MODEL-BASED VALIDATION AND VERIFICATION OF ANOMALIES IN LEGISLATION
 
Autor Strahonja, Vjeran
 
Opis An anomaly in legislation is absence of completeness, consistency and other desirable properties, caused by different semantic, syntactic or pragmatic reasons. In general, the detection of anomalies in legislation comprises validation and verification. The basic idea of research, as presented in this paper, is modelling legislation by capturing domain knowledge of legislation and specifying it in a generic way by using commonly agreed and understandable modelling concepts of the Unified Modelling Language (UML). Models of legislation enable to understand the system better, support the detection of anomalies and help to improve the quality of legislation by validation and verification. By implementing model-based approach, the object of validation and verification moves from legislation to its model. The business domain of legislation has two distinct aspects: a structural or static aspect (functionality, business data etc.), and a behavioural or dynamic part (states, transitions, activities, sequences etc.). Because anomalism can occur on two different levels, on the level of a model, or on the level of legislation itself, a framework for validation and verification of legal regulation and its model is discussed. The presented framework includes some significant types of semantic and syntactic anomalies. Some ideas for assessment of pragmatic anomalies of models were found in the field of software quality metrics. Thus pragmatic features and attributes can be determined that could be relevant for evaluation purposes of models. Based on analogue standards for the evaluation of software, a qualitative and quantitative scale can be applied to determine the value of some feature for a specific model.
 
Izdavač University o Zagreb, Faculty of Organization and Informatics, Varaždin
 
Datum 2006-12-18
 
Vrsta resursa info:eu-repo/semantics/article
Peer-reviewed Article
info:eu-repo/semantics/publishedVersion
 
Format (na primjer PDF) application/pdf
 
Identifikator http://jios.foi.hr/index.php/jios/article/view/24
 
Izvor Journal of Information and Organizational Sciences; Vol 30, No 2 (2006)
 
Jezik eng
 
Relacija http://jios.foi.hr/index.php/jios/article/view/24/22