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

Last Modified: 9/18/96