Design and validation of computer protocols
Design and validation of computer protocols
Real-time object-oriented modeling
Real-time object-oriented modeling
Performance modelling with the formal specification language SDL
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
The QUEST-approach for the performance evaluation of SDL-systems
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
Performance analysis of communication systems formally specified in SDL
Proceedings of the 1st international workshop on Software and performance
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
A general framework for formalizing UML with formal languages
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Will UML 2.0 be agile or awkward?
Communications of the ACM - Internet abuse in the workplace and Game engines in scientific research
Combining UML and formal notations for modelling real-time systems
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Why significant UML change is unlikely
Communications of the ACM
From UML sequence diagrams and statecharts to analysable petri net models
WOSP '02 Proceedings of the 3rd international workshop on Software and performance
Protocol Design: Redefining the State of the Art
IEEE Software
Evaluating Performance from Formal Specification
MASCOTS '96 Proceedings of the 4th International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunications Systems
Simulating Group Communication Protocols Through an Object-Oriented Framework
SS '02 Proceedings of the 35th Annual Simulation Symposium
Expression of time and duration constraints in SDL
SAM'02 Proceedings of the 3rd international conference on Telecommunications and beyond: the broader applicability of SDL and MSC
On applying formal techniques to the development of hybrid services: challenges and directions
IEEE Communications Magazine
SYNTONY: network protocol simulation based on standard-conform UML 2 models
Proceedings of the 2nd international conference on Performance evaluation methodologies and tools
Between small complex and large simplistic network simulators
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
QoSA '08 Proceedings of the 4th International Conference on Quality of Software-Architectures: Models and Architectures
| Hi-index | 0.00 |
The automated functional and performance analysis of communication systems specified with some Formal Description Technique has long been the goal of telecommunication engineers. In the past SDL and Petri nets have been the most popular FDTs for the purpose. With the growth in popularity of UML the most obvious question to ask is whether one can translate one or more UML diagrams describing a system to a performance model. Until the advent of UML 2.0, that has been an impossible task because the semantics were not clear. Even though the UML semantics are still not clear for the purpose, using ITU recommendation Z.109 with UML 2.0 now released, we describe in this paper a methodology and tool called proSPEX (protocol Software Performance Engineering using XMI) for the design and performance analysis of communication protocols specified with UML.