Search

Your search keyword '"Stevens, Perdita"' showing total 12 results
Start Over Author "Stevens, Perdita" Topic object constraint language
12 results on '"Stevens, Perdita"'

1. UML for Global Computing

Author

Baumeister, Hubert, Koch, Nora, Kosiuczenko, Piotr, Stevens, Perdita, Wirsing, Martin, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, and Priami, Corrado, editor

Published
2003
Full Text
View/download PDF

2. Games for UML Software Design

Author

Stevens, Perdita, Tenzer, Jennifer, Goos, Gerhard, editor, Hartmanis, Juris, editor, van Leeuwen, Jan, editor, de Boer, Frank S., editor, Bonsangue, Marcello M., editor, Graf, Susanne, editor, and de Roever, Willem-Paul, editor

Published
2003
Full Text
View/download PDF

11. Java’s Integral Types in PVS

Author

Jacobs, Bart, Goos, Gerhard, Series editor, Hartmanis, Juris, Series editor, van Leeuwen, Jan, Series editor, Najm, Elie, editor, Nestmann, Uwe, editor, and Stevens, Perdita, editor

Published
2003
Full Text
View/download PDF

12. Design and Verification of Distributed Multi-media Systems

Author

John Derrick, A. Gill Waters, David H. Akehurst, Najm, Elie, Nestmann, Uwe, and Stevens, Perdita

Subjects
Object-oriented programming, Multimedia, Computer science, business.industry, Quality of service, Distributed computing, Computer programming, computer.software_genre, Formal methods, QA76, Distributed design patterns, Unified Modeling Language, Distributed algorithm, business, Real-time operating system, computer, Object Constraint Language, computer.programming_language
Abstract

Performance analysis of computing systems, in particular distributed computing systems, is a complex process. Analysing the complex flows and interactions between a set of distributed processing nodes is a non-trivial task. The problem is exacerbated by the addition of continuous system functions that are time dependent, such as communication between components in the form of multimedia streams of video and audio data. Quality-of-Service (QoS) specifications define constraints on such communications and describe the required patterns of data transfer. By making use of these specifications as part of the performance analysis process it is possible to add significant confidence to predictions about the correct (required) operation of a distributed system. This paper presents a method for designing distributed multimedia systems, including the specification of QoS, using the ODP framework and UML and describes a technique for verifying the QoS specification against the designed functional behaviour of the system using Timed Automata.

Catalog

Books, media, physical & digital resources
See catalog results