DOI: 10.1007/978-3-540-87875-9_5
|View full text |Cite
|
Sign up to set email alerts
|

A Formal Metamodel for Problem Frames

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
9
0

Publication Types

Select...
4
2
1

Relationship

0
7

Authors

Journals

citations
Cited by 22 publications
(9 citation statements)
references
References 9 publications
0
9
0
Order By: Relevance
“…In [19] a work very similar to the one reported here is described: the meta-model is expressed in UML, with added constraints in OCL, and the resulting meta-model is -quite comprehensibly-similar. However, there are also relevant differences.…”
Section: Related Workmentioning
confidence: 93%
See 2 more Smart Citations
“…In [19] a work very similar to the one reported here is described: the meta-model is expressed in UML, with added constraints in OCL, and the resulting meta-model is -quite comprehensibly-similar. However, there are also relevant differences.…”
Section: Related Workmentioning
confidence: 93%
“…Our meta-model was specifically structured to be used in an EMF/GMF framework: this is reflected in the meta-model itself, e.g., composition relations and decorators are often used instead of inheritance relations. There are also some semantic differences between the two meta-models: the meta-model in [19] does not account for sub-problems and descriptions involving multiple frames. Finally, we have implemented the PF editor: a full working prototype of a PF modeling tool, able to generate UML compatible models.…”
Section: Related Workmentioning
confidence: 96%
See 1 more Smart Citation
“…In order to express constraints, we use OCL [9], as already done in previous work (see for instance [10] and [11]). In particular, the constraint mentioned above is specified by the following OCL statement: In order to show that the meta-model is actually suitable for representing aggregated domains, we apply it to model the Gate&Motor domain in the Sluice gate control problem (see Fig.…”
Section: A Meta-model Suitable To Represent Domain (De)compositionmentioning
confidence: 99%
“…In particular, PFs allow analysts to analyze complex problems by decomposing them into simpler ones; these basic problems are modeled according to basic patterns (i.e., the frames, which represent common, well understood problems); then it is necessary to (informally) show that the user requirements are satisfied by the outcome of the previously defined modeling activity; finally, the various problem frames are composed into a complete description. Meta-models for Problem Frames have been proposed by a few researchers [2], [3], [5], [6], [7], [10], including the authors of this paper [11]. However, all these meta-models (except, in a partial way [12]) do not address the (de)composition of problems, which is a fundamental aspect of the PF technique.…”
Section: Introductionmentioning
confidence: 97%