A QoS-oriented extension of UML statecharts

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2863, Issue , 2003, Pages 76-91

  Jansen, David N ^a   Hermanns, Holger ^a,b   Katoen, Joost Pieter ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

^b SAARLAND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC TELLER MACHINES; COMPUTATIONAL LINGUISTICS; MODEL CHECKING; MODELING LANGUAGES; PROBABILITY DISTRIBUTIONS; QUALITY OF SERVICE; SEMANTICS; STOCHASTIC SYSTEMS;

MODEL CHECKING TOOLS; QOS ORIENTED; STOCHASTIC AUTOMATA; UML MODEL; UML STATECHARTS;

UNIFIED MODELING LANGUAGE;

EID: 0242339588     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-45221-8_7     Document Type: Article

References (35)

1. M. Ajmone Marsan, G. Conte, and G. Balbo. A Class of Generalised Stochastic Petri Nets for the Performance Evaluation of Multiprocessor Systems. ACM Transactions on Computer Systems, 2(2): 93-122, 1984.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modeling with Generalized Stochastic Petri Nets. John Wiley & Sons, 1995.
3. L. de Alfaro. Formal Verification of Probabilistic Systems, Ph.D dissertation, Stanford University, 1997.
4. R. Alur and D. Dill. A theory of timed automata. Th. Comp. Sc., 126: 183-235, 1994.
5. C. Baier, B. Haverkort, H. Hermanns, and J.-P. Katoen. Model-checking algorithms for continuous-time Markov chains. IEEE Transactions on Software Engineering, 29(6): 524-545, 2003.
6. S. Bernardi, S. Donatelli, and J. Merseguer. From UML sequence diagrams and statecharts to analysable Petri net models. In Workshop on Software and Performance (WOSP), pp. 35-45, ACM Press, 2002.
7. H. Bohnenkamp, H. Hermanns, J.-P. Katoen, and R. Klaren. The Modest modeling tool and its implementation. In P. Kemper and W.H. Sanders, editors, Computer Performance Evaluation, LNCS 2794, 2003.
8. C. Cavenet, S. Gilmore, J. Hillston, and P. Stevens. Performance modelling with UML and stochastic process algebra. In: UK Performance Engineering Workshop (UKPEW), pp. 16 Univ. of Glasgow, UK, 2002.
9. C. Constantinescu. Impact of deep submicron technology on dependability of VLSI circuits. In Dependable Systems and Networks, pp. 205-209. IEEE CS Press, 2002.
10. W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of statemate designs. In Compositionality : the Significant Difference (COMPOS), LNCS 1536: 186-238, 1998.
11. P. R. D'Argenio, J.-P. Katoen and E. Brinksma. An algebraic approach to the specification of stochastic systems (extended abstract). In Programming Concepts and Methods, pp. 126-147, Chapman & Hall, 1998.
12. R. Eshuis and R. J. Wieringa. Requirements-level semantics for UML statecharts. In Formal Methods for Open Object-Based Distributed Systems (FMOODS), pp. 121-140, Kluwer, 2000.
13. S. Gnesi, D. Latella, and M. Massink. A stochastic extension of a behavioural subset of UML statechart diagrams. In Symposium on High-Assurance Systems Engineering (HASE), pp. 55-64. IEEE CS Press, 2000.
14. N. Götz, U. Herzog and M. Rettelbach. Multiprocessor and Distributed System Design: The Integration of Functional Specification and Performance Analysis Using Stochastic Process Algebras. In Tutorial Proc. PERFORMANCE '93, LNCS 729: 121-146, 1993.
15. D. Harel and E. Gery. Executable object modeling with statecharts. IEEE Computer, 30(7): 31-42, 1997.
16. D. Harel and A. Naamad. The STATEMATE semantics of statecharts. ACM Transactions on Software Engineering and Methodology, 5(4):293-333, 1996.
17. H. Hermanns, J.-P. Katoen, J. Meyer-Kayser and M. Siegle. A Markov chain model checker. J. on Software Tools and Technology Transfer, 4(2): 153-173, 2003.
18. J. Hillston. A Compositional Approach to Performance Modelling. Cambridge Univ. Press, 1996.
19. G. Huszerl, I. Majzik, A. Pataricza, K. Kosmidis, and M. Dal Cin. Quantitative analysis of UML statechart models of dependable systems. The Computer J., 45(3): 260-277, 2002.
20. D. N. Jansen, H. Hermanns, and J.-P. Katoen. A probabilistic extension of UML statecharts : specification and verification. In Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT), LNCS 2469: 355-374, 2002.
21. D. N. Jansen. Extensions of Statecharts with Time, Probability, and Stochastic Timing. Ph.D thesis, Univ. of Twente, October 2003.
22. B. Jonsson et al. Component-based design and integration platforms : Draft roadmap of IST-2001-34820. Advanced Real-Time Systems, 2003.
23. P. King and R. Pooley. Derivation of Petri net performance models from UML specifications of communications software. In Computer Performance Evaluation (TOOLS), LNCS 1786: 262-276, 2000.
24. M. Z. Kwiatkowska, G. Norman, and D. Parker. Probabilistic symbolic model checking with PRISM: A hybrid approach. In Tools and Algorithms for the Construction and Analysis of Algorithms (TACAS), LNCS 2280: 52-66, 2002.
25. C. Lindemann, A. Thümmler, A. Klemm, M. Lohmann, and O. P. Waldhorst. Performance analysis of time-enhanced UML diagrams based on stochastic processes. In Workshop on Software and Performance (WOSP), pp. 25-34, ACM Press, 2002.
26. N. Lynch and M. Tuttle. An introduction to input/output automata. CWI Quaterly, 2(3): 216-246, 1989.
27. N. Lynch and F. Vaandrager. Forward and Backward Simulations : II. Timing-Based Systems. Information and Computation, 128: 1-25, 1996.
28. P. Mitton and R. Holton. PEPA performability modelling using UML statecharts. In UK Performance Engineering Workshop (UKPEW), 15 pp. Univ. of Durham, UK, 2000.
29. A. N. Shiryaev. Probability, vol. 95 of Graduate Texts in Mathematics. Springer, New York, 1996.
30. Object Management Group. UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms : Request for Proposal. 2002.
31. Object Management Group. UML Profile for Schedulability, Performance, and Time Specification. 2002.
32. R. Segala and N.A. Lynch. Probabilistic simulations for probabilistic processes. Nordic J. of Computing, 2(2): 250-273, 1995.
33. D. Tennenhouse. Proactive computing. Comm. of the ACM, 43(5): 43-50, 2000.
34. S.-H. Wu, S. A. Smolka and E. W. Stark. Composition and behaviors of probabilistic I/O automata. Th. Comp. Sc., 176(1/2): 1-38, 1997.
35. H. Younes and R. Simmons. Probabilistic verification of discrete event systems using acceptance sampling. In: Computer-Aided Verification (CAV), LNCS 2404: 223-235, 2002.