Informatica e diritto, XVII Annata, Vol. XVII, 1991, n. 1-3, pp. 89-111
Isomorphic Modelling of Statutory Law Versus Top-Down Modelling
Sommario: Preface. - 1. Introduction to modelling of Law; 1.1. Jurisprudential background; 1.2. A principle of human-computer cooperation; 1.3. Stepwise modelling of law; 1.4. The four main tasks in modelling of law. - 2. Modelling of statutory law; 2.1. Isomorphic and Top-down modelling of statutory law; 2.2. Modularization; 2.3. Representation of open texture concepts and discretionary issues; 2.4. Representation of precedents. - 3. Interaction of statute sections; 3.1. The graph for interaction of statute sections; 3.2. Reformulation into a punctilious statutory text. - 4. The idea of isomorphic modelling; 4.1. Previous work and isomorphic modelling; 4.2. The term «isomorphic modelling». - 5. Isomorphic and semi-isomorphic models. - 6. Impediments to isomorphic representation; 6.1. High priority sections; 6.2. Sections otherwise altering evaluations in other sections; 6.3. Distinction between preaffects, intraaffects and postaffects. - 1. Top-down modelling. - 8. Quality measures of modelling; 8.1. Correctness verifiability; 8.2. Applicability; 8.3. Transparency and user acceptance; 8.4. Amendability, extensibility and compatibility; 8.5. Various criteria. - 9. Representation languages for isomorphic modelling. - 10. Conclusions. - Bibliography.
vai al testo integrale / see full text