Ad/2010-08-01 Concrete Syntax for a uml action Language for Foundational uml (Alf) Second Revised Submission
Download 1.74 Mb.
|
- Navigate this page:
- 3Normative References
- 4Terms and Definitions
- 5Symbols
- 6.1Integration with UML Models
2.3Additional Conformance PointsThere are two additional mandatory conformance points for this standard.
3Normative ReferencesThe following normative documents contain provisions which, through reference in this text, constitute provisions of this specification.
NOTE. Alf is based on UML 2.4 because this version of the UML specification includes some corrections to abstract syntax constraints that are important for the static semantic analysis of Alf. However, fUML v1.0 is still based on UML 2.3. Fortunately, the subset of the UML 2.3 abstract syntax included in fUML did not change structurally in UML 2.4 and, therefore, the fUML semantics can be applied directly to the similar subset of UML 2.4. Nevertheless, it is expected that fUML v1.1 will be based on UML 2.4 and remove any discrepancy. 4Terms and DefinitionsExecution Semantics For the purposes of this specification, the behavioral semantics of UML constructs that specify operational action over time, describing or constraining allowable behavior in the domain being modeled. (From the fUML Specification.) Execution Tool Any tool that is capable of executing any valid UML model that is based on the foundational subset and expressed as an instantiation of the UML 2.0 abstract syntax metamodel. This may involve direct interpretation of UML models and/or generation of equivalent computer programs from the models through some kind of automated transformations. Such a tool may also itself be concurrent and distributed. (From the fUML Specification.) Foundational Subset The subset of UML to which execution semantics are given in order to provide a foundation for ultimately defining the execution semantics of the rest of UML. (From the fUML Specification.) Modeling Environment A user environment provided by a modeling tool that allows for the creation and modification of a UML model. In a modeling tool that is an execution tool, the modeling environment may also allow for direct execution of the model. Modeling Tool Any tool that allows for the creation and management of UML models. A modeling tool that allows those models to be executed is also an execution tool. 5SymbolsThere are no symbols or abbreviated terms necessary for the understanding of this specification. 6OverviewAn Alf input text is a concrete representation for UML model elements in the Foundational UML (fUML) abstract syntax subset (see fUML Specification, Clause 7). Such an input text may be part of a wider UML model only parts of which are represented in Alf, or it may be the representation of an entire model in its own right. In either case, this specification defines how concrete Alf input text is processed into an abstract syntax representation of UML model elements. 6.1Integration with UML ModelsThe UML Superstructure specification defines the standard graphical and textual notations used to express a UML model. In this context, Alf can be used as an alternative textual notation to represent portions of the overall model. There are four ways in which Alf may be so used.
Since an Alf text can be processed into a UML abstract syntax representation, a portion of a model represented in Alf can always be integrated into a larger model on that basis (as noted above), regardless of the surface representation of any portion of the model. Nevertheless, even when such compilation is done, it will generally still be desirable to also store the original Alf text in the model, since it would not otherwise be possible to exactly reproduce that text (with user formatting, etc.) from the model representation. This is done by attaching a comment to the top-level element resulting from the processing of an Alf model unit with the Alf text for the unit as the body of the comment and the applied stereotype «TextualRepresentation» with tagged value {language = "Alf"}. This stereotype is from the standard ActionLanguage profile defined in Subclause 11.1. Directory: spec spec -> Illinois state board of education spec -> Volume Ⅴ (2015) On The 2015 China Victory Day Parade spec -> General information spec -> Topeka capital-journal spec -> P-8153 Frederick Tilp II (upper right) with plumbers who worked for him spec -> Catalog of My Wine Library Thomas Pinney Claremont, California 2004 note spec -> Unique 00225 Mobile Barrier (2015 Specifications: 12-04-14) spec -> Annual Conference " Initium Novum" spec -> Petroleum Development Oman L. L. C. Document Title: Specification for hse cases Download 1.74 Mb. Share with your friends:
|