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