Napredna pretraga

Pregled bibliografske jedinice broj: 347010

Model-based Validation and Verification of Anomalies in Legislation


Strahonja, Vjeran
Model-based Validation and Verification of Anomalies in Legislation // Journal of Information and Organizational Sciences JIOS, Faculty of Organization and Informatics, 30 (2007), 2; 295-303 (podatak o recenziji nije dostupan, članak, znanstveni)


Naslov
Model-based Validation and Verification of Anomalies in Legislation

Autori
Strahonja, Vjeran

Izvornik
Journal of Information and Organizational Sciences JIOS, Faculty of Organization and Informatics (0351-1804) 30 (2007), 2; 295-303

Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni

Ključne riječi
Modelling legislation; UML business models; validation and verification; anomalies in legislation

Sažetak
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

Izvorni jezik
Engleski

Znanstvena područja
Informacijske i komunikacijske znanosti



POVEZANOST RADA


Projekt / tema
016-0161217-0870 - Modeliranje proceduralnih propisa (Vjeran Strahonja, )
016-0161217-1715

Ustanove
Fakultet organizacije i informatike, Varaždin

Profili:

Avatar Url Vjeran Strahonja (autor)

Citiraj ovu publikaciju

Strahonja, Vjeran
Model-based Validation and Verification of Anomalies in Legislation // Journal of Information and Organizational Sciences JIOS, Faculty of Organization and Informatics, 30 (2007), 2; 295-303 (podatak o recenziji nije dostupan, članak, znanstveni)
Strahonja, V. (2007) Model-based Validation and Verification of Anomalies in Legislation. Journal of Information and Organizational Sciences JIOS, Faculty of Organization and Informatics, 30 (2), 295-303.
@article{article, author = {Strahonja, V.}, year = {2007}, pages = {295-303}, keywords = {Modelling legislation, UML business models, validation and verification, anomalies in legislation}, journal = {Journal of Information and Organizational Sciences JIOS, Faculty of Organization and Informatics}, volume = {30}, number = {2}, issn = {0351-1804}, title = {Model-based Validation and Verification of Anomalies in Legislation}, keyword = {Modelling legislation, UML business models, validation and verification, anomalies in legislation} }

Uključenost u ostale bibliografske baze podataka:


  • INSPEC