Questions for the OMG OCUP2 ADV300 were updated on : Nov 21 ,2025
Choose the correct answer :
Which statement defines Alf Input text?
A
Explanation:
Alf (Action Language for Foundational UML) is essentially a textual notation for UML behaviors that
can be attached to a UML model in any place where a UML behavior can be specified. Alf Input text
serves as a concrete representation for UML model elements within the fUML, allowing for
behavioral modeling using a textual surface notation.
This facilitates a model-driven process capable
of generating fully executable source code, thus integrating structural modeling with behavioral
modeling12
.
Alf allows for detailed behavioral specification in a textual form as opposed to the more
cumbersome graphical activity diagram notation, making it a practical tool for specifying the
operational behavior of a system within the UML framework2
.
Choose the correct answer :
Which concept is used in AN to represent a model element such as a class or an activity?
C
Explanation:
In UML, the concept used to represent a model element such as a class or an activity is known as a
Classifier.
A Classifier in UML is a term that categorizes a group of model elements that have similar
structural features, which include attributes and associations, and similar behavioral features, which
include operations and methods1
.
The term applies not only to specific UML model elements but to
all classifiers, encompassing a variety of elements such as classes, components, interfaces, and even
activities1
.
For instance, a class is a classifier because it describes a set of objects with similar properties
(attributes), common behavior (operations), common relationships to other objects, and common
semantics.
An activity, which is a behavior, can also be considered a classifier because it describes a
sequence of actions or flow of control and data1
. Therefore, the correct answer is C. Classifier, as it is
the overarching concept that includes both structural and behavioral elements within UML.
Choose the correct answer :
Which input element does lexical analysis of Action Language for Foundational UML text discard?
D
Explanation:
During the lexical analysis of Action Language for Foundational UML (fUML) text, whitespace (such as
spaces, tabs, and line breaks) is discarded.
The lexical analysis focuses on identifying meaningful
tokens (such as keywords, identifiers, and operators) while ignoring whitespace, which does not
contribute to the semantics of the language2
.
Choose the correct answer :
Which statement is correct about the compiled model resulting from Alt text?
D
Explanation:
The compiled model resulting from the Action Language for Foundational UML (fUML) must have the
equivalent effect as a model resulting from the mapping to fUML.
In other words, the compiled
model should behave in the same way as if it were directly executed using the fUML execution
semantics
Choose the correct answer :
How are the execution semantics of Alf defined?
D
Explanation:
The execution semantics of Alf (Action Language for Foundational UML) are defined by mapping the
concrete syntax of Alf to the abstract syntax of fUML3
.
Alf provides a textual surface representation
for a subset of UML model elements, and its main benefit is an execution semantics that allows for
the generation of executable code out of Alf specifications4
. This mapping ensures that Alf can be
used to specify behavior in a way that is directly executable in the context of an fUML model.
Choose the correct answer :
In fUML. how must an execution model be modeled?
C
Explanation:
In fUML (Foundational UML), an execution model must be modeled as an Activity.
fUML is a subset
of UML that includes the ability to model behavior using UML activities, which are composed of a
rich set of primitive actions1
.
Activities in fUML represent the executable aspects of a model and
define the flow of control and data2
. They are the primary means for specifying the detailed
procedural logic of the behavior of a system within fUML.
Choose Ihe correct
answer:
Which statement is true about fUML?
A
Explanation:
fUML (Foundational UML) is a subset of the standard Unified Modeling Language (UML) that includes
standard, precise execution semantics. This subset encompasses typical structural modeling
constructs of UML such as classes, associations, data types, and enumerations, as well as the ability
to model behavior using UML activities composed from a set of primitive actions.
Therefore, a model
constructed in fUML is executable in the same sense as a program in a traditional programming
language, but with the level of abstraction and richness of expression of a modeling language2
.
Choose the correct answer : What is the scope of fUML?
D
Explanation:
The scope of fUML (Foundational UML) is to define execution semantics for a subset of the UML 2
metamodel that provides a shared foundation for higher-level UML modeling concepts.
This includes
the precise definition of the execution semantics of that subset, which is intended to be used by a
wide range of system types, including physically distributed and concurrent systems without
assumptions about global synchronization1
.
Choose the correct answer :
What is a reason for fUML lo be compact?
A
Explanation:
The reason for fUML to be compact is to facilitate the definition of clear semantics. A smaller, more
focused subset of UML allows for a more precise and unambiguous specification of the execution
semantics.
This clarity is essential for ensuring that models are executed consistently and as intended
across different tools and platforms2
. The compact nature of fUML helps in achieving this goal by
limiting the scope to the essential elements necessary for execution, thereby reducing complexity
and potential for misinterpretation.
Choose the correct answer :
What does "computationally complete" mean in the context of fUML?
C
Explanation:
The term “computationally complete” in the context of fUML refers to a subset of UML that is
expressive enough to define models that can be executed automatically by a computer using an
execution tool.
This means that the subset includes all the necessary elements and constructs to
specify the behavior of a system in a way that can be understood and run by a machine without
further interpretation
Choose the correct answer :
What is correct about the modeling of individual things with UML?
D
Explanation:
In UML, modeling individual things (such as instances) involves making statements about them. Here
are the details for each option:
A . A UML Model can contain individual things (e.g. Instances) UML does not prescribe the level of
detail to be used in the description.
This statement is partially correct. UML models can indeed contain individual things (instances), but
the level of detail is not explicitly prescribed by UML. However, the statement does not cover the
possibility of incomplete or imprecise information.
B . A UML Model can contain statements about individual things If a thing is an instance of a
Classifier, these statements must be consistent (all mandatory Properties must be defined, all
Constraints must be satisfied).
While it is true that a UML model can contain statements about individual things (instances), the
requirement for consistency (mandatory properties and constraints) is not explicitly mentioned in
UML. Therefore, this option is not entirely accurate.
C . A UML Model can contain statements about individual things These statements can be
incomplete, imprecise, and abstract, but not wrong.
This statement is also partially correct. UML allows for incomplete, imprecise, and abstract
statements about individual things. However, it does not guarantee that these statements cannot be
wrong.
D . A UML Model can contain statements about individual things. These statements can be
incomplete, imprecise, abstract, may turn out to be wrong, or even be asserted as counterfactual.
This option provides a more accurate representation. UML allows for statements about individual
things that can be incomplete, imprecise, abstract, and even potentially incorrect. It acknowledges
the uncertainty and variability in modeling individual things.
E . A UML Model can only contain statements about sets of individual things (e.g. Classifiers).
This statement is incorrect. UML models can contain statements about both individual things
(instances) and sets of things (classifiers).
Reference:
UML 2.5.1 Specification
While the UML specification does not explicitly state the options, it provides the foundation for UML
modeling principles and allows for flexibility in expressing statements about individual things.
Remember that UML is a modeling language, and its primary purpose is to capture and communicate
information about systems and their components. The level of detail, precision, and correctness can
vary based on the modeling context and the specific use case. Therefore, option D best reflects the
UML approach to modeling individual things.
Please note that the information provided here is based on UML 2.5.1, and it’s essential to consult
the official UML specification for the most accurate and up-to-date details.
Choose the correct answer :
What is true about a MOF 2.x Model?
B
Explanation:
A MOF (Meta Object Facility) 2.x Model is not always a valid UML (Unified Modeling Language) 2.x
Model. The MOF 2.x and UML 2.x serve different purposes and have different scopes of
application.
While UML is a general-purpose modeling language used to define software systems,
MOF is a language for defining metamodels, which can include UML itself1
.
The MOF 2.x specification provides the basis for metamodel definition in OMG’s (Object
Management Group’s) family of modeling languages, which includes UML.
However, it is based on a
simplification of UML 2’s class modeling capabilities1
.
MOF is designed to be simpler, directly
implementable, and provides a set of CORBA interfaces for manipulating meta objects2
.
In contrast,
UML is used as a general-purpose modeling language with potentially many implementation
targets2
.
Therefore, a MOF 2.x Model can be a valid UML 2.x Model when certain limitations are observed,
such as adhering to the simplified class modeling capabilities that MOF is based on.
This means that
while a MOF model can resemble a UML model in terms of visual representation, it is fundamentally
a MOF model, and its validity as a UML model depends on the extent to which it conforms to the
UML specifications
Choose the correct answer :
What is the main purpose of the concept of Extent in MOF?
B
Explanation:
The concept of Extent in MOF serves the purpose of defining a set of Tags that can be associated with
any number of model elements. These tags provide additional information or metadata about the
elements. Extent allows you to annotate model elements with relevant information beyond their
intrinsic properties. It provides a context for identifying and managing these annotations
independently from the element’s actual values.
Reference:
Meta-Modeling and the OMG Meta Object Facility (MOF)
About the Meta Object Facility Specification Version 2.5.1
Semantics, Metamodels, and Ontologies | SpringerLink
Choose the correct answer :
Which capability enables the discovery and manipulation of metaobjects and metadata''
C
Explanation:
The capability that enables the discovery and manipulation of metaobjects and metadata
is Reflection. In the context of the Meta-Object Facility (MOF), reflection allows you to examine and
interact with the structure and semantics of metamodels, models, and their elements. It provides a
way to introspect and dynamically access information about the modeling constructs, such as classes,
attributes, relationships, and constraints.
Reference:
Meta-Object Facility - Wikipedia
Choose the correct answer : What is the value of EMOF?
D
Explanation:
The value of Essential MOF (EMOF) lies in its ability to provide a straightforward framework for
mapping MOF models to implementations such as XML Metadata Interchange (XMI) for simple
metamodels2
. This allows for easier integration and manipulation of MOF models in various
platforms and tools.