Information Technology Reference
In-Depth Information
incoming and outgoing signals (see Section 3.1), and the latter on shared
SAttributes
(see Section 3.3.1); (ii) the setting of both
AAct
Execution
Settings
and related
AAct
types
which have to ensure compliance with the
Composition
Rules
of the correspond-
ing
Tasks
. Moreover,
AAct Execution Settings
and related
AAct types
should also be
set to guarantee intra and inter-agent
AAct
interleavings (see Section 3.3.1) which
adhere to the simulation scenarios under consideration.
The QVT/R-based representation of the above introduced mapping rules is exem-
plified in Figure 5 where the rule R2 for transforming an Agent into an
SAgent
is
reported by using the QVT/R graphical notation [33].
AgentToSAgent
<<do main>>
<<domain>>
a: A gent
ins t anc es = x
sa: SAgent
c
i
m :C
I
MM
pim :PIMM
C
E
p: Property
pname = pn
pvalue = pv
b: Behavior
ag: AGroup
sat: SAttribute
at na me = pn
atvalue = a v
whe n
CIMto PIM( cim, pim)
whe r e
PropertyToSAttribute(p, sat)
Behavio rToAGroup(b, ag)
Fig. 5.
The QVT/R graphical notation: rule R2
3.3.3 Mapping from CIM to PIM Metamodels: Guidelines
Beside the above introduced
mapping rules
among concepts of the source and target
metamodels, further support for CIM to PIM transformation can be provided through
guidelines
which take into account not only the different abstraction level of the con-
cepts in the metamodels but also the main aspects related to the simulation execution
model of an AMF-based PIM (see Section 3.3.1). In particular, these
guidelines
pro-
pose viable solutions for guiding the choice among the mapping alternatives which
often characterize the transformation process from a conceptual level (CIM) to a less
abstract level (PIM) typically relying on a simulation execution model. In the follow-
ing some of these
guidelines
are proposed and exploited in Section 4:
G1.
A set of
Tasks
of an
Agent
which, according to the
Composition Task Rules
, can
be grouped in a sequence of
Tasks
and in which
Tasks
are related by
Actions
of the
Interaction
type (i.e. the involved
Tasks
send/receive messages to/from the other
Tasks
in the sequence) can be mapped in a single
AAct
of an
SAgent
. The interactions
among the involved
Tasks
are then modeled by accessing and modifying the properly
introduced
SAttributes
of the
SAgent
.
G2.
In case of
Tasks
which should be executed at the same simulation steps, the
Execution Setting
of the resulting
AActs
must have the same
startingTime
and
period
whereas
priorities
must be properly set according to the task organization specified by
the
Composition Task Rules
.
G3.
The
SAttributes
of an
SContext
should be properly defined not only for mapping
the
Properties
of the corresponding
Society
but also for supporting interactions among
different
SAgents
belonging to the
SContext
.
Search WWH ::
Custom Search