Formal analysis of design process dynamics

Abstract

Abstract.To enable the development of automated support for the dynamics of design processes, a challenge is to model and analyse such dynamics in a formal manner. This paper contributes a declarative, logical approach for specification of dynamic properties of design processes, supported by a formal temporal language which has a high expressivity. This language can be used to specify dynamic properties at the level of a design process as a whole, or of parts thereof. At the most detailed level, in an executable sublanguage also simulation models are specified in a declarative, logical manner, which allows to use these specifications in logical analysis as well. The approach is illustrated by an example component-based agent-system design process.

Formal Definitions for Design Spaces and Traces

“…Bosse et al [8] use traces within a temporal logic approach to capture dynamic properties of a design process. A trace describes the history of a design process as a sequence of design states (S1,S2) over time, with S1 being a requirements state (problem description) and S2 being a design object description state (solution specification).…”

Анализ Трендов Хаотических Процессов Как Прогностических Индикаторов Разладки

“…Численный анализ данной проблемы представлен в настоящей работе. Работа носит общий характер и относится к задачам оценки возможности построения диагностических стратегий в нестационарных и хаотических средах [1][2][3][4][5] Как видно из таблицы 1, наличие случайной компоненты в схемах 1 и 2 для фиксации начала и завершения локальных опытов не позволяет выявить наличие какого-либо значимого подтверждения тренда. В схемах 1 и 2 факт обнаружения тренда на участке dD совершенно не гарантирует его инерционной сохранности на последующем участке такой же длины.…”

Management Strategy for Mechanical Trade Systems: Brief Review

“…The notions of turbulence, gas and hydrodynamics, specifics of information (non-material) processes, peculiarities of sociodynamics, etc. were substantially changed [2]. There was a new, highest stage of uncertainty described by chaotic processes [3,4].…”