Dokument 1 - RWTH Aachen University

A.1 Architekturmodell 225
Class InterModelAssertion in ObjectType isA ModelAssertion with
attribute,single,necessary
intensional: Boolean
constraint
interModel:
$ forall a/InterModelAssertion l,r/ConceptRelationship m1,m2/Model
(a left l) and (a right r) and (l refersTo m1) and (r refersTo m2)
==> not (m1 == m2) $
end
A.1.6 Erweiterung der logischen Perspektive
Relation with
attribute
hasAdornedQuery : AdornedQuery
constraint
all_value_Adornment_constraint :
$ forall r/Relation aq/AdornedQuery i,a/Integer (r arity a) and
(r hasAdornedQuery aq) and (i (exists vc/ValueConstraint
(aq hasAdornment vc) and (vc variable i)) $;
onlyConceptRelationship&Attrib_name :
$ forall r/Relation a/AdornedQuery dq/DisjunctiveQuery
cq/ConjunctiveQuery c/Conjunct (r hasAdornedQuery a) and
(((a hasBody dq) and (dq disjunct cq)) or (a hasBody cq))
and (cq containsSyntactically c) ==> (c in ConceptRelationship)
or (c in Attrib_name) $
end
Class DWRelation in ObjectType isA Relation with
attribute
hasMediator : Mediator
end
Class AdornedQuery in ObjectType isA LogicalObject with
attribute, necessary,single
hasBody : Query
attribute,necessary
hasAdornment : Adornment
end
Class Adornment in ObjectType isA LogicalObject with
constraint
unionAdornment:
$ forall a/Adornment (a in ValueConstraint) or (a in Identify) $;
xorAdornment:
$ forall v/ValueConstraint not (v in Identify) $
end
Class ValueConstraint in ObjectType isA Adornment with
attribute,single,necessary
variable : Integer;
value : Domain
end
Class Identify in ObjectType isA Adornment with
attribute, necessary
ident : Integer
attribute,single,necessary