Model-based Validation and Verification of Anomalies in Legislation (CROSBI ID 141190)
Prilog u časopisu | izvorni znanstveni rad
Podaci o odgovornosti
Strahonja, Vjeran
engleski
Model-based Validation and Verification of Anomalies in Legislation
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 com-monly agreed and understandable modelling concepts of the Unified Mod-elling 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, se-quences 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 vali-dation and verification of legal regulation and its model is discussed. The presented framework includes some significant types of semantic and syn-tactic 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 evalua-tion 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
Modelling legislation ; UML business models ; validation and verification ; anomalies in legislation
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o izdanju
30 (2)
2007.
295-303
objavljeno
0351-1804
Povezanost rada
Informacijske i komunikacijske znanosti