(inter-)action Refinement: the Easy Way1
نویسنده
چکیده
We outline and illustrate a formal concept for the specification and refinement of networks of interactive components. We describe systems by modular, functional specification techniques. We distinguish between black box and glass box views of interactive system components as well as refinements of their black box and glass box views. We identify and discuss several classes of refinements such as behaviour refinement, communication history refinement, interface interaction refinement, state space refinement, distribution refinement, and others. In particular, we demonstrate how these concepts of refinement and their verification are supported by functional specification techniques leading to a general formal refinement calculus. It can be used as the basis for a method for the development of distributed interactive systems. 1This work was supported by the Sonderforschungsbereich 342 "Werkzeuge und Methoden für die Nutzung paralleler Architekturen" IAR-the easy way 2 4/25/95
منابع مشابه
Development of a cell formation heuristic by considering realistic data using principal component analysis and Taguchi’s method
Over the last four decades of research, numerous cell formation algorithms have been developed and tested, still this research remains of interest to this day. Appropriate manufacturing cells formation is the first step in designing a cellular manufacturing system. In cellular manufacturing, consideration to manufacturing flexibility and productionrelated data is vital for cell formation....
متن کاملAction Refinement from a Logical Point of View
Action refinement provides a mechanism to design a complex reactive system hierarchically. This paper is devoted to action refinement from a logical point of view, and to combining the hierarchical implementation of a complex system with the hierarchical specification of the system in order to verify it in an easy way. To this end, we use a TCSP-like language with an action refinement operator ...
متن کاملMirror Neurons and (Inter)subjectivity: Typological Evidence from East Asian Languages
Language is primarily constituted by action and interaction based on sensorimotor information. This paper demonstrates the nature of subjectivity and intersubjectivity through the neural mechanism and typological evidence of sentence-final particles from East Asian languages and extends to the discussion of the relationship between them. I propose that intersubjecivity is a kind of embedded or ...
متن کاملActionC: An Action Systems Approach to System Design with SystemC
ActionC is a new approach to rigorous modelling and development of computer systems. ActionC integrates SystemC, an informal design language, and Action Systems, a formal modelling language that supports verification and stepwise correctness-preserving refinement of system models. The ActionC approach combines the possibility to use a formal correct-by-construct method and an industry standard ...
متن کاملCombined energy – diffraction data refinement of decagonal AlNiCo
We incorporate realistic pair potential energies directly into a non-linear least-square fit of diffraction data to quantitatively compare structure models with experiment for the Ni-rich d(AlNiCo) quasicrystal. The initial structure models are derived from a few a priori assumptions (gross features of the Patterson function) and the pair potentials. In place of the common hyperspace approach t...
متن کامل