25. Glossary

image_pdfimage_print

In this chapter, we shortly describe the main terms used in this book with references to the relevant sections in the book.

The rightmost column is supposed to contain a link to the part(s) of the book where the term is introduced. It is currently incomplete.

TermExplanationReferences
Access modifiersSupplementary properties that restrict access to attributes of an object including %public, %private, %protected, %package_boundary and %package.
Action The accomplishment of creating/destroying physical phenomena and/or changing properties of physical phenomena in a domain.
Atomic operationAn operation that cannot be interrupted while it is being executed. 
Active objectAn object that performs computations of its own: a program object, a coroutine or parallel object. An object that includes statements that are executed as part of the generation of the object, is not considered an active object.
ActivityA partial ordered sequence of actions.
Attribute A local data-item, method, or class of an object.
Attribute accessorAn expression that describes access to an attribute of a specific object.
Actual parameterIf the formal parameter is a data-item, then an actual parameter is the value of an expression assigned to the formal parameter at the invocation of a method or instantiation of a class.
If the formal parameter is a virtual method or virtual class, then an actual parameter is a binding of the virtual.
ArgumentAlternative term for actual parameter.
ClassA template for objects with identical structure.
Class instantiationThe action of generating an object from a class, and executing its statements.
Similar to method invocation.
Control structure abstraction,
control abstraction
Alternative term for a control method.
Control flowThe order in which the operations of a program are performed. It determines how a program moves from one operation to another based on the state of the objects.
Control structureA statement that specifies the order of execution of other statements based on state of the objects and thus controls the control flow of a program.
Control structure method,
Control method
A method that defines a control structure.
ComputationA partial ordering of operations executed by a computer.
CoroutineShorthand for coroutine object
Coroutine objectAn active object that represents an activity that may be suspended and later resumed at the point of suspension.
Data-itemA constant or variable object reference or value object.
DatumA piece of information that may be a value or an object reference.
DeclarationA description of a constant or variable data-item in an object descriptor or method descriptor.
DerivedAn object descriptor and class is said to be derived from its superclass.
Direct superclassThe direct superclass is the class from which the class/singular object is explicitly derived as specified in the object descriptor for the class/singular object
Se også 8.1.4
ExpressionA description/syntactic element that describes a computation of a value.
Formal parameterA formal parameter of a method or class may be a variable data-item or a virtual method or virtual class.
Se also actual parameter.
FunctionA method that computes a value solely based on the values of its parameters. It does not read or modify data-items in its enclosing object or other objects.
Ghost objectAn object that is used solely for the purpose of explaining a given programming language mechanism.
IdentityA physical phenomena has an identity. Physical phenomena are distinct which means that they have different identities.
InheritanceAn alternative term for the subclass mechanism.
ItemA declaration or a statement in an object-descriptor.
Intrinsic objectAn object that is a declared using obj, is generated as part of the generation of the object containing the declaration and exists during the lifetime of this object.
InvokerThe object (class object or method object) executing the method invocation that generates a given method object – the invokee.
InvokeeThe method object being generated as part of a method invocation executed by an object or method object – the invoker.
MainpartThe items defined in an object-descriptor excluding the direct superclass.
MethodA template for computations with identical structure.
Method generationThe computation of generating a method object; includes generation of possible data-items and assignments of possible parameters.
Similar to object generation.
Method invocationThe computation of a method generation from a method description, followed by execution of its statements.
Similar to object instantiation
Method objectAn object created from a method.
ModuleAn object descriptor for a singular object that is organized in the qBetaWorld hierarchy and mapped to a folder and file in the filesystem.
Object Objects are the basic, physical entities that exist in computers; objects are the building blocks of computational processes.
An object has variable and/or constant datums, part-objects, classes, methods, and a computation part.
A material objects has in addition an identity.
A method objects does not have an identity.
Object-descriptorA description of the structure of an object consisting of a possible superclass, and possible items.
Object generationThe computation of generating an object; includes generation of possible data-items and assignments of possible parameters.
Similar to method generation.
Object instantiationThe computation of an object generation from a object descriptor, followed by execution of its statements.
Similar to method invocation.
Object referenceA data-item that may hold a reference to an object. See also Reference.
OperationAn action executed by a computer.
Parallel objectAn active object that executes actions in parallel with other parallel objects.
ParameterShorthand for formal parameter. See also actual parameter and argument.
ProgramA module that is intended for execution.
ReferenceShort-hand for object-reference.
ScopeThe part of the qBetaWorld where a given name is visible.
Singular objectAn object that is one of its kind and not an instance of a class.
Singular method objectA method object that is one of its kind and not an instance of a method.
StatementA description of an activity (action?) in an object-descriptor.
StructureShorthand for object structure.
SubclassA class that is derived from another class – its direct superclass, and inherits attributes and statements from the superclass.
SuperclassA class from which other classes are derived. See also direct superclass.
SubmethodA method that is derived from another method – its direct supermethod, and inherits attributes and statements from the supermethod.
SupermethodA method from which other methods are derived.
TypeA concept that covers a class of values. This is a simplified defintion of a type intended for programming – the mathematical concept of a type is much more complicated and exists in different variants.
ValueA mathematical entity like a number, point, polygon, etc.
Value objectAn object that is an instance of a subclass of class Value; the object is embedded in a holding object and intended for representing a value.
Value typeA class that is a subclass of class Value. See also Type.