added examples/SUMO

1 files changed, 1354 insertions, 0 deletions

diff --git a/examples/SUMO/QoSontology.gf b/examples/SUMO/QoSontology.gf
new file mode 100644
index 000000000..067cf9df0
--- /dev/null
+++ b/examples/SUMO/QoSontology.gf
@@ -0,0 +1,1354 @@
+abstract QoSontology = open Merge, Mid_level_ontology, engineering in {

+

+

+

+

+--  To exit a function or application without saving 

+-- any data that has been changed.

+fun Abort : Class ;

+fun Abort_Class : SubClass Abort ComputerProcess ;

+

+-- This is a subclass of 

+-- TimingRequirementAttribute, which includes Instrument_AbstractionLevel, 

+-- Method_AbstractionLevel, Object_AbstractionLevel, Task_AbstractionLevel,

+-- and TaskGroup_AbstractionLevel.

+fun AbstractionLevelAttribute : Class ;

+fun AbstractionLevelAttribute_Class : SubClass AbstractionLevelAttribute TimingRequirementAttribute ;

+

+-- (AddressFn ?FILE) returns as its value the 

+-- physical address of the ComputerFile ?FILE.

+fun AddressFn : El ComputerFile -> Ind PhysicalAddress ;

+

+

+-- An instance of the class 

+-- RealtimeSystem has Initiation_DesignPattern if it consists of 

+-- sensors connected to a software module that filters data from the 

+-- sensors and sends the filtered data to another software module that 

+-- evaluates the filtered data and sends decisions to a subsystem. 

+-- The design pattern is a data source that produces a data stream for 

+-- a data handler. The data source is typically a periodically sampled 

+-- collection of sensors. The data stream's size may vary and is 

+-- unbounded. Data may be either homogeneous or heterogeneous. The 

+-- workload per data element for homogeneous data is constant. The 

+-- workload per data element for heterogeneous data is a function of 

+-- each element type. There is one deadline for real_time situation 

+-- assessment systems. It is the upper bound on the time to process 

+-- all elements in the data stream once.

+fun Assessment_DesignPattern : Class ;

+fun Assessment_DesignPattern_Class : SubClass Assessment_DesignPattern DesignPatternAttribute ;

+

+-- A program which is started 

+-- automatically, as opposed to an application started in response to 

+-- some condition becoming true.

+fun AutomaticApplication : Class ;

+fun AutomaticApplication_Class : SubClass AutomaticApplication ComputerProgram ;

+

+-- Berkeley Software Distribution (UNIX), 

+-- a version of Unix distributed by the University of California at Berkeley. Widely 

+-- used as a standard for early versions of Unix and Unix software libraries.

+fun BerkeleySoftwareDistribution : Class ;

+fun BerkeleySoftwareDistribution_Class : SubClass BerkeleySoftwareDistribution OperatingSystem ;

+

+-- The measurement of the speed of data 

+-- transfer in a communications system.

+fun BitsPerSecond : Class ;

+

+

+-- A network in which all nodes are connected 

+-- to a single wire (the bus) that has two endpoints. Ethernet 10Base_2 

+-- and 10Base_5 networks, for example, are bus networks. Other common 

+-- network types include StarNetworks and RingNetworks.

+fun BusNetwork : Class ;

+fun BusNetwork_Class : SubClass BusNetwork LAN ;

+

+-- CPU (Central Processing Unit) is the computing part 

+-- of the computer.

+fun CPU : Class ;

+fun CPU_Class : SubClass CPU (both ComputerComponent ComputerHardware) ;

+

+

+-- (CPUUtilizationFn ?PROGRAM) refers to 

+-- the percentage of time the CPU is used by an application ?PROGRAM.

+fun CPUUtilizationFn : El ComputerProgram -> Ind ConstantQuantity ;

+

+

+-- A subclass of 

+-- TimingRequirementAttribute, which includes

+-- MultipleRequirement_Complexity and SingleRequirement_Complexity.

+fun ComplexityAttribute : Class ;

+fun ComplexityAttribute_Class : SubClass ComplexityAttribute TimingRequirementAttribute ;

+

+-- Instances of ComputationalSystems 

+-- include instances of SoftwareSystems, HardwareSystems, and 

+-- ComputerNetworks.

+fun ComputationalSystem : Class ;

+fun ComputationalSystem_Class : SubClass ComputationalSystem Product ;

+

+-- A general_purpose machine that processes 

+-- data according to a set of instructions that are stored internally 

+-- either temporarily or permanently.

+fun Computer : Class ;

+fun Computer_Class : SubClass Computer ElectricDevice ;

+

+-- An instance of ComputerComponent is a 

+-- piece of computer hardware that has measurable performance characteristics 

+-- in terms of different units. Components include hard drives, the performance

+-- of which can be measured in terms of BitsPerSecond required to transfer data 

+-- to and from the drive, network adapters, the performance of which can be 

+-- measured by PacketsPerSecond units of data transfered to and from the adapter, 

+-- and other common components like ComputerMemory and CentralProcessingUnit.

+fun ComputerComponent : Class ;

+fun ComputerComponent_Class : SubClass ComputerComponent ComputerHardware ;

+

+-- The term ComputerData refers to files 

+-- and databases, text documents, and images.

+fun ComputerData : Class ;

+fun ComputerData_Class : SubClass ComputerData ContentBearingObject ;

+

+-- This is the class of catalogs that 

+-- identify and locate instances of ComputerFiles. The catalog's entries 

+-- consist of at least ComputerFile names and a physical address on a memory

+-- device of the ComputerFile or an index (e.g., file descriptor) into a 

+-- table of ComputerFile physical addresses. ComputerDirectories are thus 

+-- collections of data elements and must be named and stored on memory devices, 

+-- hence, ComputerDirectory is a subset of ComputerFile. ComputerDirectory folders contain only files and other folders

+fun ComputerDirectory : Class ;

+fun ComputerDirectory_Class : SubClass ComputerDirectory ComputerFile ;

+

+fun ComputerFile_ComputerData : SubClass ComputerFile ComputerData ;

+

+-- The hardware is the physical part of 

+-- a computer system.

+fun ComputerHardware : Class ;

+fun ComputerHardware_Class : SubClass ComputerHardware EngineeringComponent ;

+

+-- A peripheral device that generates 

+-- input for the computer such as a keyboard, scanner, or mouse.

+fun ComputerInputDevice : Class ;

+fun ComputerInputDevice_Class : SubClass ComputerInputDevice ComputerHardware ;

+

+-- The EnglishLanguage computer's workspace (physically, 

+-- a collection of RAM chips). It is an important resource, since it 

+-- determines the size and number of programs that can be run at the 

+-- same time, as well as the amount of data that can be processed 

+-- instantly.

+fun ComputerMemory : Class ;

+fun ComputerMemory_Class : SubClass ComputerMemory (both ComputerComponent ComputerHardware) ;

+

+

+-- The network includes the network 

+-- operating system in the client and server machines, the cables 

+-- connecting them and all supporting hardware in between such as 

+-- bridges, routers and switches.

+fun ComputerNetwork : Class ;

+fun ComputerNetwork_Class : SubClass ComputerNetwork (both ComputationalSystem RealtimeSystem) ;

+

+

+-- Any peripheral that presents 

+-- output from the computer, such as a screen or printer.

+fun ComputerOutputDevice : Class ;

+fun ComputerOutputDevice_Class : SubClass ComputerOutputDevice ComputerHardware ;

+

+-- A word or code used to serve as a security 

+-- measure against unauthorized access to data. It is normally managed by the 

+-- operating system or DBMS.

+fun ComputerPassword : Class ;

+fun ComputerPassword_Class : SubClass ComputerPassword SymbolicString ;

+

+-- An instance of ComputerPath is a series 

+-- of programs that connects input devices, typically sensors, to output 

+-- devices, typically actuators.

+fun ComputerPath : Class ;

+fun ComputerPath_Class : SubClass ComputerPath ComputerData ;

+

+-- The class of all attributes that are 

+-- specific to ComputerPaths.

+fun ComputerPathAttribute : Class ;

+fun ComputerPathAttribute_Class : SubClass ComputerPathAttribute SoftwareAttribute ;

+

+-- An instance of ComputerProcess is a 

+-- process which manipulates data in the computer.

+fun ComputerProcess : Class ;

+fun ComputerProcess_Class : SubClass ComputerProcess InternalChange ;

+

+-- A collection of data, presented in a preformatted 

+-- manner.

+fun ComputerReport : Class ;

+fun ComputerReport_Class : SubClass ComputerReport ComputerData ;

+

+-- One element of hardware, software or data 

+-- that is part of a larger system. For example, network resources are the 

+-- available servers and printers in the network. Software resources can be 

+-- programs, utilities or even smaller elements within a program. Data 

+-- resources are the files and databases that can be accessed.

+fun ComputerResource : Class ;

+fun ComputerResource_Class : SubClass ComputerResource ComputationalSystem ;

+

+-- A ComputerProcess which attempts to 

+-- comply with a user's request.

+fun ComputerResponse : Class ;

+fun ComputerResponse_Class : SubClass ComputerResponse ComputerProcess ;

+

+-- An attribute which describes status of the 

+-- Computer, such as HostDown, HostReady.

+fun ComputerStatus : Class ;

+fun ComputerStatus_Class : SubClass ComputerStatus RelationalAttribute ;

+

+-- In a multitasking environment, an 

+-- independently running program or subprogram. Each task is assigned 

+-- a task number.

+fun ComputerTask : Class ;

+fun ComputerTask_Class : SubClass ComputerTask ComputerProcess ;

+

+-- A ComputerOutputDevice for displaying

+-- information on some sort of screen or other reusable output surface. This

+-- is contrasted with a Printer, which places a substance on a surface

+-- that is for practical purposes, permanent.

+fun ComputerTerminal : Class ;

+fun ComputerTerminal_Class : SubClass ComputerTerminal ComputerOutputDevice ;

+

+-- Any individual who interacts with a 

+-- computer.

+fun ComputerUser : Class ;

+fun ComputerUser_Class : SubClass ComputerUser CognitiveAgent ;

+

+-- This attribute applies to 

+-- real_time systems that are designed and implemented so that the system 

+-- can adapt by replicating the system components and executing them 

+-- concurrently.

+fun Concurrency_FormOfAdaptation : Class ;

+fun Concurrency_FormOfAdaptation_Class : SubClass Concurrency_FormOfAdaptation FormOfAdaptationAttribute ;

+

+-- A Program which is started inside 

+-- an Xterm or other console.

+fun ConsoleApplication : Class ;

+fun ConsoleApplication_Class : SubClass ConsoleApplication ComputerProgram ;

+

+-- The attribute which denotes that the 

+-- path type is continuous, as opposed to transient or quasiconstinuous 

+-- paths. A continuous path handles a stream of data arriving at a comment 

+-- of rate.

+fun ContinuousPath : Class ;

+fun ContinuousPath_Class : SubClass ContinuousPath ComputerPathAttribute ;

+

+-- Encoding data to take up less storage 

+-- space.

+fun DataCompression : Class ;

+fun DataCompression_Class : SubClass DataCompression ComputerProcess ;

+

+-- A process of copying the document, record or 

+-- image being worked on onto a storage medium. Saving updates the file by 

+-- writing the data that currently resides in memory (RAM) onto disk or tape. 

+-- Most applications prompt the user to save data upon exiting.

+fun DataSaving : Class ;

+fun DataSaving_Class : SubClass DataSaving ComputerProcess ;

+

+-- A device or part of the computer that 

+-- receives data.

+fun DataSink : Class ;

+fun DataSink_Class : SubClass DataSink ComputerInputDevice ;

+

+-- A subclass of ComputerProcesses which 

+-- send data over a computer channel or bus.

+fun DataTransfer : Class ;

+fun DataTransfer_Class : SubClass DataTransfer ComputerProcess ;

+

+-- A set of related files that is created and 

+-- managed by a database management system (DBMS).

+fun Database : Class ;

+fun Database_Class : SubClass Database ComputerData ;

+

+-- An instance of RealtimeSystem 

+-- is described as Dependent_TaskRelation if it depends on at least one 

+-- other function in the system, that is, its correct execution depends on 

+-- the input from another function, the execution state of another function, 

+-- or the acceptance of its outputs by another function.

+fun Dependent_TaskRelation : Ind TaskRelationAttribute ;

+

+

+-- This is a subclass of 

+-- RealtimeSystemAttribute, which includes Guidance_DesignPattern, 

+-- Initiation_DesignPattern, and Assessment_DesignPattern.

+fun DesignPatternAttribute : Class ;

+fun DesignPatternAttribute_Class : SubClass DesignPatternAttribute RealtimeSystemAttribute ;

+

+-- The attribute which denotes that 

+-- the data stream is conceived as a stream of one datum after another, and 

+-- each datum or identifiable group of data is separated by a constant of 

+-- time.

+fun DeterministicDataStream : Class ;

+fun DeterministicDataStream_Class : SubClass DeterministicDataStream ComputerPathAttribute ;

+

+-- The attribute which denotes that the 

+-- path data stream type is dynamic, i.e. the time changes but the data 

+-- stream follows a pattern.

+fun DynamicDataStream : Class ;

+fun DynamicDataStream_Class : SubClass DynamicDataStream ComputerPathAttribute ;

+

+-- The class of attributes which 

+-- correspond to environment variables. Environment variables are defined 

+-- outside of a ComputerProgram, unlike ordinary variables that are 

+-- defined in the source code of the ComputerProgram. Typically, the 

+-- environment variable stores some value that many if not all 

+-- ComputerProgams will need when they execute. An example is the

+-- environment variable PATH under Unix_like operating systems that stores 

+-- the ComputerDirectories where executable ComputerPrograms can be found. 

+-- Another example is the environment variable CLASSPATH for Java programs, 

+-- which stores the directory where Java class files can be found that will be 

+-- needed by any ComputerProgram written in Java.

+fun EnvironmentSoftwareAttribute : Class ;

+fun EnvironmentSoftwareAttribute_Class : SubClass EnvironmentSoftwareAttribute RelationalAttribute ;

+

+-- An instant in time that is arbitrarily selected as a point 

+-- of reference.

+fun Epoch : Class ;

+fun Epoch_Class : SubClass Epoch TimePoint ;

+

+-- Able to be run in its current format.

+fun Executable : Ind RelationalAttribute ;

+

+

+-- The class of all messages to a resource 

+-- management program from one of its processes.

+fun Feedback : Class ;

+fun Feedback_Class : SubClass Feedback ContentBearingObject ;

+

+-- An attribute that applies to a 

+-- RealtimeSystem just in case a fixed percentage of requirements 

+-- is met.

+fun Firm_Strictness : Class ;

+fun Firm_Strictness_Class : SubClass Firm_Strictness StrictnessAttribute ;

+

+-- A subclass of 

+-- RealtimeSystemAttribute, which includes Precision_FormOfAdaptation, 

+-- Slack_FormOfAdaptation, Concurrency_FormOfAdaptation, and 

+-- ResourceAllocation_FormOfAdaptation.

+fun FormOfAdaptationAttribute : Class ;

+fun FormOfAdaptationAttribute_Class : SubClass FormOfAdaptationAttribute RealtimeSystemAttribute ;

+

+-- Instances of RealtimeSystems 

+-- are described as systems with Guidance_DesignPattern if they consist 

+-- of sensors connected to a software module that filters data from the 

+-- sensors and sends the filtered data to a software module that evaluates 

+-- the filtered data and sends instructions to a software module that 

+-- commands actuators. The design pattern is an event source that produces 

+-- events and a data source that produces data, both executing in parallel 

+-- and handled by a single event_driven periodic data handler. The two 

+-- separate input streams have fundamentally different characteristics. 

+-- The event stream is necessarily asychronous, or transient. Once an 

+-- event is sensed, the handler accepts data from the data stream, which 

+-- has an invariant cycle time. There are two deadlines for a real_time 

+-- guidance system. The period deadline is the time to process all elements 

+-- in the data stream once and generate an actuator command. The action 

+-- completion deadline is the time to guide the actuator to completion of 

+-- the action.

+fun Guidance_DesignPattern : Class ;

+fun Guidance_DesignPattern_Class : SubClass Guidance_DesignPattern DesignPatternAttribute ;

+

+-- The primary computer storage medium, which 

+-- is made of one or more aluminum or glass platters, coated with a 

+-- ferromagnetic material. Most hard disks are fixed disks, which are 

+-- permanently sealed in the drive.

+fun HardDiskDrive : Class ;

+fun HardDiskDrive_Class : SubClass HardDiskDrive (both ComputerComponent ComputerHardware) ;

+

+

+-- An attribute that applies to a 

+-- RealtimeSystem just in case all deadlines are met.

+fun Hard_Strictness : Class ;

+fun Hard_Strictness_Class : SubClass Hard_Strictness StrictnessAttribute ;

+

+-- The class of hardware systems is the 

+-- connection of three types of physical modules: instances of 

+-- ComputerProcessor(s), ComputerMemory, and ComputerNetwork. 

+-- ComputerProcessors execute instructions from ComputerPrograms, 

+-- which usually include instructions to read and write data from 

+-- memory, and send data via instances of ComputerNetworks.

+fun HardwareSystem : Class ;

+fun HardwareSystem_Class : SubClass HardwareSystem (both ComputationalSystem (both ComputerHardware RealtimeSystem)) ;

+

+

+-- Used to indicate that a ComputationalSystem 

+-- has a high priority.

+fun HighPriority : Ind PriorityAttribute ;

+

+

+-- An attribute which applies to a computer that ceases to 

+-- operate due to hardware or software failure.

+fun HostDown : Ind ComputerStatus ;

+

+

+-- An attribute which applies to a computer that is 

+-- functional, operating properly, and ready to receive work requests.

+fun HostReady : Ind ComputerStatus ;

+

+

+-- An attribute that applies to a 

+-- RealtimeSystem just in case the strictness of the system is a 

+-- combination of Hard/Firm/Soft_Strictness with Importance_Strictness 

+-- or a combination of Utility_Strictness with Importance_Strictness.

+fun Hybrid_Strictness : Class ;

+fun Hybrid_Strictness_Class : SubClass Hybrid_Strictness StrictnessAttribute ;

+

+-- An instance of the class 

+-- RealtimeSystem shows Hybrid_SystemBehavior if it is 

+-- activated by transient events, i.e. it is executed at regular 

+-- intervals when activated, and is deactivated by action completion.

+fun Hybrid_SystemBehavior : Class ;

+fun Hybrid_SystemBehavior_Class : SubClass Hybrid_SystemBehavior SystemBehaviorAttribute ;

+

+-- The Internet Protocol address, a numeric address such as 123.231.32.2 that 

+-- the domain name server translates into a domain name.

+fun IPAddress : Class ;

+fun IPAddress_Class : SubClass IPAddress PhysicalAddress ;

+

+-- A picture (graphic) stored in a particular 

+-- coding scheme and stored as a file. Note that this can include vector as 

+-- well as raster images. Raster images will entail a particular number of 

+-- horizontal and vertical pixels. Vector images will not entail a 

+-- particular size or resolution.

+fun ImageFile : Class ;

+fun ImageFile_Class : SubClass ImageFile ComputerData ;

+

+-- An attribute that applies to a 

+-- RealtimeSystem just in case it is designed and implemented to meet 

+-- the more important requirements first.

+fun Importance_Strictness : Class ;

+fun Importance_Strictness_Class : SubClass Importance_Strictness StrictnessAttribute ;

+

+-- An instance of RealtimeSystem 

+-- is described as Independent_TaskRelation if its correct execution 

+-- does not depend on the inputs from any other function, the execution state 

+-- of any other function, or the acceptance of its outputs by any other 

+-- function.

+fun Independent_TaskRelation : Class ;

+fun Independent_TaskRelation_Class : SubClass Independent_TaskRelation TaskRelationAttribute ;

+

+-- The function which returns as its value 

+-- the initial profile of the program, i.e. a report of its execution 

+-- characteristics.

+fun InitialProfileFn : El ComputerProgram -> Ind ProcessState ;

+

+

+-- An instance of the class 

+-- RealtimeSystem has Initiation_DesignPattern if it consists of 

+-- one software module and the actuators it commands. The design pattern 

+-- is an event source which produces events for an event handler. The 

+-- event source is typically an evaluate_and_decide software module. 

+-- The event stream is necessarily asychronous, or transient. The arrival 

+-- rate of events may vary and is unbounded. Events may be either 

+-- homogeneous or heterogeneous. The workload per event for homogeneous 

+-- events is constant. The workload per event for heterogeneous events 

+-- is a function of each event type. There is one deadline for real_time 

+-- action initiation systems. It is the upper bound on the time to 

+-- generate a command for the actuator.

+fun Initiation_DesignPattern : Class ;

+fun Initiation_DesignPattern_Class : SubClass Initiation_DesignPattern DesignPatternAttribute ;

+

+-- The attribute 

+-- Instrument_AbstractionLevel is the lowest level of abstraction, 

+-- which can be used to describe a real_time system or subsystem.

+fun Instrument_AbstractionLevel : Class ;

+fun Instrument_AbstractionLevel_Class : SubClass Instrument_AbstractionLevel AbstractionLevelAttribute ;

+

+-- A computer network that spans a relatively small 

+-- area. Most LANs are confined to a single building or group of buildings. 

+-- However, one LAN can be connected to other LANs over any distance via 

+-- telephone lines and radio waves. LAN A local_area network (LAN) whose topology is a ring. 

+-- That is, all of the nodes are connected in a closed loop. Messages 

+-- travel around the ring, with each node reading those messages addressed 

+-- to it.

+fun LAN : Class ;

+fun LAN_Class : SubClass LAN ComputerNetwork ;

+

+-- Used to indicate that a ComputationalSystem 

+-- has a low priority.

+fun LowPriority : Ind PriorityAttribute ;

+

+

+-- Each element of MeasuringPerformance 

+-- is an event of measuring the performance of an instance of ComputerComponent, 

+-- performed by a MonitoringProgram.

+fun MeasuringPerformance : Class ;

+fun MeasuringPerformance_Class : SubClass MeasuringPerformance ComputerProcess ;

+

+-- The attribute 

+-- Method_AbstractionLevel is the next to the lowest level of 

+-- abstraction that can be used to describe a real_time system or 

+-- subsystem. This is at the level of describing every callable 

+-- function (or method in an object_oriented language) implemented 

+-- in software.

+fun Method_AbstractionLevel : Class ;

+fun Method_AbstractionLevel_Class : SubClass Method_AbstractionLevel AbstractionLevelAttribute ;

+

+-- This command is to change the monitoring 

+-- for any component for which a componentDataID was sent on initial connection.

+fun MonitorApplicationCmd : Class ;

+fun MonitorApplicationCmd_Class : SubClass MonitorApplicationCmd MonitoringProgram ;

+

+-- This is the command to monitor any of the 

+-- generic components _ hard drive, network, cpu, memory, etc.

+fun MonitorComponentCmd : Class ;

+fun MonitorComponentCmd_Class : SubClass MonitorComponentCmd MonitoringProgram ;

+

+-- This is the command to get a list 

+-- of applications periodically.

+fun MonitorConnectivityCmd : Class ;

+fun MonitorConnectivityCmd_Class : SubClass MonitorConnectivityCmd MonitoringProgram ;

+

+-- A program which monitors performance 

+-- of an application, a component, etc.

+fun MonitoringProgram : Class ;

+fun MonitoringProgram_Class : SubClass MonitoringProgram ComputerProgram ;

+

+-- An attribute that describes 

+-- instances of RealtimeSystems which require multiple timing requirements, 

+-- both a bound for completion time for its transient behavior and a cycle 

+-- deadline for its periodic behavior.

+fun MultipleRequirement_Complexity : Class ;

+fun MultipleRequirement_Complexity_Class : SubClass MultipleRequirement_Complexity ComplexityAttribute ;

+

+-- The running of two or more programs in one 

+-- computer at the same time. The number of programs that can be effectively 

+-- multitasked depends on the type of multitasking performed (preemptive vs 

+-- cooperative), CPU speed and memory and disk capacity.

+fun Multitasking : Class ;

+fun Multitasking_Class : SubClass Multitasking ComputerProcess ;

+

+-- A network adapter, also known as a Network 

+-- Interface Card or NIC, is a physical device installed in a computer on its 

+-- system bus. Its purpose is to connect to a specific type of network,

+-- usually an ethernet or a token ring network.

+fun NetworkAdapter : Class ;

+fun NetworkAdapter_Class : SubClass NetworkAdapter ComputerComponent ;

+

+-- Network resources are the available 

+-- servers and printers in the network.

+fun NetworkResource : Class ;

+fun NetworkResource_Class : SubClass NetworkResource ComputerResource ;

+

+-- The attribute 

+-- Object_AbstractionLevel is immediately above the attribute 

+-- Method_AbstractionLevel and can be used to describe a real_time 

+-- system or subsystem. This is at the level of describing every software 

+-- object that can be created from a class together with its data structures 

+-- and methods (which define the interface for manipulating the object).

+fun Object_AbstractionLevel : Class ;

+fun Object_AbstractionLevel_Class : SubClass Object_AbstractionLevel AbstractionLevelAttribute ;

+

+-- The master control program that runs the 

+-- computer. It is the first program loaded when the computer is turned on, 

+-- and its main part, called the kernel, resides in memory at all times. It 

+-- may be developed by the vendor of the computer it's running in or by a 

+-- third party.

+fun OperatingSystem : Class ;

+fun OperatingSystem_Class : SubClass OperatingSystem SoftwareSystem ;

+

+-- Optimization means finding the best solution according 

+-- to a set of criteria. For a computer program, an optimal solution would be the 

+-- fastest program (according to some benchmark) or the smallest program.

+fun Optimization : Class ;

+fun Optimization_Class : SubClass Optimization ProcessTask ;

+

+-- A block of data used for transmission in packet 

+-- switched systems.

+fun Packet : Class ;

+fun Packet_Class : SubClass Packet ComputerData ;

+

+-- The rate or speed of Packet_Networks 

+-- transferred in a second.

+fun PacketsPerSecond : Ind CompositeUnitOfMeasure ;

+

+

+-- The attribute which denotes that 

+-- the path importance is defined by the dynamic library procedure 

+-- pathImportanceFunction. This functions passes arguments for priority 

+-- and current time and returns an integer that represents importance.

+fun PathImportanceFunction : Ind ComputerPathAttribute ;

+

+

+-- An instance of the class 

+-- RealtimeSystem is described as a system with Periodic_SystemBehavior 

+-- when it is activated at regular intervals.

+fun Periodic_SystemBehavior : Class ;

+fun Periodic_SystemBehavior_Class : SubClass Periodic_SystemBehavior SystemBehaviorAttribute ;

+

+-- The collection of all addresses which 

+-- identify a location of a ComputerFile.

+fun PhysicalAddress : Class ;

+fun PhysicalAddress_Class : SubClass PhysicalAddress SymbolicString ;

+

+fun Precision_FormOfAdaptation : Class ;

+fun Precision_FormOfAdaptation_Class : SubClass Precision_FormOfAdaptation FormOfAdaptationAttribute ;

+-- A device that converts computer output into 

+-- printed images.

+fun Printer : Class ;

+fun Printer_Class : SubClass Printer ComputerOutputDevice ;

+

+-- A class of attributes which describe 

+-- priorities of ComputationalSystems.

+fun PriorityAttribute : Class ;

+fun PriorityAttribute_Class : SubClass PriorityAttribute RelationalAttribute ;

+

+-- An attribute that denotes the failure of the Process to achieve 

+-- its goal.

+fun ProcessFailure : Ind ProcessStatus ;

+

+

+-- The class of all the information required 

+-- for a ComputerProgram to run on a processor. It is a vector that 

+-- contains a pointer to the next program instruction to be executed as well 

+-- as the values of all intermediate and defined variables, the state of the 

+-- processor executing the program, and the allocated address space among 

+-- other data.

+fun ProcessState : Class ;

+fun ProcessState_Class : SubClass ProcessState ContentBearingObject ;

+

+-- A class of attributes. Each instance of ProcessStatus describes a 

+-- status of a Process, such as ProcessFailure, ProcessSuccess, etc.

+fun ProcessStatus : Class ;

+fun ProcessStatus_Class : SubClass ProcessStatus RelationalAttribute ;

+

+-- An attribute that denotes the success of the Process to achieve 

+-- its goal.

+fun ProcessSuccess : Ind ProcessStatus ;

+

+

+-- A function to be performed.

+fun ProcessTask : Class ;

+fun ProcessTask_Class : SubClass ProcessTask Abstract ;

+

+-- An attribute which applies to 

+-- computer paths which handle random events, which initiate a bounded 

+-- stream of data arriving at a comment of rate, which the path must 

+-- process.

+fun QuasicontinuousPath : Class ;

+fun QuasicontinuousPath_Class : SubClass QuasicontinuousPath ComputerPathAttribute ;

+

+-- A program started by a Resource 

+-- Management program, which determines if and where to start the 

+-- application.

+fun RM_StartApplication : Class ;

+fun RM_StartApplication_Class : SubClass RM_StartApplication ComputerProgram ;

+

+-- An computer_controlled system, the 

+-- correct operation of which depends on meeting specified timing 

+-- constraints.

+fun RealtimeSystem : Class ;

+fun RealtimeSystem_Class : SubClass RealtimeSystem ComputationalSystem ;

+

+-- The class of Attributes which 

+-- describe instances of the class RealtimeSystem.

+fun RealtimeSystemAttribute : Class ;

+fun RealtimeSystemAttribute_Class : SubClass RealtimeSystemAttribute RelationalAttribute ;

+

+-- The attribute which denotes that 

+-- a program can be restarted on the same host.

+fun ReplicationsOnSameHostOK : Ind SoftwareAttribute ;

+

+

+-- This attribute applies 

+-- to real_time systems that are designed and implemented so that the system 

+-- can adapt under the control of a resource allocation manager like Desiderata.

+fun ResourceAllocation_FormOfAdaptation : Class ;

+fun ResourceAllocation_FormOfAdaptation_Class : SubClass ResourceAllocation_FormOfAdaptation FormOfAdaptationAttribute ;

+

+-- The class of resource 

+-- management programs.

+fun ResourceManagementProgram : Class ;

+fun ResourceManagementProgram_Class : SubClass ResourceManagementProgram ComputerProgram ;

+

+-- The attribute which denotes that a program 

+-- can be restarted.

+fun Restartable : Ind SoftwareAttribute ;

+

+

+-- To use the same resource again.

+fun ReusingAResource : Class ;

+fun ReusingAResource_Class : SubClass ReusingAResource ComputerProcess ;

+

+fun RingNetwork : Class ;

+fun RingNetwork_Class : SubClass RingNetwork LAN ;

+-- SatisfyingRequirements covers cases of 

+-- finding a solution that satisfies necessary conditions.

+fun SatisfyingRequirements : Class ;

+fun SatisfyingRequirements_Class : SubClass SatisfyingRequirements ProcessTask ;

+

+-- The attribute which denotes that 

+-- an application can combine its input stream from different preceding 

+-- applications or devices for greater scalability.

+fun ScalabilityCombining : Ind SoftwareAttribute ;

+

+

+-- The attribute which denotes that 

+-- a program can split its output stream to different succeeding 

+-- applications or devices for greater scalability.

+fun ScalabilitySplitting : Ind SoftwareAttribute ;

+

+

+-- The attribute which denotes that the path is 

+-- scalable, i.e. the applications in the path can be replicated to meet 

+-- realtime QoS requirements.

+fun Scalable : Class ;

+fun Scalable_Class : SubClass Scalable ComputerPathAttribute ;

+

+-- Sensors include software that measures any 

+-- attribute of executing computer programs or collections of executing 

+-- programs, such as CPU utilization, aka load, memory utilization, I/O, 

+-- overall task performance, network load and latency, etc.

+fun Sensor : Class ;

+fun Sensor_Class : SubClass Sensor ComputerHardware ;

+

+-- A computer in a network shared by multiple users. 

+-- The term may refer to both the hardware and software or just the software 

+-- that performs the service.

+fun Server : Class ;

+fun Server_Class : SubClass Server ComputationalSystem ;

+

+-- A typically small instance of 

+-- ComputerProgram whose function is to end a typically larger

+-- instance of ComputerProgram.

+fun ShutdownBlock : Class ;

+fun ShutdownBlock_Class : SubClass ShutdownBlock ComputerProgram ;

+

+-- (ShutdownFn ?Program) returns an instance of 

+-- ShutdownBlock which contains the instructions to end ?PROGRAM.

+fun ShutdownFn : El ComputerProgram -> Ind ShutdownBlock ;

+

+

+-- An attribute that describes 

+-- instances of RealtimeSystems which require a single timing requirement,

+-- either a bound for completion time for systems with 

+-- Transient_SystemBehavior or cycle deadline for systems with 

+-- Periodic_SystemBehavior.

+fun SingleRequirement_Complexity : Class ;

+fun SingleRequirement_Complexity_Class : SubClass SingleRequirement_Complexity ComplexityAttribute ;

+

+-- The attribute Slack_FormOfAdaptation 

+-- applies to real_time systems that are designed and implemented with enough 

+-- resource overhead that the system can always adapt by utilizing the overhead 

+-- without complicated decision making.

+fun Slack_FormOfAdaptation : Class ;

+fun Slack_FormOfAdaptation_Class : SubClass Slack_FormOfAdaptation FormOfAdaptationAttribute ;

+

+-- An attribute that applies to a 

+-- RealtimeSystem just in case it maximizes the number of timing 

+-- requirements like deadlines that are met but does not guarantee that 

+-- all such requirements will be met or any fixed percentage of 

+-- requirements will be met.

+fun Soft_Strictness : Class ;

+fun Soft_Strictness_Class : SubClass Soft_Strictness StrictnessAttribute ;

+

+-- The class of all attributes that are 

+-- specific to SoftwareSystems.

+fun SoftwareAttribute : Class ;

+fun SoftwareAttribute_Class : SubClass SoftwareAttribute RelationalAttribute ;

+

+-- This is the class of mutually supportive 

+-- groups of instances of ComputerProgram for a single general purpose. 

+-- For example, a database management system is a collection of many instances

+-- of ComputerProgram that work together to store, retrieve, modify, and 

+-- delete data.

+fun SoftwareSystem : Class ;

+fun SoftwareSystem_Class : SubClass SoftwareSystem (both ComputationalSystem RealtimeSystem) ;

+

+

+-- The class of all instances of Solaris , a 

+-- unix_based operating system for Sun SPARC computers. It includes the 

+-- Open Look and Motif graphical user interfaces, OpenWindows (the Sun 

+-- version of X Windows), DOS and Windows Emulation, and ONC networking.

+fun Solaris : Class ;

+fun Solaris_Class : SubClass Solaris OperatingSystem ;

+

+-- A local_area network (LAN) that uses a star 

+-- topology in which all nodes are connected to a central computer.

+fun StarNetwork : Class ;

+fun StarNetwork_Class : SubClass StarNetwork LAN ;

+

+-- A typically small instance of ComputerProgram 

+-- (a sequence of instructions that will run on a computer) whose function is 

+-- to load and initialize a typically larger instance of ComputerProgram 

+-- and start it running.

+fun StartupBlock : Class ;

+fun StartupBlock_Class : SubClass StartupBlock ComputerProgram ;

+

+-- (StartupFn ?Program) returns an instance of 

+-- StartupBlock which contains the instructions to start the ?Program.

+fun StartupFn : El ComputerProgram -> Ind StartupBlock ;

+

+

+-- The attribute which denotes that 

+-- the time between data or groups of data changes according to no 

+-- discernible pattern.

+fun StochasticDataStream : Class ;

+fun StochasticDataStream_Class : SubClass StochasticDataStream ComputerPathAttribute ;

+

+-- This is a subclass of 

+-- TimingRequirementAttribute, which includes Hard_Strictness, 

+-- Firm_Strictness, Soft_Strictness, Importance_Strictness,

+-- Utility_Strictness, and Hybrid_Strictness

+fun StrictnessAttribute : Class ;

+fun StrictnessAttribute_Class : SubClass StrictnessAttribute TimingRequirementAttribute ;

+

+-- A subclass of 

+-- RealtimeSystemAttribute, which includes the following Attributes: 

+-- Periodic_SystemBehavior, Transient_SystemBehavior, and 

+-- Hybrid_SystemBehavior.

+fun SystemBehaviorAttribute : Class ;

+fun SystemBehaviorAttribute_Class : SubClass SystemBehaviorAttribute RealtimeSystemAttribute ;

+

+-- The attribute 

+-- TaskGroup_AbstractionLevel is immediately above the attribute 

+-- Task_AbstractionLevel and can be used to describe a real_time 

+-- system or subsystem This is at the level of describing groups of 

+-- tasks which are related or connected by the real_time systems and 

+-- are typically part of a concurrently executing path.

+fun TaskGroup_AbstractionLevel : Class ;

+fun TaskGroup_AbstractionLevel_Class : SubClass TaskGroup_AbstractionLevel AbstractionLevelAttribute ;

+

+-- This is a subclass of 

+-- RealtimeSystemAttribute, which includes Independent_TaskRelation 

+-- and Dependent_TaskRelation.

+fun TaskRelationAttribute : Class ;

+fun TaskRelationAttribute_Class : SubClass TaskRelationAttribute RealtimeSystemAttribute ;

+

+-- The attribute 

+-- Task_AbstractionLevel is immediately above the attribute 

+-- Object_AbstractionLevel and can be used to describe a real_time 

+-- system or subsystem. This is at the level of describing the major 

+-- tasks that are carried out by the real_time systems and are typically 

+-- executable as individual processes. The description of a task would 

+-- consist of listing all the software objects used to perform the task.

+fun Task_AbstractionLevel : Class ;

+fun Task_AbstractionLevel_Class : SubClass Task_AbstractionLevel AbstractionLevelAttribute ;

+

+-- A subclass of 

+-- RealtimeSystemAttribute which includes ComplexityAttribute, 

+-- StrictnessAttribute, and AbstractionLevelAttribute.

+fun TimingRequirementAttribute : Class ;

+fun TimingRequirementAttribute_Class : SubClass TimingRequirementAttribute RealtimeSystemAttribute ;

+

+-- An attribute which applies to computer 

+-- paths which handle random events.

+fun TransientPath : Class ;

+fun TransientPath_Class : SubClass TransientPath ComputerPathAttribute ;

+

+-- An instance of the class 

+-- RealtimeSystem shows Transient_SystemBehavior when it is 

+-- activated by sporadic events.

+fun Transient_SystemBehavior : Class ;

+fun Transient_SystemBehavior_Class : SubClass Transient_SystemBehavior SystemBehaviorAttribute ;

+

+-- A UniformResourceIdentifier 

+-- (URI) is a compact string of characters for identifying an abstract or 

+-- physical resource. A URI can be further classified as a locator, a name, 

+-- or both (source: http://www.ietf.org/rfc/rfc2396.txt).

+fun UniformResourceIdentifier : Class ;

+fun UniformResourceIdentifier_Class : SubClass UniformResourceIdentifier ContentBearingObject ;

+

+-- The term UniformResourceLocator 

+-- (URL) refers to the subset of URI that identify resources via a 

+-- representation of their primary access mechanism (e.g., their network 

+-- location), rather than identifying the resource by name or by some other 

+-- attribute(s) of that resource (source: http://www.ietf.org/rfc/rfc2396.txt).

+fun UniformResourceLocator : Class ;

+fun UniformResourceLocator_Class : SubClass UniformResourceLocator UniformResourceIdentifier ;

+

+-- The term UniformResourceName (URN) 

+-- refers to the subset of URI that are required to remain globally unique 

+-- and persistent even when the resource ceases to exist or becomes 

+-- unavailable (source: http://www.ietf.org/rfc/rfc2396.txt).

+fun UniformResourceName : Class ;

+fun UniformResourceName_Class : SubClass UniformResourceName UniformResourceIdentifier ;

+

+-- The Unix epoch or point of reference is 00:00:00 UTC, 

+-- January 1, 1970.

+fun UnixEpoch : Ind Epoch ;

+

+

+-- An established relationship between a user and a 

+-- computer, network or information service. User accounts require a username and 

+-- password, and new user accounts are given a default set of permissions.

+fun UserAccount : Class ;

+fun UserAccount_Class : SubClass UserAccount ContentBearingObject ;

+

+-- The name a person uses to identify himself or herself 

+-- when logging onto a computer system or online service.

+fun UserName : Class ;

+fun UserName_Class : SubClass UserName SymbolicString ;

+

+-- A request made by a ComputerUser, such as 

+-- looking up a customer record.

+fun UserRequest : Class ;

+fun UserRequest_Class : SubClass UserRequest ComputerProcess ;

+

+-- A ComputerProcess which requires access to a 

+-- ComputerResource.

+fun UsingAResource : Class ;

+fun UsingAResource_Class : SubClass UsingAResource ComputerProcess ;

+

+-- A program that performs a specific task related to the 

+-- management of computer functions, resources, or files. Utility programs range 

+-- from the simple to the sophisticated, and many programmers specialize in producing 

+-- and distributing them as shareware. There are utilities that perform file and 

+-- directory management, data compression, disk defragmentation and repair, system 

+-- diagnostics, graphics viewing, and system security, for example. Many utilities 

+-- are written as memory_resident programs meant to serve as adjuncts to operating 

+-- systems. Many operating systems incorporate such popular utility functions as 

+-- undeleting, password protection, memory management, virus protection, and file 

+-- compression.

+fun Utility : Class ;

+fun Utility_Class : SubClass Utility ComputerProgram ;

+

+-- An attribute that applies to a 

+-- RealtimeSystem just in case it is designed and implemented to use 

+-- a utility_computing function, which is applied to competing timing 

+-- requirements to determine which should be met because meeting the 

+-- requirement produces higher utility as defined by the function.

+fun Utility_Strictness : Class ;

+fun Utility_Strictness_Class : SubClass Utility_Strictness StrictnessAttribute ;

+

+fun abstractionLevel : El RealtimeSystem -> El AbstractionLevelAttribute -> Formula ;

+

+-- (bandwidthOf ?NET ?BANDWIDTH) holds if 

+-- ?BANDWIDTH is the amount of data which can be sent through an instance 

+-- of a ComputerNetwork ?NET, measured in bits per second.

+fun bandwidthOf : El ComputerNetwork -> El BitsPerSecond -> Formula ;

+

+

+-- (batchInterArrival ?PATH ?TIME) 

+-- holds if ?TIME is the maximum allowable time between processing of a 

+-- particular element of a continuous or quasicontinuous path's data 

+-- stream in successive cycles.

+fun batchInterArrival : El ComputerPath -> El TimeDuration -> Formula ;

+

+

+-- (batchLatency ?PATH ?TIME)holds if ?TIME 

+-- is the maximum allowed latency for all cycles of a quasicontinuous path.

+fun batchLatency : El ComputerPath -> El TimeDuration -> Formula ;

+

+

+-- (benchmarkPerformance ?SYSTEM 

+-- ?TEST ?NUMBER) holds if ?NUMBER is a benchmark for measuring the performance 

+-- of an instance of a ComputationalSystem.

+fun benchmarkPerformance : El ComputationalSystem -> El MonitoringProgram -> El Quantity -> Formula ;

+

+

+-- (collectRate ?System ?Period) holds if ?Period is 

+-- the period at which ComputationalSystem ?System collects data.

+fun collectRate : El ComputationalSystem -> El TimeDuration -> Formula ;

+

+

+-- (commandLineArguments ?PROGRAM 

+-- ?LIST) means that the application ?PROGRAM requires command line 

+-- arguments, as specified in ?LIST.

+fun commandLineArguments : El ComputerProgram -> El List -> Formula ;

+

+

+-- (complexity ?System ?Attribute) holds if 

+-- ?Attribute is a TimingRequirementAttribute which describes the 

+-- RealtimeSystem ?System.

+fun complexity : El RealtimeSystem -> El TimingRequirementAttribute -> Formula ;

+

+

+-- (componentDataID ?TIME ?COMPONENT ?INSTANCE 

+-- ?UNIT ?NUMBER) holds if ?INSTANCE is an instance of ?COMPONENT, identified by 

+-- IDNumber ?NUMBER, and whose performance is measured by a UnitOfMeasure_ComputerPerformance ?UNIT. The timestamp ?TIME identifies the time when this 

+-- information was created.

+fun componentDataID: El TimePosition -> Desc ComputerComponent -> El ComputerComponent -> El UnitOfMeasure -> El SymbolicString -> Formula ;

+

+

+-- (computerResponseTo ?Response ?Request) means that 

+-- ?Response is a ComputerResponse to the UserRequest ?Request.

+fun computerResponseTo : El ComputerResponse -> El UserRequest -> Formula ;

+

+

+-- (computerRunning ?Process ?Computer) 

+-- means that the ComputerProcess ?Process is running on ?Computer.

+fun computerRunning : El ComputerProcess -> El Computer -> Formula ;

+

+

+-- (criticalityLevel ?PROGRAM ?INTEGER) 

+-- holds just in case ?INTEGER indicates the relative priority of ?PROGRAM 

+-- with respect to other applications within the SoftwareSystem.

+fun criticalityLevel : El ComputerProgram -> El Integer -> Formula ;

+

+

+-- (dataID ?PROGRAM ?NUMBER) holds if ?NUMBER is a small 

+-- number associated with an instance of MonitoringProgram.

+fun dataID : El MonitoringProgram -> El SymbolicString -> Formula ;

+

+

+-- The data being processed during a 

+-- ComputerProcess.

+fun dataProcessed : El ComputerProcess -> El ComputerData -> Formula ;

+

+

+-- (dataStreamSlack ?PATH ?N) means that 

+-- a continuous or quasicontinuous path ?PATH should be able to process ?N 

+-- additional data items at any time.

+fun dataStreamSlack : El ComputerPath -> El PositiveInteger -> Formula ;

+

+

+-- (defaultNetwork ?SYSTEM ?NET) holds if 

+-- ?NET is the default network of the HardwareSystem ?SYSTEM.

+fun defaultNetwork : El HardwareSystem -> El ComputerNetwork -> Formula ;

+

+

+-- if the dependency type is StartupBlock, 

+-- then (dependencyDelay ?PROGRAM ?TIME) means that the application 

+-- ?PROGRAM can only be started after a dependency delay of ?TIME after the 

+-- startup of the application. If the dependency type is ShutdownBlock, then 

+-- (dependencyDelay ?PROGRAM ?TIME) means that the application ?PROGRAM can 

+-- only be stopped after a dependency delay of ?TIME after the application 

+-- is stopped.

+fun dependencyDelay : El ComputerProgram -> El TimeDuration -> Formula ;

+

+

+-- (dependencyType ?PROGRAM ?TYPE) means 

+-- that ?PROGRAM has a dependency type ?TYPE, where ?TYPE can be either 

+-- StartupBlock or ShutdownBlock.

+fun dependencyType: El ComputerProgram -> Desc ComputerProgram -> Formula ;

+

+

+-- (designPattern ?System ?Attribute) holds 

+-- if ?Attribute is a DesignPatternAttribute which describes the 

+-- RealtimeSystem ?System.

+fun designPattern : El RealtimeSystem -> El DesignPatternAttribute -> Formula ;

+

+

+-- (directoryOf ?FILE ?DIRECTORY) means that 

+-- the ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY.

+fun directoryOf : El ComputerFile -> El ComputerDirectory -> Formula ;

+

+

+-- (environmentAttributes ?Program 

+-- ?Attribute) holds if ?Attribute is an EnvironmentSoftwareAttribute 

+-- which describes the ComputerProgram ?Program.

+fun environmentAttributes : El ComputerProgram -> El EnvironmentSoftwareAttribute -> Formula ;

+

+

+-- (formOfAdaptation ?System ?Attribute) 

+-- holds if ?Attribute is a FormOfAdaptationAttribute which describes the 

+-- RealtimeSystem ?System.

+fun formOfAdaptation : El RealtimeSystem -> El FormOfAdaptationAttribute -> Formula ;

+

+

+-- Granularity is a sub_property of the 

+-- timing requirements property of real_time systems. Granularity is 

+-- defined by how a timing requirement is specified in units of time.

+fun granularity : El RealtimeSystem -> El TimeDuration -> Formula ;

+

+

+-- (hardwareType ?TYPE ?COMPUTER) means that 

+-- TYPE represents the computer vendor model name, as well as the version 

+-- of the product.

+fun hardwareType : El SymbolicString -> El Computer -> Formula ;

+

+

+-- (hasAccount ?User ?Account) holds if ?User is 

+-- assigned the UserAccount ?Account.

+fun hasAccount : El ComputerUser -> El UserAccount -> Formula ;

+

+

+-- (hasDependency ?PROGRAM1 ?PROGRAM2) 

+-- holds if ?PROGRAM1 is dependent on the application ?PROGRAM2.

+fun hasDependency : El ComputerProgram -> El ComputerProgram -> Formula ;

+

+

+-- (heartBeatRate ?Program ?Period) holds if 

+-- ?Period is the period at which the ComputerProgram ?Program sends its heartbeat 

+-- to a monitoring process.

+fun heartBeatRate : El ComputerProgram -> El TimeDuration -> Formula ;

+

+

+-- Interference on an analog line caused by a variation 

+-- of a signal from its reference timing slots. Jitter can cause problems in the receipt 

+-- of data and any subsequent processing of that data.

+fun hostJitter : El Computer -> El ConstantQuantity -> Formula ;

+

+

+-- (hostOf ?SYSTEM ?COMPUTER) means that ?COMPUTER 

+-- is the host of the computational system ?SYSTEM.

+fun hostOf : El ComputationalSystem -> El Computer -> Formula ;

+

+

+-- (hostStatus ?Computer ?Status) means that ?Status 

+-- describes the status of the Computer, such as HostDown, HostReady.

+fun hostStatus : El Computer -> El ComputerStatus -> Formula ;

+

+

+-- The degree of sharpness of a displayed or printed 

+-- image.

+fun imageResolution : El ImageFile -> El PhysicalQuantity -> Formula ;

+

+

+-- (ipAddressOf ?HOST ?ADDRESS) holds if ?ADDRESS is the IPAddress of 

+-- the computer ?HOST.

+fun ipAddressOf : El Computer -> El IPAddress -> Formula ;

+

+

+-- In performance measurement, the current use of a 

+-- system as a percentage of total capacity.

+fun load : El ComputerComponent -> El ConstantQuantity -> Formula ;

+

+

+-- (maximumReplications ?PROGRAM ?INTEGER) means that 

+-- ?INTEGER represents the maximum number of copies of this application which can be run 

+-- during a process.

+fun maximumReplications : El ComputerProgram -> El PositiveInteger -> Formula ;

+

+

+-- (memorySize ?System ?Size) holds if 

+-- ?Size is the required memory size for the ComputationalSystem 

+-- ?System.

+fun memorySize : El ComputationalSystem -> El ConstantQuantity -> Formula ;

+

+

+-- (minimumReplications ?PROGRAM 

+-- ?INTEGER) means that ?INTEGER represents the minimum copies of the 

+-- application ?PROGRAM required to be survivable, where a program is 

+-- survivable if the failure of one or more resources does not result 

+-- in the failure of the program. Either long MTTF for the system as a 

+-- whole or short MTTR when failure occurs would improve the survivability

+-- of a program.

+fun minimumReplications : El ComputerProgram -> El PositiveInteger -> Formula ;

+

+

+-- (monitorApplicationData ?TIME 

+-- ?APPLICATION) holds if the time stamp ?TIME specifies the time at which 

+-- ?APPLICATION is running.

+fun monitorApplicationData : El TimePosition -> El ComputerProgram -> Formula ;

+

+

+-- (monitorComponentData ?TIME ?ID 

+-- ?NUMBER) holds if at time ?TIME, a component with the IDNumber ?ID 

+-- has a performance of a value ?NUMBER.

+fun monitorComponentData : El TimePosition -> El SymbolicString -> El RealNumber -> Formula ;

+

+

+-- (monitorConnectivityData ?TIME 

+-- ?IPADDRESS) is a relation between a timestamp ?TIME and an ?IP address.

+fun monitorConnectivityData : El TimePosition -> El IPAddress -> Formula ;

+

+

+-- (numberOfCPUs ?COMPUTER ?INTEGER) means 

+-- that the number of CPUs for the host ?COMPUTER is equal to INTEGER.

+fun numberOfCPUs : El Computer -> El PositiveInteger -> Formula ;

+

+

+-- (password ?Password ?User) means that ?Password is 

+-- the password the ComputerUser uses while logging onto a computer system.

+fun password : El ComputerUser -> El ComputerPassword -> Formula ;

+

+

+-- (performanceResult ?EVENT ?COMPONENT 

+-- ?NUMBER) holds if the performance of ?COMPONENT has a value ?NUMBER, 

+-- measured by ?EVENT, an instance of MeasuringPerformance.

+fun performanceResult : El MeasuringPerformance -> El ComputerComponent -> El RealNumber -> Formula ;

+

+

+-- (portNumber ?PROGRAM ?NUMBER) holds if ?NUMBER identifies a protocol 

+-- port, i.e. a TCP_IP software abstraction used to distinguish different applications providing 

+-- services within a single destination computer. The different ports on a host are identified by a 

+-- positive 16_bit number.

+fun portNumber : El ComputerProgram -> El PositiveInteger -> Formula ;

+

+

+-- (priority ?SYSTEM ?QUANTITY) means that the 

+-- priority of the ?SYSTEM is characterized by a PriorityAttribute, such 

+-- as HighPriority or LowPriority.

+fun priority : El ComputationalSystem -> El PriorityAttribute -> Formula ;

+

+

+-- (processAborted ?Abort ?Process) means 

+-- that the ComputerProcess ?Process is aborted as the result of ?Abort.

+fun processAborted : El Abort -> El ComputerProcess -> Formula ;

+

+

+-- (processID ?PROCESS ?NUMBER) holds if ?NUMBER is a unique number 

+-- generated by the operating system and used to refer to the ComputerProcess ?PROCESS. There 

+-- is usually no significance to the numbers as they are reused as old processes die and new processes 

+-- are created.

+fun processID : El ComputerProcess -> El PositiveInteger -> Formula ;

+

+

+-- The arguments of this relation are data 

+-- structures, each of which contains the information necessary for the 

+-- process already loaded by the operating system to execute on a processor.

+fun processList : [El Entity] -> Formula ;

+

+

+-- (productModel ?Model ?Product) means that 

+-- ?Model represents the type of the Product ?Product

+fun productModel : El SymbolicString -> El Product -> Formula ;

+

+

+-- (programCopy ?File ?Program) means that 

+-- the ComputerFile ?File is one of the copies of the ComputerProgram 

+-- ?Program.

+fun programCopy : El ComputerFile -> El ComputerProgram -> Formula ;

+

+

+-- (programRunning ?Process ?Program) 

+-- means that the ComputerProcess ?Process is executing the 

+-- ComputerProgram ?Program.

+fun programRunning : El ComputerProcess -> El ComputerProgram -> Formula ;

+

+

+-- (qoSSlack ?PATH ?MIN ?MAX) holds if ?PATH 

+-- has a realtime QoS maximum slack percentage of ?MAX and minimum of 

+-- ?MIN.

+fun qoSSlack : El ComputerPath -> El ConstantQuantity -> El ConstantQuantity -> Formula ;

+

+

+-- (rMProgram_of ?RM ?SYSTEM) means that 

+-- ?RM is the resource management program of the SoftwareSystem ?SYSTEM.

+fun rMProgram_of : El ResourceManagementProgram -> El SoftwareSystem -> Formula ;

+

+

+-- (requestRate ?Request ?Period) means that 

+-- ?Period is the period at which the user sends its ?Request.

+fun requestRate : El UserRequest -> El TimeDuration -> Formula ;

+

+

+-- (resourceUsed ?Process ?Resource) means that the 

+-- ComputerProcess ?Process has access to the ComputerResource ?Resource.

+fun resourceUsed : El ComputerProcess -> El ComputerResource -> Formula ;

+

+

+-- (responseRate ?Response ?Period) means 

+-- that ?Period is the period at which the computer sends its ?Response.

+fun responseRate : El ComputerResponse -> El TimeDuration -> Formula ;

+

+

+-- The time it takes for the computer to comply 

+-- with a user's request, such as looking up a customer record.

+fun responseTime : El UserRequest -> El TimeDuration -> Formula ;

+

+

+-- (runningOn ?Program ?Computer) holds if the 

+-- ComputerProgram ?Program is being executed on ?Computer.

+fun runningOn : El ComputerProgram -> El Computer -> Formula ;

+

+

+-- (runsOn ?Program ?Computer) means that ?Program 

+-- is capable of running on ?Computer.

+fun runsOn : El ComputerProgram -> El Computer -> Formula ;

+

+

+-- (sendRate ?Program ?Period) holds if ?Period is the 

+-- period at which the ComputationalSystem ?System sends data reports.

+fun sendRate : El ComputationalSystem -> El TimeDuration -> Formula ;

+

+

+-- (settlingTime ?PROGRAM ?TIME) says that 

+-- ?TIME represents seconds to delay after an action was taken with respect 

+-- to QoS.

+fun settlingTime : El ComputerProgram -> El TimeDuration -> Formula ;

+

+

+-- (shutdownOf ?SHUTDOWN ?PROGRAM) holds just 

+-- in case an instance of ShutdownBlock ?SHUTDOWN specifies a set of 

+-- instructions to end ?PROGRAM.

+fun shutdownOf : El ShutdownBlock -> El ComputerProgram -> Formula ;

+

+

+-- (simpleDeadline ?PATH ?TIME)holds if 

+-- ?TIME is the maximum end_to_end path latency during a cycle of a 

+-- continuous or quasicontinuous path or during the activation of a transient 

+-- path.

+fun simpleDeadline : El ComputerPath -> El TimeDuration -> Formula ;

+

+

+-- (slidingWindowSize ?PATH ?N) holds 

+-- if PATH has a realtime QoS sliding window size of ?N measured samples.

+fun slidingWindowSize : El ComputerPath -> El PositiveInteger -> Formula ;

+

+

+-- (softwarePath ?SYSTEM ?PATH) means that 

+-- ?PATH is a computer path for the instance of SoftwareSystem ?SYSTEM.

+fun softwarePath : El SoftwareSystem -> El ComputerPath -> Formula ;

+

+

+-- (standardErrorDevice ?PROGRAM 

+-- ?DEVICE) holds just in case the DEVICE is the predefined error channel

+-- with which the running version of this program is initialised.

+fun standardErrorDevice : El ComputerProcess -> El ComputerOutputDevice -> Formula ;

+

+

+-- (standardInputDevice ?PROCESS 

+-- ?DEVICE) holds just in case the DEVICE is the predefined input channel

+-- with which the running version of the program PROCESS is initialised.

+fun standardInputDevice : El ComputerProcess -> El ComputerInputDevice -> Formula ;

+

+

+-- (standardOutputDevice ?PROGRAM 

+-- ?DEVICE) holds just in case the DEVICE is the predefined output channel 

+-- with which the running version of this program is initialised.

+fun standardOutputDevice : El ComputerProcess -> El ComputerOutputDevice -> Formula ;

+

+

+-- (startupOf ?STARTUP ?PROGRAM) holds just in 

+-- case an instance of StartupBlock ?STARTUP specifies a set of instructions 

+-- to start the ?PROGRAM.

+fun startupOf : El StartupBlock -> El ComputerProgram -> Formula ;

+

+

+-- (startupTimeDelay ?PROGRAM ?TIME) 

+-- says that ?TIME is the time to delay after the previous application 

+-- was started before starting the application ?PROGRAM.

+fun startupTimeDelay : El ComputerProgram -> El TimeDuration -> Formula ;

+

+

+-- (stateOfProcess ?PROCESS ?STATE) says 

+-- that ?STATE is a state of the ComputerProcess ?PROCESS.

+fun stateOfProcess : El ComputerProcess -> El ProcessState -> Formula ;

+

+

+-- (status ?PROCESS ?STATUS) holds if ?STATUS is the current status of ?PROCESS.

+fun status : El ComputerProcess -> El ProcessStatus -> Formula ;

+

+

+-- (strictness ?System ?Attribute) holds if 

+-- the StrictnessAttribute ?Attribute describes the RealtimeSystem 

+-- ?System.

+fun strictness : El RealtimeSystem -> El StrictnessAttribute -> Formula ;

+

+

+-- (systemBehavior ?System ?Attribute) 

+-- holds if ?Attribute is a SystemBehaviorAttribute which describes the 

+-- RealtimeSystem ?System.

+fun systemBehavior : El RealtimeSystem -> El SystemBehaviorAttribute -> Formula ;

+

+

+-- (systemMeasured ?Event ?System) means that 

+-- ?Event is an event of measuring the performance of the ComputationalSystem 

+-- ?System.

+fun systemMeasured : El MeasuringPerformance -> El ComputationalSystem -> Formula ;

+

+

+-- (task ?Process ?Task) means that ?Task is a function to 

+-- be performed by the ComputerProcess ?Process.

+fun task : El ComputerProcess -> El ProcessTask -> Formula ;

+

+

+-- (taskRelation ?System ?Attribute) holds 

+-- if ?Attribute is a TaskRelationAttribute which describes the 

+-- RealtimeSystem ?System.

+fun taskRelation : El RealtimeSystem -> El TaskRelationAttribute -> Formula ;

+

+

+fun thresholdOf : El Computer -> El PositiveRealNumber -> Formula ;

+

+-- (unitMeasuringPerformance ?COMPONENT 

+-- ?UNIT) holds in case ?UNIT is an instance of UnitOfMeasure which is used to 

+-- measure the performance of ?COMPONENT.

+fun unitMeasuringPerformance : El ComputerComponent -> El UnitOfMeasure -> Formula ;

+

+

+-- (userName ?Name ?User) means that ?Name is the name 

+-- the ComputerUser uses to identify himself or herself when logging onto a 

+-- computer system.

+fun userName : El ComputerUser -> El UserName -> Formula ;

+}