Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Communications of the ACM
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Object oriented design with applications
Object oriented design with applications
Object-oriented software engineering
Object-oriented software engineering
Object-oriented modeling and design
Object-oriented modeling and design
Multimedia: computing, communications and applications
Multimedia: computing, communications and applications
The Unified Modeling Language user guide
The Unified Modeling Language user guide
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
ODP enterprise viewpoint specification
Computer Standards & Interfaces
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Designing Concurrent, Distributed, and Real-Time Applications with Uml
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Using Formal Description Techniques: An Introduction to Estelle, Lotos, and SDL
Open Distributed Processing and Multimedia
Open Distributed Processing and Multimedia
Distributed Systems: Concepts and Design
Distributed Systems: Concepts and Design
Towards an ODP-Compliant Object Definition Language with QoS-Support
IDMS '98 Proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Applying UML to Design an Inter-domain Service Management Application
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Semantics of Stereotypes for Type Specification in UML: Theory and Practice
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Reference Model of Open Distributed Processing: a Tutorial
Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II
Extending OCL to include actions
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
A UML Approach to the Design of Open Distributed Systems
ICFEM '02 Proceedings of the 4th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
A MDA-based approach for real time embedded systems simulation
DS-RT '05 Proceedings of the 9th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Specification of OCL constraints on ODP computational interfaces
AIC'07 Proceedings of the 7th Conference on 7th WSEAS International Conference on Applied Informatics and Communications - Volume 7
Interaction signatures and action templates in the ODP computational viewpoint
SEPADS'07 Proceedings of the 6th WSEAS International Conference on Software Engineering, Parallel and Distributed Systems
WSEAS Transactions on Computers
On UML modeling of computational interfaces & interactions in the UML4oDP computational language
ICCOMP'08 Proceedings of the 12th WSEAS international conference on Computers
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
This paper is concerned with Quality of Service (QoS) specification in distributed system design. The specification and implementation of QoS is increasingly important in distributed systems due to the need to address questions of performance, particularly for systems involving multimedia. To ensure correct implementation of QoS requirements, statements of QoS need to be introduced early in the design process, and in terms of design we consider the use of the Unified Modelling Language (UML), which has quickly become the de facto standard for object-based designs.The framework we use for distributed system construction is that provided by the open distributed processing reference model, and we focus in particular on its computational viewpoint. The aim of this paper is to construct a UML model of the computational viewpoint focusing on the description of QoS within that viewpoint. To specify the QoS aspects of computational objects in the UML model, we use a real-time logic called QL. In order to express further constraints on the UML model of the computational viewpoint, we use the Object Constraint Language to express invariants that each instance of our model must satisfy. The purpose of our UML model of the computational viewpoint is to act as a template via which specific distributed system designs can be constructed and we illustrate this with the specification of a lip synchronisation mechanism.