Research on Information System Specification.

Abstract

This document reports the results of the development of methods for system specification and analysis in conjunction with the National Software Works Project currently in progress in our company. This report indicates that the ideas developed and partially tested in this setting are, potentially, of wide utility in the description and analysis of systems where the interest focuses on the relation of communication among a set of agents with interdependent tasks. There is a description of a theoretical framework in which to study the effects of the propagation of information in a system contest as a result of analysis of logical dependence relations in nets. There is a discussion of the relationship between the concepts concurrency and choice, a survey of the use of Petri-nets for the representation of organizational relations. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Aug 09, 1977
Accession Number
ADA047864

Entities

People

  • Anatol W. Holt

Tags

Communities of Interest

  • C4I
  • Cyber
  • Human Systems
  • Sensors

DTIC Thesaurus Topics

  • Automata Theory
  • Causal Reasoning
  • Commerce
  • Computations
  • Computer Programming
  • Computer Science
  • Computers
  • Construction
  • Information Systems
  • Language
  • Mathematical Analysis
  • Organizational Structure
  • Petri Nets
  • Reasoning
  • Simulations
  • Systems Analysis
  • Systems Engineering

Fields of Study

  • Computer science

Readers

  • Mathematical Modeling and Probability Theory.
  • Software Engineering
  • Systems Analysis and Design