Behavior Models for Software Architecture

Abstract

Monterey Phoenix (MP) is an approach to formal software system architecture specification based on behavior models. Architecture modeling focuses not only on the activities and interactions within the system, but also on the interactions between the system and its environment, providing an abstraction for interaction specification. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of possible event traces is specified using event grammars and other constraints organized into schemas. The separation of the interaction description from the components behavior is an essential MP feature. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and multiple view extraction. The approach yields a basis for executable architecture specification supporting early testing and verification, systematic use case generation, and performance estimates with automated tools.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Nov 01, 2014
Accession Number
ADA611836

Entities

People

  • Mikhail I. Auguston

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • C4I
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Authentication
  • Command And Control
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Computers
  • Environment
  • Language
  • Programming Languages
  • Robotics
  • Software Design
  • Software Development
  • Specifications
  • Standards
  • Systems Engineering
  • Unmanned Systems
  • Verification

Fields of Study

  • Computer science
  • Engineering

Readers

  • Computational Linguistics
  • Systems Analysis and Design
  • Team-Based Human-Centered Cognitive Task Decision Making and Information Performance.