The project staff have borrowed a technique from the field of artificial intelligence to formally express each functional requirement in the language of production rules. This formal language enables the researchers to state each specification in such a way that it is recognizable and when implemented will be observable and therefore testable within a system. The production rules also ensure that the specifications have the following characteristics:

unambiguous, rather than abstract
~ precise as possible
consistency of expression
~ defined to a specificity that is measurable

< RECORDKEEPING_REQUIREMENTS Satisfied > :

< ORGANIZATION Compliant >
< SYSTEM Accountable >
< RECORDS Functional >

< ORGANIZATION Compliant > (1.0) :

< EXTERNAL_REQUIREMENTS Known > (1.0a)
< Linked EXTERNAL_REQUIREMENTS INTERNAL_RULES > (1.0b)
< Updated EXTERNAL_REQUIREMENTS INTERNAL_RULES > (1.0c)

< EXTERNAL_REQUIREMENTS Known > (1.0a) :

< LAWS Identified > (1.0a1)
< REGULATORY_ISSUANCES Identified > (1.0a2)
< BEST_PRACTICES Identified > (1.0a3)

< LAWS Identified &gr (1.0a1) :

< Has_Jurisdiction LEGISLATIVE_AUTHORITY ORGANIZATION > (1.0a1a)

< Equivalent RECORDKEEPING_LAWS INTERNAL_RULES > (1.0a1b)

< REGULATORY_ISSUANCES Identified > (1.0a2) :

< Has_Legal_Authority REGULATOR ORGANIZATION > (1.0a2a)
< Has_Administrative_Authority REGULATOR ORGANIZATION > (1.0a2b)
< Equivalent RECORDKEEPING_REGULATIONS INTERNAL_RULES > (1.0a2c)

< BEST_PRACTICES Identified > (1.0a3)

< Has_Purview PROFESSIONAL_ORGANIZATION BUSINESS_FUNCTION > (1.0a3a)
< Equivalent RECORDKEEPING_BEST_PRACTICES INTERNAL_RULES > (1.0a3b)

< Linked EXTERNAL_REQUIREMENTS INTERNAL_RULES > (1.0b) :

< CreatesTRANSACTION RECORD > (1.0b1)
< Equal Identifier(RECORD) Identifier(RETENTION_RULE) > (1.0b2)
< Equal Identifier(RETENTION_RULE) Identifier(EXTERNAL_REQUIREMENT) > (1.0b3)

< Updated EXTERNAL_REQUIREMENTS INTERNAL_RULES > (1.0c) :

< Track EXTERNAL_REQUIREMENTS (Changed EXTERNAL_REQUIREMENTS) > (1.0c1)
< Equivalent EXTERNAL_REQUIREMENTS INTERNAL_RULES > (1.0c2)

< SYSTEM Accountable> :

< SYSTEM Responsible > (2.0)
< SYSTEM Implemented > (3.0)
< SYSTEM Reliable > (4.0)

< SYSTEM Responsible > (2.0) :

< MANAGEMENT Formalized > (2.0a)

< MANAGEMENT Formalized > (2.0a) :

< Defined TRANSACTIONS MANAGEMENT_METHODS > (2.0a1)
< Defined TRANSACTIONS POLICIES > (2.0a2)
< Defined TRANSACTIONS PROCEDURES > (2.0a3)
< Defined TRANSACTIONS RESPONSIBILITIES > (2.0a4)

< Defined TRANSACTIONS POLICIES > (2.0a2) :

< POLICIES Written > (2.0a2a)
< POLICY_CHANGES Written > (2.0a2b)
< POLICY_CHANGES Maintained > (2.0a2c)
< POLICIES Up-to-Date > (2.0a2d)

< Defined TRANSACTIONS PROCEDURES > (2.0a3) :

< PROCEDURES Written > (2.0a3a)
< PROCEDURE_CHANGES Written > (2.0a3b)
< PROCEDURE_CHANGES Maintained > (2.0a3c)
< PROCEDURES Up-to-Date > (2.0a3d)

< Defined TRANSACTIONS RESPONSIBILITIES > (2.0a4) :

< Equal Identifier(AGENT) RESPONSIBILITIES > (2.0a4a)

<Defined ROUTINE_ MANAGEMENT_METHODS> (2.0a5):

<ROUTINE_ MANAGEMENT_METHODS Written> (2.0a5A)

<ROUTINE_ MANAGEMENT_METHODS _CHANGES Written> (2.0a5b)

<ROUTINE_ MANAGEMENT_METHODS _CHANGES Maintained> (2.0a5c)

<ROUTINE_ MANAGEMENT_METHODS Up-to-Date> (2.0a5d)

<Defined SYSTEM_FAILED_ MANAGEMENT_METHODS> (2.0a6):

<SYSTEM_FAILED_ MANAGEMENT_METHODS Written> (2.0a6A)

<SYSTEM_FAILED_ MANAGEMENT_METHODS _CHANGES Written> (2.0a6b)

<SYSTEM_FAILED_ MANAGEMENT_METHODS _CHANGES Maintained> (2.0a6c)

<SYSTEM_FAILED_ MANAGEMENT_METHODS Up-to-Date> (2.0a6d)

< SYSTEM Implemented > (3.0) :

< SYSTEM In_Effect > (3.0a)
< Creates TRANSACTION RECORD > (3.0b)
< Documented SYSTEM Employed > (3.0c)

< SYSTEM In_Effect > (3.0a)

< Processed_By TRANSACTION PROCEDURE > (3.0a1)

< SYSTEM In_Effect > (3.0a) :

< Processed_By TRANSACTION EXCEPTION_PROCEDURE > (3.0a1)

< Documented SYSTEM Employed > (3.0c) :

< Functioning SYSTEM At_all_times > (3.0c1)

< SYSTEM Reliable > (4.0) :

< OUTCOME Consistent > (4.0a)
< SYSTEM Logical > (4.0b)
< FAILURES Evident > (4.0c)
< FAILURES Corrected > (4.0d)

< OUTCOMES Consistent > (4.0a) :

< Equal PROCESS(Transaction Time1) PROCESS(Transaction Time2) ) > (4.0a1)

< SYSTEM Logical > (4.0b) :

< Equal TEST(SYSTEM_LOGIC) (BUSINESS_LOGIC) > (4.0b1)

< FAILURES Evident > (4.0c) :

< Create FAILURE RECORD > (4.0c1)

< FAILURES Corrected > (4.0d) :

< PROCESSES Recovered > (4.0d1)
< PROCESSES Re-executed > (4.0d2)

< RECORDS Functional >

< RECORDS Captured >
< RECORDS Maintained >
< RECORDS Usable >

< RECORDS Captured > :

< RECORDS Comprehensive > (5.0)
< RECORDS Identifiable > (6.0)
< RECORDS Complete > (7.0)
(8.0)

< RECORDS Comprehensive > (5.0) :

< Create TRANSACTION RECORD > (5.0a)

< RECORDS Identifiable > (6.0) :

< Equal Identifier(RECORD) Identifier(TRANSACTION) > (6.0a)
< RECORD Unique > (6.0b)

< RECORDS Complete > (7.0) :

< Content( RECORD) Accurate > (7.0a)
< Structure( RECORD) Understandable > (7.0b)
< Context( RECORD) Meaningful > (7.0c)

< Content( RECORD) Accurate > (7.0a):

< Equal Content( TRANSACTION) Content( RECORD) > (7.0a1)

< Content( RECORD) Accurate > (7.0a):

< Equivalent Content( TRANSACTION) Content( RECORD) > (7.0a1)

< Structure( RECORD) Understandable > (7.0b) :

< DATA_PRESENTATION Represented > (7.0b1)
< SYSTEM_VIEWS Represented > (7.0b2)
< LOGICAL_RELATIONS Represented > (7.0b3)
< FUNCTIONALITY Represented > (7.0b4)

< Context( RECORD) Meaningful > (7.0c) :

< BUSINESS_RULES Maintained > (7.0c1)
< TRANSACTION_DOCUMENTATION Maintained > (7.0c2)
< RECORD_LINKS Retained > (7.0c3)

< RECORDS Authentic > (8.0) :

< Create RECORD AGENT > (8.0a)
< Equal Permission(AGENT) TRANSACTION > (8.0b)

< RECORDS Maintained > :

< RECORDS Preserved > (9.0)
< RECORDS Removable > (10.0)

< RECORDS Preserved > (9.0) :

< RECORDS Inviolate > (9.0a)
< RECORDS Coherent > (9.0b)
< RECORDS Auditable > (9.0c)

< RECORDS Inviolate > (9.0a) :

< Equal Content(RECORD ?T1) Content(RECORD ?T2) > (9.0a1)

< RECORDS Coherent > (9.0b) :

< SYSTEM Changed > (9.0b1)
< Equivalent Structure(RECORD ?T1) Structure(RECORD ?T1) > (9.0b2)

< RECORDS Auditable > (9.0c) :

< Use RECORD TRANSACTION > (9.0C1)

< RECORDS Removable > (10.0) :

< DELETE Authorized > (10.0a)
< DELETE Audited > (10.0b)
< DELETE Complete > (10.0c)

< DELETE Complete > (10.0c) :

< Content(RECORD) Deleted > (10.0c)
< Structure(RECORD) Deleted > (10.0c)
< NOT (Context(RECORD) Deleted) > (10.0c)

< RECORDS Usable > :

< RECORDS Exportable > (11.0)
< RECORDS Accessible > (12.0)
< RECORDS Redactable > (13.0)

< RECORDS Exportable > (11.0) :

< Equal RECORD ?SYSTEMA RECORD ?SYSTEMB > (11.0a)

< RECORDS Accessible > (12.0) :

< RECORDS Available > (12.0a)
< RECORDS Renderable > (12.0b)
< RECORDS Evidential > (12.0c)

< RECORDS Available > (12.0a) :

< Content(RECORD) Available > (12.0a)
< Context(RECORD) Available > (12.0a)
< Structure(RECORD) Available > (12.0a)

< RECORDS Renderable > (12.0b) :

< Equivalent Display(RECORD ?T1) Display(RECORD ?T2) > (12.0b1)

< RECORDS Evidential > (12.0c) :

< TRANSACTION_HISTORY Rendered > (12.0c1)

<RECORDS Redactable> (13.0) :

<CONTENT_ REDACTED SYSTEMS_VIEW Masked> (13.0a)

<CONTENT_RELEASED NOT (CONTENT_REDACTED)> (13.0b)

<Equal RECORD (CONTENT_RELEASED + CONTENT-REDACTED) RECORD> (13.0c)

OBJECTS DERIVED FROM REQUIREMENTS

AUTHORITY

Type - (ADMINISTRATIVE (Rule - Business_Rule),

LEGAL (Rule - Law),
PROFESSIONAL (Rule - Best_Practices),
REGULATORY(Rule - Issuance))

AGENT.....................CREATOR = AGENT

Identifier - Unique
Type - (PERSON, SYSTEM, ORGANIZATION)
Responsibilities -

ORGANIZATION

Business_Logic

State - Management

Policies

State(In_Effect, Not_In_Effect)POLICY_CHANGE

Procedures

Internal_Rules
RETENTION_RULE

Process

RECORDKEEPING_FUNCTIONAL_REQUIREMENTS

External_Requirements

RECORDS

Identifier - Unique
Content -
Context -
LINKS
Structure -
data_presentation

SYSTEM

DATA_STORE
FUNCTIONALITY
KNOWLEDGE_BASE
LOGICAL_RELATIONS
Outcome
SYSTEM_LOGIC
MANAGEMENT_METHODS
.......EXCEPTION_PROCEDURE
permissions (Business_Rule - Agent Responsibilities)
SYSTEM_VIEWS
State......(Operating, Failed)

BUSINESS TRANSACTION

Identifier - Unique
Data
Documentation
History