Formal Methods for Performance Evaluation
DOI: 10.1007/978-3-540-72522-0_11
|View full text |Cite
|
Sign up to set email alerts
|

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
3
1
1

Citation Types

0
8
0

Publication Types

Select...
6
3
1

Relationship

0
10

Authors

Journals

citations
Cited by 17 publications
(8 citation statements)
references
References 39 publications
0
8
0
Order By: Relevance
“…For all development areas introduced in Figure 1, meaningful quality metrics and target values are required. For the different areas various quality metrics have already been proposed, such as the UML SPT/MARTE profile in case of software architectures [30] or the workflow quality metrics defined in [31] or [32]. However, a comprehensive definition of metrics covering all areas is still missing.…”
Section: ) Quality Metric Definitionmentioning
confidence: 99%
“…For all development areas introduced in Figure 1, meaningful quality metrics and target values are required. For the different areas various quality metrics have already been proposed, such as the UML SPT/MARTE profile in case of software architectures [30] or the workflow quality metrics defined in [31] or [32]. However, a comprehensive definition of metrics covering all areas is still missing.…”
Section: ) Quality Metric Definitionmentioning
confidence: 99%
“…Petriu and Woodside use the UML Schedulability, Performance, and Time (SPT) profile to enrich UML diagrams with performance annotations [19]. In [28] they show the usage of the UML MARTE (Modeling and Analysis of RealTime and Embedded Systems) profile, which is the successor of the SPT profile.…”
Section: Related Workmentioning
confidence: 99%
“…Compared to simulation, the derivation of analytic models from synthesizable specifications has received much less attention. So far, work in this direction has been mainly done in the domain of (best-effort) networking systems where, for instance, layered queuing networks [15], Petri nets [16], or state-based formalisms [17] have been derived from synthesizable specifications, such as the ITU-T specification and definition language (SDL). In the domain of heterogeneous multi-processor systems, the UML-MAST tool can generate a model for holistic scheduling based on a system model described in the UML profile for schedulability, performance, and time (SPT) [18].…”
Section: Related Workmentioning
confidence: 99%