Information AboutMeta-modeling |
| CATEGORIES ABOUT METAMODELING | |
| software engineering | |
| systems engineering | |
|
Most general, metamodeling or '''meta-modeling''' is the analysis, construction and development of the frames, rules, constraints, models and theories applicable and useful for the modeling in a predefined class of problems. This concept definition is composed with the notions of the terms Meta- and Modeling . OVERVIEW For the reason of the meta character of metamodeling, this activity and metamodels are the domain of interest of metascience, Metaphilosophy , Metatheories and Systemics , as well as, are related to meta-consciousness. From the computational perspective, this concept is used in Mathematics , and is practically applied in Computer Science and Computer Engineering / Software Engineering , what mainly is illustrated in this article. In Computer Science and related disciplines, metamodeling is the construction of a collection of "concepts" (things, terms, etc.) within a certain domain. A Model is an abstraction of phenomena in the real world, and a metamodel is yet another abstraction, highlighting properties of the model itself. This model is said to conform to its metamodel like a program conforms to the grammar of the programming language in which it is written. Common uses for metamodels are:
TOPICS IN METAMODELING Definition The following discussion can be viewed as a detailed application of Metamodeling techniques, related to Model Driven Engineering . In data engineering and software engineering, the use of Model s is more and more recommended. This should be contrasted with the classical code-based development techniques. A model always conforms to a unique Metamodel . One of the currently most active branch of Model Driven Engineering is the approach named Model-driven Architecture proposed by OMG . This approach is based on the utilization of a language to write metamodels called the Meta Object Facility Or MOF . Typical metamodels proposed by OMG are UML , SysML , SPEM or CWM. ISO has also published the standard metamodel ISO/IEC 24744. All the languages presented below could be defined as MOF Metamodels . Metadata modeling Metadata Modeling is a type of metamodeling used in Software Engineering and Systems Engineering for the analysis and construction of models applicable and useful some predefined class of problems. Model Transformations One important move in Model Driven Engineering is the systematic use of Model Transformation Language s. The OMG has proposed a standard for this called QVT for Queries/Views/Transformations. QVT is based on the Meta-Object Facility or MOF. Among many other Model Transformation Language s (MTLs), some examples of implementations of this standard are AndroMDA, VIATRA , Tefkat or MT .
Relationship to ontologies Meta-models are closely related to Ontologies . Both are often used to describe and analyze the relations between concepts {Link without Title} . Ontologies express something meaningful within a specified universe or domain of discourse by utilizing a grammar for using vocabulary. The grammar specifies what it means to be a well-formed statement, assertion, query, etc. (formal constraints) on how terms in the ontology’s controlled vocabulary can be used together. {Link without Title} Meta-modeling can be considered as an ''explicit'' description (constructs and rules) of how a domain-specific model is built. In particular, this comprises a formalized specification of the domain-specific notations. Typically, metamodels are – and always should follow - a strict rule set. “A valid metamodel is an ontology, but not all ontology are modeled ''explicitly'' as metamodels” [Metamodel-b . Types of meta-models For software engineering, several ''types'' of models (and their corresponding modeling activities) can be distinguished:
Zoos of metamodels A library of similar meta-models has been called a Zoo of meta-models. paper . There are several types of meta-model zoos. AtlanticZoo . Some are expressed in ECore. Others are written in MOF 1.4 - XMI 1.2. The metamodels expressed in UML - XMI 1.2 may be uploaded in Poseidon For UML , a UML CASE tool. CONCEPTS IN METAMODELING Sequential activities Sequential activities are activities that need to be carried out in a pre-defined order. The activities are connected with an arrow, implying that they have to be followed in that sequence. Both activities and sub-activities can be modeled in a sequential way. In Figure 1 an activity diagram is illustrated with one activity and two sequential sub-activities. A special kind of sequential activities are the start and stop states, which are also illustrated in Figure 1. In Figure 2 an example from practice is illustrated. The example is taken from the requirements capturing workflow in UML-based Web Engineering. The main activity, user & domain modeling, consists of three activities that need to be carried out in a predefined order. Unordered activities Unordered activities are used when sub-activities of an activity do not have a pre-defined sequence in which they need to be carried out. Only sub-activities can be unordered. Unordered activities are represented as sub-activities without transitions within an activity, as is represented in Figure 3. In some specific cases an activity exists of sequential and unordered activities. The solution to this modeling issue is to divide the main activity in different parts. In Figure 4 an example is illustrated, which clarifies the necessity to be able to model unordered activities. The example is taken from the requirements analysis workflow of the Unified Process. The main activity, “describe candidate requirements”, is divided into two parts. The first part is a sequential activity. The second part consists of four activities that do not need any sequence in order to be carried out correctly. Concurrent activities Activities can occur concurrently. This is handled with forking and joining. By drawing the activities parallel in the diagram, connected with a synchronization bar, one can fork several activities. Later on these concurrent activities can join again by using the same synchronization bar. Both activities and sub-activities van occur concurrently. In the example of Figure 5, Activity 2 and Activity 3 are concurrent activities. In Figure 6, a fragment of a requirements capturing process is depicted. Two activities, defining the actors and defining the use cases, are carried out concurrently. The reason for carrying out these activities concurrently is that defining the actors and the use cases influences each other to a high extend. Conditional activities Conditional activities are activities that are only carried out if a pre-defined condition is met. This is graphically represented by using a branch. Branches are illustrated with a diamond and can have incoming and outgoing transitions. Every outgoing transition has a guard expression, the condition. This guard expression is actually a Boolean expression, used to make a choice which direction to go. Both activities and sub-activities can be modeled as conditional activities. In Figure 7 two conditional activities are illustrated. In Figure 8 an example from practice is illustrated. A requirements analysis starts with studying the material. Based on this study, the decision is taken whether to do an extensive requirements elicitation session or not. The condition for not carrying out this requirements session is represented at the left of the branch, namely clear . If this condition is not met, [else], the other arrow is followed. Process-data diagram The integration of both types of diagrams is quite straightforward. Each action or activity results in a concept. They are connected with a dotted arrow to the produced artifacts, as is demonstrated in Figure 9. The concepts and activities are abstract in this picture. In Table 1 a generic table is presented with the description of activities, sub-activities and their relations to the concepts. In section 5 examples are given of both process-data diagram and activity table. Table 1: Activity table Example of a process-data diagram In Figure 10 an example of a process-data diagram is illustrated. It concerns an example from a the orientation phase of complex project in a WebEngineering method (Van de Weerd, Souer, Versendaal & Brinkkemper). Notable is the use of open and closed concepts. Since project management is actually not within the scope of this research, the concept CONTROL MANAGEMENT has not been expanded. However, in a complex project is RISK MANAGEMENT of great importance. Therefore, the choice is made to expand the RISK MANAGEMENT concept. In Table 2 the activities and sub-activities, and relation to the concepts are described. Table 2: Activities and sub-activities in a complex orientation phase SEE ALSO
REFERENCES FURTHER READING
|
|
|