Naslov
Modeling Legislation By Using Uml State Machine Diagrams

Autori
Strahonja, Vjeran

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
Conference Proceedings of the Canadian Conference on Electrical and Computer Engineering - IEEE CCECE 2006 / Mouftah, Hussein - Ottawa : CCECE 2006 Program Committee, 2006, 624-627

Skup
Canadian Conference on Electrical and Computer Engineering - IEEE CCECE 2006

Mjesto i datum
Ottawa, Kanada, 07.05.2006. - 10.05.2006

Vrsta sudjelovanja
Plenarno

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
modeling legislation ; behavioral model ; state machine diagram ; static and dynamic analysis ; court case management system

Sažetak
The basic idea of modeling law, as presented in this paper, is capturing domain knowledge of legislation and specifying it in a generic way by using commonly agreed and understandable modeling concepts of the Unified Modeling Language (UML). State machine diagrams provide a graphical notation for describing the dynamic (time-dependent) behavior of a system. Business oriented behavioral 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. Different types of anomalies in legislation are classified and described in the article. More specific, this paper presents a static analysis approach to the checking of correctness and consistency of the UML state machine diagrams specifications of legislation. The presented framework includes semantic and syntactic anomalies. Other motivation for modeling legislation is a desire to build court case management systems. The prerequisite of building such models is the transformation of legislation and regulations into system models that focus on different aspects of the computer system, such as programs that automates the business process and business rules, database, user interface, system procedures etc. Based on empirical research, assessment of proposed method is made.

Izvorni jezik
Engleski

Znanstvena područja
Pravo, Informacijske i komunikacijske znanosti

Napomena
IEEE Catalog Number: 06CH37749C ISBN: 1-4244-0038-4 ISSN: 0840-7789 Conference Proceedings ISBN: 1-4244-0038-4

POVEZANOST RADA