Modeling Legislation By Using Uml State Machine Diagrams (CROSBI ID 517550)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Strahonja, Vjeran
engleski
Modeling Legislation By Using Uml State Machine Diagrams
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.
modeling legislation ; behavioral model ; state machine diagram ; static and dynamic analysis ; court case management system
IEEE Catalog Number: 06CH37749C ISBN: 1-4244-0038-4 ISSN: 0840-7789 Conference Proceedings ISBN: 1-4244-0038-4
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
624-627.
2006.
objavljeno
Podaci o matičnoj publikaciji
Conference Proceedings of the Canadian Conference on Electrical and Computer Engineering - IEEE CCECE 2006
Mouftah, Hussein
Ottawa: CCECE 2006 Program Committee
Podaci o skupu
Canadian Conference on Electrical and Computer Engineering - IEEE CCECE 2006
ostalo
07.05.2006-10.05.2006
Ottawa, Kanada