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 …
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 …
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 …
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 …
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 …
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 …
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 …
(FRs) and non-functional requirements (NFRs). Concerning FRs, UML has been used as the …
A real-time profile for UML
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 …
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 …
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 …
applications, UML and the Unified Process has been developed to Focus on Unified …