Software Architecture Built from Behavior Models

Abstract

This paper suggests an approach to formal software system architecture specification based on behavior models. The behavior of the system is defined as a set of events (event trace) with two basic relations: precedence and inclusion. The structure of event trace is specified using event grammars and other constraints organized into schemas. The schema framework is amenable to stepwise architecture refinement, reuse, composition, visualization, and application of automated tools for consistency checks. The concept of event attribute supports a continuous architecture refinement up to executable design and implementation models.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jun 01, 2009
Accession Number
ADA502640

Entities

People

  • Mikhail I. Auguston

Organizations

  • Naval Postgraduate School

Tags

Communities of Interest

  • Autonomy
  • Ground and Sea Platforms
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Batch Processing
  • Calculators
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Consistency
  • Grammars
  • Ground Vehicles
  • Inclusions
  • Language
  • Programming Languages
  • Recognition
  • Robotics
  • Software Design
  • Software Development
  • Unmanned Ground Vehicles
  • Visualizations

Fields of Study

  • Computer science
  • Engineering

Readers

  • Database Systems and Applications
  • Seismology
  • Software Engineering.