Integrating model information in UML sequence diagrams

Electronic Notes in Theoretical Computer Science

Volumn 50, Issue 3, 2001, Pages 266-274

  Tsiolakis, Aliki ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; CLIENT SERVER COMPUTER SYSTEMS; INFORMATION RETRIEVAL; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

DYNAMIC HOST CONFIGURATION PROTOCOL (DHCP); OBJECT CONSTRAINT LANGUAGE (OCL); SEQUENCE DIAGRAM;

OBJECT ORIENTED PROGRAMMING;

EID: 0003306406     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)00178-1     Document Type: Conference Paper

References (4)

1. W. Damm and D. Harel. "LSCs: Breathing Life into Message Sequence Charts". Technical report, July 2000. Revised version.
2. R. Droms. "Dynamic Host Configuration Protocol (DHCP)". IETF, Networking Group, March 1997. Available at http://www.ietf.org/rfc/rfc2131.txt.
3. A. Tsiolakis. "Semantic Analysis and Consistency Checking of UML Sequence diagrams". Technical report No. 2001-06, Technische Universität Berlin. April 2001. Available at http://www.cs.tu-berlin.de/ ~aliki/.
4. Object Management Group. "OMG Unified Modeling Language, Specification - version 1.3", March 2000. Available at http://www.omg.org/ uml/.