activefacts 1.6.0 → 1.7.1

data/examples/CQL/Monogamy.cql

@@ -1,24 +0,0 @@
-vocabulary Monogamy;
-
-/*
- * Value Types
- */
-Name is written as String;
-Person ID is written as Auto Counter;
-
-/*
- * Entity Types
- */
-Person is identified by its ID;
-Person is called one Name;
-
-Boy is a kind of Person;
-
-Girl is a kind of Person;
-Girl (as Girlfriend) is going out with at most one Boy (as Boyfriend) [symmetric],
-	Boyfriend is going out with at most one Girlfriend;
-
-/*
- * Constraints:
- */
-either Person is a Girl or Person is a Boy but not both;

data/examples/CQL/MultiInheritance.cql

@@ -1,22 +0,0 @@
-vocabulary MultiInheritance;
-
-/*
- * Value Types
- */
-Employee ID is written as Auto Counter;
-Person Name is written as String;
-TFN is written as Char(9);
-
-/*
- * Entity Types
- */
-Person is identified by its Name;
-
-Australian is a kind of Person;
-Australian has at most one TFN,
-	TFN is of one Australian;
-
-Employee is a kind of Person identified by its ID;
-
-Australian Employee is a kind of Employee, Australian;
-

data/examples/CQL/NonRoleId.cql

@@ -1,14 +0,0 @@
-vocabulary NonRoleId;
-
-/*
- * Value Types
- */
-Comparison Id is written as Auto Counter;
-Ordinal is written as Auto Counter;
-
-/*
- * Entity Types
- */
-Comparison is identified by its Id where
-	Ordinal comes before larger-Ordinal;
-

data/examples/CQL/OddIdentifier.cql

@@ -1,18 +0,0 @@
-vocabulary OddIdentifier;
-
-/*
- * Value Types
- */
-Ordinal is written as Signed Integer(32);
-Text is written as String;
-Thing ID is written as Auto Counter;
-
-/*
- * Entity Types
- */
-Thing is identified by its ID;
-
-Thing Sequence is identified by Thing and Text where
-	Thing has Ordinal occurrence,
-	Thing Sequence has one Text;
-

data/examples/CQL/OilSupply.cql

@@ -1,53 +0,0 @@
-vocabulary OilSupply;
-
-/*
- * Value Types
- */
-Cost is written as Money;
-Month Nr is written as Signed Integer(32);
-Product Name is written as String;
-Quantity is written as Unsigned Integer(32);
-Refinery Name is written as String(80);
-Region Name is written as String;
-Season is written as String(6) restricted to {'Autumn', 'Spring', 'Summer', 'Winter'};
-Transport Method is written as String restricted to {'Rail', 'Road', 'Sea'};
-Year Nr is written as Signed Integer(32);
-
-/*
- * Entity Types
- */
-Month [static] is identified by its Nr restricted to {1..12};
-Month is in one Season;
-
-Product is independent identified by its Name;
-
-Refinery is independent identified by its Name;
-
-Region is independent identified by its Name;
-
-Transport Route is where
-	Transport Method transportation is available from Refinery to Region,
-	Transport Method transportation is available to Region from Refinery;
-Transport Route incurs at most one Cost per kl;
-
-Year is identified by its Nr;
-
-Acceptable Substitution is where
-	Product may be substituted by alternate-Product in Season [acyclic, intransitive],
-	alternate-Product is an acceptable substitute for Product in Season;
-
-Supply Period [separate, static] is identified by Year and Month where
-	Supply Period is in one Year,
-	Supply Period is in one Month;
-
-Production Forecast is where
-	Refinery in Supply Period will make Product in one Quantity,
-	Refinery will make Product in Supply Period in Quantity,
-	Refinery will make Quantity of Product in Supply Period;
-Production Forecast predicts at most one Cost;
-
-Regional Demand is where
-	Region in Supply Period will need Product in one Quantity,
-	Region will need Product in Supply Period in Quantity,
-	Region will need Quantity of Product in Supply Period;
-

data/examples/CQL/OneToOnes.cql

@@ -1,17 +0,0 @@
-vocabulary OneToOnes;
-
-/*
- * Value Types
- */
-Boy ID is written as Auto Counter;
-Girl ID is written as Auto Counter;
-
-/*
- * Entity Types
- */
-Boy is independent identified by its ID;
-
-Girl is independent identified by its ID;
-Girl is going out with at most one Boy,
-	Boy is going out with at most one Girl;
-

data/examples/CQL/Orienteering.cql

@@ -1,111 +0,0 @@
-vocabulary Orienteering;
-
-/*
- * Value Types
- */
-Accessibility is written as Char(1) restricted to {'A'..'D'};
-Club Code is written as String(6);
-Club Name is written as String(32);
-Control Number is written as Unsigned Integer(32) restricted to {1..1000};
-Course is written as String(16) restricted to {'A'..'E', 'PW'};
-Entry ID is written as Auto Counter;
-Event ID is written as Auto Counter;
-Event Name is written as String(50);
-Family Name is written as String(48);
-Gender is written as Char(1) restricted to {'F', 'M'};
-Given Name is written as String(48);
-Location is written as String(200);
-Map ID is written as Auto Counter;
-Map Name is written as String(80);
-Number is written as Unsigned Integer(32) restricted to {1..100};
-Person ID is written as Auto Counter;
-Placing is written as Unsigned Integer(32);
-Point Value is written as Unsigned Integer(32);
-Post Code is written as Unsigned Integer(32);
-Punch ID is written as Auto Counter;
-Score is written as Signed Integer(32);
-Scoring Method is written as String(32) restricted to {'Scatter', 'Score', 'Special'};
-Series ID is written as Auto Counter;
-Series Name is written as String(40);
-Start Time is written as Date Time;
-Time is written as Date Time;
-Year is written as Unsigned Integer(32) restricted to {1900..3000};
-
-/*
- * Entity Types
- */
-Club is identified by its Code;
-Club Name is name of at most one Club,
-	Club is called one Club Name;
-
-Event is identified by its ID;
-Club runs Event,
-	Event is run by one Club;
-Event is called at most one Event Name,
-	Event Name is name of at most one Event;
-Event has at most one Number;
-Event is held on one Start Time;
-Event starts at one start-Location,
-	Location is place Event starts;
-
-Event Control is where
-	Event includes at least one Control Number;
-Event Control has at most one Point Value;
-
-Event Scoring Method is where
-	Scoring Method is used for Course of Event,
-	Course of Event uses one Scoring Method;
-
-Map is identified by its ID;
-Club (as Owner) owns Map,
-	Map is owned by one Owner;
-Map has at most one Accessibility;
-Map is map for Event,
-	Event uses one Map;
-Map has one Map Name,
-	Map Name is of at most one Map;
-
-Person is identified by its ID;
-Person is member of at most one Club;
-Person has one Family Name,
-	Family Name is of Person;
-Person is of at most one Gender;
-Person has one Given Name,
-	Given Name is name of Person;
-Person has at most one Post Code;
-Person was born in at most one birth-Year;
-
-Punch is identified by its ID;
-
-Punch Placement is where
-	Punch is placed at Event Control;
-
-Series is identified by its ID;
-Event is in at most one Series;
-Series has one Series Name (as Name),
-	Name is of at most one Series;
-
-Entry is identified by its ID where
-	Person entered Course of Event,
-	Person entered Event in one Course;
-Entry received at most one Score;
-Entry finished in at most one finish-Placing;
-
-Visit is where
-	Punch was visited by Entry at Time;
-
-/*
- * Constraints:
- */
-Event is in Series
-	if and only if
-	Event has Number;
-each Event Control occurs at least one time in
-	Punch is placed at Event Control;
-either Event is called Event Name or Event is in Series;
-each combination Given Name, Family Name occurs at most one time in
-	Person has Given Name,
-	Person has Family Name;
-each combination Series, Number occurs at most one time in
-	Event is in Series,
-	Event has Number;

data/examples/CQL/PersonPlaysGame.cql

@@ -1,18 +0,0 @@
-vocabulary PersonPlaysGame;
-
-/*
- * Value Types
- */
-Game Code is written as Char;
-Person Name is written as String;
-
-/*
- * Entity Types
- */
-Game is identified by its Code;
-
-Person is identified by its Name;
-
-Playing is where
-	Person plays Game;
-

data/examples/CQL/RedundantDependency.cql

@@ -1,34 +0,0 @@
-vocabulary RedundantDependency;
-
-/*
- * Value Types
- */
-Address Id is written as Auto Counter;
-District Number is written as Signed Integer(32);
-Politician Id is written as Auto Counter;
-Postal Code is written as Signed Integer(32);
-State Or Province Id is written as Auto Counter;
-
-/*
- * Entity Types
- */
-Address is identified by its Id;
-Address is assigned at most one Postal Code;
-
-Politician is identified by its Id;
-
-State Or Province is identified by its Id;
-Address is in at most one State Or Province;
-
-Legislative District is identified by District Number and State Or Province where
-	Legislative District has one District Number,
-	Legislative District is for one State Or Province;
-Address is in at most one Legislative District;
-Politician represents at most one Legislative District,
-	Legislative District is represented by one Politician;
-
-/*
- * Constraints:
- */
-Address is in Legislative District
-	only if Address is in State Or Province and Legislative District is for State Or Province;

data/examples/CQL/SchoolActivities.cql

@@ -1,33 +0,0 @@
-vocabulary SchoolActivities;
-
-/*
- * Value Types
- */
-Activity Name is written as String(32);
-School Name is written as String;
-Student Name is written as String;
-
-/*
- * Entity Types
- */
-Activity is identified by its Name;
-
-School is identified by its Name;
-
-School Activity is where
-	School sanctions Activity;
-
-Student is identified by its Name;
-Student is enrolled in one School;
-
-Student Participation is where
-	Student represents School in Activity,
-	Student participates in Activity as representative of one School;
-
-/*
- * Constraints:
- */
-Student represents School in Activity
-	only if School sanctions Activity;
-Student represents School in Activity
-	only if Student is enrolled in School;

data/examples/CQL/SeparateSubtype.cql

@@ -1,30 +0,0 @@
-vocabulary SeparateSubtype;
-
-/*
- * Value Types
- */
-Claim ID is written as Auto Counter;
-Date Time is written as Date Time;
-Person Name is written as String;
-
-/*
- * Entity Types
- */
-Claim is identified by its ID;
-
-Incident is identified by Claim where
-	Claim concerns at most one Incident,
-	Incident resulted in one Claim;
-Incident occurred on at most one Date Time;
-
-Person is identified by its Name;
-
-Vehicle Incident is a kind of Incident [separate];
-
-Witness is a kind of Person;
-Witness saw Incident,
-	Incident was independently witnessed by at most one Witness;
-
-Driver is a kind of Person;
-Vehicle Incident occurred while at most one Driver was in charge;
-

data/examples/CQL/ServiceDirector.cql

@@ -1,276 +0,0 @@
-vocabulary ServiceDirector;
-
-/*
- * Value Types
- */
-Company Code is written as Char(5);
-Credential Nr is written as Signed Integer(32);
-Data Store Name is written as String(15);
-Date is written as String;
-Date Time is written as String;
-Email Address is written as String(50);
-Host System Name is written as String(15);
-IP is written as String(16);
-Message Data is written as Blob(8000);
-Message Header is written as String(30);
-Monitor Id is written as Auto Counter;
-Monitoring Application Name is written as String(10);
-Name is written as String(15);
-Netmask is written as String(16);
-Network Nr is written as Signed Integer(32);
-Notification Level Nr is written as Signed Integer(32);
-Notification Type Name is written as String(20);
-Password is written as String;
-Path is written as String(20);
-Port is written as Signed Integer(32);
-Provider Type Id is written as Signed Integer(20);
-Recurring Schedule Id is written as Auto Counter;
-Satellite Message Id is written as Unsigned Integer(32);
-Seconds is written as Unsigned Integer(32);
-Serial Number is written as String(20);
-Service Type [independent] is written as String(15);
-Subscription Nr is written as Signed Integer(32);
-Switch Id is written as Auto Counter;
-Time is written as String;
-Transaction Nr is written as Unsigned Integer(32);
-Truck PCID is written as Unsigned Integer(32);
-User Name is written as String(20);
-Version is written as Char(5);
-
-/*
- * Entity Types
- */
-Company is identified by its Code;
-Company has one Operating-Name;
-Company is client;
-Company is vendor;
-
-Credential is identified by its Nr;
-Credential has at most one Expiration-Date;
-Credential has one Password;
-Credential has one User Name;
-
-Data Store is identified by its Name;
-Data Store requires at least one Credential;
-Data Store has one Friendly-Name;
-Data Store has at most one HeartBeat-Truck PCID;
-Data Store has one Internal-Credential;
-Data Store is one Major-Version;
-Data Store is one Minor-Version;
-Data Store is one Revision-Version;
-
-Duration is identified by Seconds where
-	Duration has one Seconds,
-	Seconds is of at most one Duration;
-
-Geocode File is identified by Path where
-	Geocode File has one Path,
-	Path is of at most one Geocode File;
-Data Store uses at most one Geocode File;
-
-Host System is identified by its Name;
-Data Store is on one Primary-Host System;
-Data Store is on one Secondary-Host System;
-
-Monitor is identified by its Id;
-Monitor monitors one Data Store;
-Monitor is disabled;
-
-Monitoring Application is independent identified by its Name;
-Monitor is owned by one Monitoring Application;
-
-Network is identified by its Nr;
-Company has at least one Origin-Network;
-Data Store has TcpProxy-Network,
-	TcpProxy-Network is in at most one Data Store;
-Host System uses at least one Network,
-	Network is used by at most one Host System;
-Network uses at most one Domain-Name;
-Network has at most one Ending-IP;
-Network has one Initial-IP;
-Network uses at most one Netmask;
-Network is ip_range;
-Network is ip_single;
-Network is ip_subnet;
-
-Notification Level is identified by its Nr;
-Notification Level has one InitialDelay-Duration;
-Notification Level has one Repeat-Duration;
-
-Notification Type is independent identified by its Name;
-
-Provider Type is identified by its Id;
-
-Recurring Schedule is identified by its Id;
-Monitor has AllExclusion-Recurring Schedule,
-	AllExclusion-Recurring Schedule applies to at most one Monitor;
-Monitor (as IntegratingMonitor) has IntegrationExclusion-Recurring Schedule;  // Avoid ambiguity; this is a new fact type
-Monitor (as IntegratingMonitor) has IntegrationExclusion-Recurring Schedule,
-	IntegrationExclusion-Recurring Schedule applies to at most one IntegratingMonitor;
-Recurring Schedule has one Duration;
-Recurring Schedule has one Start-Time;
-Recurring Schedule friday;
-Recurring Schedule monday;
-Recurring Schedule saturday;
-Recurring Schedule sunday;
-Recurring Schedule thursday;
-Recurring Schedule tuesday;
-Recurring Schedule wednesday;
-
-Satellite Message is identified by its Id;
-Satellite Message is designated for one Data Store;
-Satellite Message has at most one Message Data;
-Satellite Message has at most one Message Header;
-Satellite Message is of at most one Provider Type;
-Satellite Message has one Serial Number;
-Satellite Message has one insertion-Date Time;
-
-Subscription is identified by its Nr;
-Company has one DriverTech-Subscription;
-Subscription has one Beginning-Date;
-Subscription has at most one Ending-Date;
-Subscription is enabled;
-
-Switch is identified by its Id;
-Data Store has at most one Legacy-Switch;
-Switch is one Major-Version;
-Switch is one Minor-Version;
-Switch has one Operating-Port;
-Switch is one Revision-Version;
-Switch has one monitoring-Port;
-Switch (as Private Interface Switch) is on private-Network,
-	private-Network connects to at most one Private Interface Switch;
-Switch (as Public Interface Switch) is on public-Network;  // Avoid ambiguity; this is a new fact type
-Switch (as Public Interface Switch) is on at least one public-Network,
-	Network connects to at most one Public Interface Switch;
-Switch is backup messages;
-Switch is backup updates;
-Switch is send disabled;
-Switch is test vectors enabled;
-
-Transaction is identified by its Nr;
-Satellite Message has at most one Group-Transaction;
-
-User is identified by its Name;
-User has one Primary-Email Address;
-User has at most one Secondary-Email Address;
-User is monitor notification disabled;
-
-Vendor is a kind of Company [separate];
-Vendor requires at least one Credential;
-
-Client is a kind of Company [separate];
-Client has at most one default-Data Store;
-Data Store belongs to one Client,
-	Client uses Data Store;
-
-File Host System is a kind of Host System;
-File Host System has one Port;
-
-Host System Runs Switch is where
-	Host System runs Switch;
-
-Monitor Notification Type is where
-	Monitor has at least one Notification Type;
-Monitor Notification Type is excluded;
-
-Monitor Notification User is where
-	Monitor Notification Type has notification-User;
-Monitor Notification User has one Notification Level;
-
-Service is identified by Vendor and Service Type where
-	Vendor provides Service,
-	Service is of one Service Type;
-
-Data Store File Host System is where
-	Data Store has one File Host System;
-Data Store File Host System has one Internal-Credential;
-
-Data Store Service is where
-	Service is from at least one Data Store,
-	Data Store has Service;
-Data Store Service belongs to one Client;
-Data Store Service requires at least one Credential;
-Data Store Service has one Subscription;
-
-/*
- * Constraints:
- */
-either Company is client or Company is vendor but not both;
-for each Credential exactly one of these holds:
-	Data Store (2) requires Credential,
-	Data Store Service requires Credential,
-	Vendor requires Credential,
-	Data Store File Host System has Internal-Credential,
-	Data Store (1) has Internal-Credential;
-for each Network exactly one of these holds:
-	Network is used by Host System,
-	Company has Origin-Network,
-	TcpProxy-Network is in Data Store;
-for each Network exactly one of these holds:
-	Network is ip_single,
-	Network is ip_subnet,
-	Network is ip_range;
-either Host System runs Switch or Data Store has Legacy-Switch but not both;
-for each Network at most one of these holds:
-	Network is ip_single,
-	Network has Ending-IP;
-Data Store Service (in which Service is from Data Store) belongs to Client
-	if and only if
-	Client has default Data Store;
-Network has Ending IP
-	if and only if
-	Network is ip_range;
-Network is ip_subnet
-	if and only if
-	Network uses Netmask;
-Switch is on private Network
-	if and only if
-	Data Store has Legacy Switch;
-Client has default Data Store
-	only if Client uses Data Store;
-TcpProxy Network is in Data Store
-	only if Network is ip_single;
-Network uses Domain Name
-	only if Network is ip_single;
-each Credential occurs at most one time in
-	Data Store File Host System has Internal Credential;
-each Credential occurs at most one time in
-	Data Store Service requires Credential;
-each Credential occurs at most one time in
-	Data Store has Internal Credential;
-each Credential occurs at most one time in
-	Data Store requires Credential;
-each Credential occurs at most one time in
-	Vendor requires Credential;
-each IP occurs at most one time in
-	Network has Ending IP;
-each IP occurs at most one time in
-	Network has Initial IP;
-each Name occurs at most one time in
-	Data Store has Friendly Name;
-each Network occurs at most one time in
-	Company has Origin Network;
-each Port occurs at most one time in
-	Switch has monitoring Port;
-each Recurring Schedule occurs at least one time in
-	Recurring Schedule monday,
-	Recurring Schedule tuesday,
-	Recurring Schedule wednesday,
-	Recurring Schedule thursday,
-	Recurring Schedule friday,
-	Recurring Schedule saturday,
-	Recurring Schedule sunday;
-each Service occurs one time in
-	Vendor provides Service;
-each Subscription occurs at most one time in
-	Company has DriverTech Subscription;
-each Subscription occurs at most one time in
-	Data Store Service has Subscription;
-each Switch occurs at most one time in
-	Data Store has Legacy Switch;
-each combination User Name, Vendor, Data Store Service, Data Store occurs at most one time in
-	Credential has User Name,
-	Vendor requires Credential,
-	Data Store Service requires Credential,
-	Data Store requires Credential;