Professional Documents
Culture Documents
Assistant professor
Department of Computer Science, University of Management & Technology.
Customer
Deliverables:
Model
FDR2 program
4. Call queue
refactoring process for going
from SCOOP to
FDR2
design decisions
14 The picture can't be display ed.
MOF Action Semantics
Case study not discussed in paper.
Customer: “Extend Meta-Object Facility (MOF) and its supporting
tools to capture behaviour.”
Motivation for this was to improve consistency checking of MOF-
based languages, such as UML.
Initial set of requirements:
Need to capture actions, and do intra-model consistency checking (eg.,
between class and communication diagrams)
Iteration 1 produced a partial semantics and a partial
implementation using UML2MOF.
Refined requirements then asked for coverage of events and object
lifecycles, as well as standalone tool support.
Iteration 2 produced a semantics, navigation language, and
consistency checking tool, as well as a process to use them.