Using UML models for the performance analysis of network systems

[1]  Sun Microsystems,et al.  RPC: Remote Procedure Call Protocol specification , 1988, RFC.

[2]  홍원식.  Performance , 2005 .

[3]  Gerard J. Holzmann,et al.  Protocol design: redefining the state of the art , 1992, IEEE Software.

[4]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[5]  Jean-Pierre Hubaux,et al.  Evaluating performance from formal specification , 1996, Proceedings of MASCOTS '96 - 4th International Workshop on Modeling, Analysis and Simulation of Computer and Telecommunication Systems.

[6]  Jean-Pierre Hubaux,et al.  Integrating performance evaluation and formal specification , 1996, Proceedings of ICC/SUPERCOMM '96 - International Conference on Communications.

[7]  Pieter S. Kritzinger,et al.  Performance Modelling with the Formal Specification Language SDL , 1996, FORTE.

[8]  Simone Spitz,et al.  SDL* - An Annotated Specification Language for Engineering Multimedia Communication Systems , 1997 .

[9]  Martin Steppler,et al.  Performance analysis of communication systems formally specified in SDL , 1998, WOSP '98.

[10]  Andreas Mitschele-Thiel,et al.  Performance engineering of SDL/MSC systems , 1999, Comput. Networks.

[11]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[12]  Jean-Pierre Hubaux,et al.  On applying formal techniques to the development of hybrid services: challenges and directions , 1999, IEEE Commun. Mag..

[13]  Morgan Björkander.  Graphical Programming Using UML and SDL , 2000, Computer.

[14]  ENTERPRISE ARCHITECTURE ANALYSIS USING AN ARCHITECTURE DESCRIPTION LANGUAGE , 2000 .

[15]  Betty H. C. Cheng,et al.  A general framework for formalizing UML with formal languages , 2001, Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001.

[16]  Luigi Lavazza,et al.  Combining UML and formal notations for modelling real-time systems , 2001, ESEC/FSE-9.

[17]  Markku Turunen,et al.  Pattern Language for Architecture of Protocol Systems , 2001, EuroPLoP.

[18]  Susanne Graf,et al.  Expression of Time and Duration Constraints in SDL , 2002, SAM.

[19]  Cris Kobryn.  Will UML 2.0 be agile or awkward? , 2002, CACM.

[20]  Joaquin Miller,et al.  WHAT UML SHOULD BE , 2002 .

[21]  Dov Dori.  Why significant UML change is unlikely , 2002, CACM.

[22]  Marinho P. Barcellos,et al.  Simulating group communication protocols through an object-oriented framework , 2002, Proceedings 35th Annual Simulation Symposium. SS 2002.

[23]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[24]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[25]  Martin Peschke,et al.  Design and Validation of Computer Protocols , 2003 .