Annotated Sequence Diagrams

Abstract

An annotated sequence diagram (ASD) is a paradigm for a distributed logical computation in a system of locally communicating components. It can support conclusions about properties normally satisfied by the cooperative activity of different components, and about the consequences in case individual components have been corrupted.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Feb 05, 2010
Accession Number
AD1108596

Entities

People

  • John D. Ramsdell
  • Jonathan K. Millen

Organizations

  • MITRE Corporation

Tags

Communities of Interest

  • Cyber

DTIC Thesaurus Topics

  • Authentication
  • Computations
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Corporations
  • Cryptography
  • Cybersecurity
  • Information Security
  • Language
  • Notation
  • Platforms
  • Security
  • Security Protocols
  • Semantics
  • Sequences
  • Specifications
  • Standards
  • Virtual Machines

Readers

  • Approximation Theory.
  • Database Systems and Applications
  • Logistics and Supply Chain Management.