TURTLE: A real-time UML profile supported by a formal validation toolkit

L Apvrille, JP Courtiat, C Lohr… - IEEE transactions on …, 2004 - ieeexplore.ieee.org
We present a UML 1.5 profile named TURTLE (Timed UML and RT-LOTOS Environment)
endowed with a formal semantics given in terms of RT-LOTOS. TURTLE relies on UML's …

Evaluating UML using a generic quality framework

J Krogstie - UML and the Unified Process, 2003 - igi-global.com
Many researchers have evaluated different parts of UML™ and have come up with
suggestions for improvements to different parts of the language. This chapter looks at UML …

A systematic review on the definition of UML profiles

J Pardillo - Model Driven Engineering Languages and Systems …, 2010 - Springer
This article reports a systematic review on the definition of UML profiles in the research
literature. Several exploratory statistical analyses have been performed in order to …

OCL extended with temporal logic

P Ziemann, M Gogolla - … Ershov Memorial Conference on Perspectives of …, 2003 - Springer
UML class diagrams have become a standard for modeling the static structure of object-
oriented software systems. OCL can be used for formulating additional constraints that can …

Annotating UML models with non-functional properties for quantitative analysis

H Espinoza, H Dubois, S Gérard, J Medina… - Satellite Events at the …, 2006 - Springer
This work is motivated by the recent Request For Proposals issued by OMG for a new UML
Profile named “Modeling and Analysis of Real-Time and Embedded systems”. The paper …

Experimental analysis of textual and graphical representations for software architecture design

W Heijstek, T Kühne… - … Symposium on Empirical …, 2011 - ieeexplore.ieee.org
Software architecture design documentation should communicate design decisions
effectively. However, little is known about the way recipients respond to the different types of …

A UML profile for goal-oriented and use case-driven representation of NFRs and FRs

S Supakkul, L Chung - Third ACIS int'l conference on software …, 2005 - ieeexplore.ieee.org
In order for a software system to be of value, it should meet both functional requirements
(FRs) and non-functional requirements (NFRs). Concerning FRs, UML has been used as the …

A real-time profile for UML

S Graf, I Ober, I Ober - International Journal on Software Tools for …, 2006 - Springer
This paper describes an approach for real-time modelling in UML, focusing on analysis and
verification of time and scheduling-related properties. To this aim, a concrete UML profile …

[PDF][PDF] UML Profiles for Real-Time Systems and their Applications.

A Gherbi, F Khendek - J. Object Technol., 2006 - researchgate.net
Real-time systems (RTS) have strict timing constraints and limited resources. The
satisfaction of RTS timing constraints is required for their correction. In order to reduce the …

[BOOK][B] UML and the Unified Process

L Favre - 2003 - books.google.com
With the increasing popularity of the Internet, electronic commerce, and enterprise
applications, UML and the Unified Process has been developed to Focus on Unified …