Modeling peer-to-peer service goals in UML

Proceedings of the Second International Conference on Software Engineering and Formal Methods. SEFM 2004

Volumn , Issue , 2004, Pages 144-153

  Sanders, Richard Torbjørn ^a   Bræk, Rolv ^a  

^a NORWEGIAN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS MACHINERY; CLIENT SERVER COMPUTER SYSTEMS; COMMUNICATION SYSTEMS; COMPUTER SIMULATION; FORMAL LANGUAGES; LARGE SCALE SYSTEMS; NETWORK COMPONENTS; REAL TIME SYSTEMS; SERVERS;

MODELING LANGUAGES; MODELING SYSTEMS; PEER-TO-PEER SERVICE; UML;

TELECOMMUNICATION SERVICES;

EID: 16244387685     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. Languages for Telecommunications Applications, Telektronikk, Telenor R&D, Kjeller, Norway 96(4), 2000
2. UML Superstructure Specification version 2.0, OMG Final Adopted Specification ptc/03-08-02, Object Management Group, Needham (MA), USA, August 2003
3. th SDL and MSC Workshop (SAM), Ottawa, Canada, 2-4 June 2004
4. ISO/IEC IS 10746-1, Open Distributed Processing: Reference Model. ISO (1998)
5. AMIGOS and the Avantel project http://www.pats.no [accessed July 2004]
6. Response to the UML 2.0 OCL RfP, OMG Document ad/2003-01-07, Object Management Group, Needham (MA), USA, January 2003
7. G. Gonzalo, J. Llorens and P. Martines, "The meaning of multiplicity of n-ary associations in UML", Systems and Software Modeling, Vol 1(2) pp. 86-97, Springer-Verlag, Heidelberg, Germany, December 2002
8. J. Floch: Towards Plug-and-Play Services: Design and Validation using Roles, Ph.D. thesis 2003:47 NTNU, 2003
9. J. Floch, R. Bræk, "Using Projections for the Detection of Anomalous Behaviours", Proceedings of the 11th SDL Forum, Stuttgart, Germany, 1st-4th July 2003, Springer
10. th EUNICE and IFIP Workshop on Next Generation Networks, Balatonfüred, Hungary, 8-10 Sept 2003
11. G. Holzmann, Design and Validation of Computer Protocols, Prentice Hall, 1991
12. th EUNICE and IFIP Workshop on Advances in Fixed and Mobile Networks, Tampere, Finland, 14-16 June 2004
13. th Int. Conference on Software Engineering for Telecommunication Switching Systems, pp 111-117, IEE, Coventry, UK, 20-24 July 1981
14. Specification and Description Language (SDL), ITU-T Recommendation Z.100, ITU-T, Geneva, August 2002
15. P. Cohen and H. Levesque, "Intention is choice with commitment", Artificial Intelligence, 32(3):213-261, 1990
16. J. Myklopoulos, L. Chung, E. Yu: "From object-oriented to goal-oriented requirements analysis", Communications of the ACM, Vol. 42 (1), Jan 1999
17. Goal-Oriented Requirement Language (GRL), ITU-T Draft Recommendation Z.151, Sept 2003
18. P. Sties and W. Kellerer: "A Generic and Implementation Independent Service Description Model", Proc. of the 21st International Conference on Distributed Computing Systems Workshops (ICDCSW '01), Mesa, Arizona, USA, April 2001
19. TIPHON Protocol Framework Definition; Part 1: Meta-protocol design rules, development method and mapping guidelines, ETSI TS 101 882-1 V4.1.1, Sept 2003
20. th EUNICE and IFIP Workshop on Adaptable Networks and Teleservices, Trondheim, Norway, Sept 2-4 2002
21. R. Bræk et al, ServiceFrame Whitepaper, Ericsson, http://www.item.ntnu.no/lab/nettint1/ServiceFrame/ServiceF rame.html [Accessed July 2004]