J. M. Kuster and J. Stroop. Towards consistency of dynamic models and analysis of timing constraints. 1st Workshop on Formal Design Techniques for Real-Time Systems at UML'2000, October 2000. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The DESS Methodology: Deliverable D.1 - Van Baelen, Gorinsek, Wills (2001) (Correct)
....between an event in one class and a second event on another class In [7] and [8] timing constraints are expressed using UML predefined notations (especially after) According to the standard, these predefined keywords are open ended and it is possible to define additional ones if needed. In [4], the relationship between sequence diagrams and state diagrams is explored and defined on a mathematical basis. If we allow virtual timers to be expressed in both sequence and state diagrams, such a notion well defined relationship is needed to ovoid semantic inconsistencies or gaps. Especially, ....
J. Kster and J. Stroop. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. 3 rd International Conference on the Unified Modeling Language (UML'2000.
Task 1.3: Timing, Memory, and Other Resource.. - Barbaix, Van Baelen.. (2001) (Correct)
....that between an event in one class and a second event on another class In [7] and [8] timing constraints are expressed using UML predefined notations (especially after) According to the standard, these predefined keywords are openended and it is possible to define additional ones if needed. In [4], the relationship between sequence diagrams and state diagrams is explored and defined on a mathematical basis. If we allow virtual timers to be expressed in both sequence and state diagrams, such a notion well defined relationship is needed to ovoid semantic inconsistencies or gaps. Especially, ....
J. Kster and J. Stroop. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. 3 rd International Conference on the Unified Modeling Language (UML'2000.
Task 1.3: Methodology Document for Addressing Resource.. - Barbaix, Van Baelen (2000) (Correct)
....active state. The labelling mechanism of UML can be used in sequence diagrams and collaboration diagrams to identify individual transition instances. It is possible to use it in state diagrams too. 3. 4 Integration of Timing and Schedulability Analysis in a UML Design Flow The position paper in [3] was presented at the workshop on Formal Design Techniques for Real Time UML during UML 2000 . The assumption behind this contribution is that a component based design for embedded systems can be based on UML, especially with those extensions of UML such as UML RT, that already support ....
J. Kster and J. Stroop. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. 3 rd International Conference on the Unified Modeling Language (UML'2000.
Consistent Design of Embedded Real-time Systems with UML-RT - Küster, Stroop (2001) Self-citation (Uster Stroop) (Correct)
No context found.
J. M. Kuster and J. Stroop. Towards consistency of dynamic models and analysis of timing constraints. 1st Workshop on Formal Design Techniques for Real-Time Systems at UML'2000, October 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC