Free Trial

Safari Books Online is a digital library providing on-demand subscription access to thousands of learning resources.

Share this Page URL
Help

9.4.1. Activity restriction rules > 9.4.1.3. Activity prohibition rules - Pg. 317

296 CHAPTER 9 Rule statement templates and subtemplates 3. at least one fact type for the conditional clause (if any), including any within the time restriction, as also described in Section 7.4.1: for example, F333 and F335. F332. F333. F334. F335. passenger boards international flight passenger undergoes departure control laptop computer undergoes security screening laptop computer is removed from bag 9.4.1.3 Activity prohibition rules An activity prohibition rule prohibits a business process or other activity if some event or other process has previously occurred or some dangerous or illegal condition exists: for example, R393. A driver must not operate any vehicle if that driver is intoxicated. Rule statements for this type of rule can be generated from the following template: T51. {A | An} < subject term> {< qualifying clause> | } must not < verb phrase> {< object> | } if < conditional clause>. These templates have the following important options and placeholders: 1. < subject term> is the term used for the parties or things that are the focus of the activity; 2. < qualifying clause> is used if not every instance of < subject term> is subject to the rule; the op- tions for < qualifying clause> are listed in subtemplate S14 in Section 9.1.2.10; 3. < verb phrase> is followed by < object> if transitive (e.g., `board', `undergo') but not if intran- sitive (e.g., `be deleted'); 4. the options for < conditional clause> are listed in subtemplate S13 in Section 9.1.2.9. The following fact types should be present in the fact model (either explicitly stated, or derived as de- scribed in Section 6.3.3 in Chapter 6): 1. a fact type of the form `<subject term> < verb phrase> < object>' (if < verb phrase> is followed by an < object>), e.g., F336, or `<subject term> < verb phrase>' (if not); 2. at least one fact type for the qualifying clause (if any), as described in Section 7.4.1 in Chapter 7; 3. at least one fact type for the conditional clause, as also described in Section 7.4.1: for example, F337. F336. driver operates vehicle F337. driver is intoxicated