Modelling Multiple Levels of Abstraction in Hierarchical Control Structures
نویسندگان
چکیده
منابع مشابه
Multiple abstraction levels in modelling product structures
The need for product customisation is driving industrial companies towards a very large product variety, which aects many functions of a company, including the after-sales. Systematic maintenance records of very dierent product individuals cannot be kept without an abstract view to the population of delivered products. However, the older the product individual, the less systematically recorde...
متن کاملModelling Non-Hierarchical Structures
This section is divided into four parts. In this first part we look at situations in health research that can give rise to a two way cross-classification and suggest some notation to describe this model. In the second part we look at more complicated cross-classified structures and extend the notation. In the third part we describe general rules for the notation construction. In the final part ...
متن کاملHierarchical Shape Abstraction of Dynamic Structures in Static Blocks
We propose a hierarchical shape abstract domain, so as to infer structural invariants of dynamic structures such as lists living inside static structures, such as arrays. This programming pattern is often used in safety critical embedded software as an alternative to dynamic memory allocation. Our abstract domain precisely describes such hierarchies of structures. It combines several instances ...
متن کاملVisual Analogies at Multiple Levels of Abstraction
We describe a method for constructing a teleological model of an unlabelled 2D line drawing by analogy to a known model of a drawing with similar structure. The source case is represented as a schema that contains its line drawing and its teleological model represented at multiple levels of abstraction: the lines and intersections in the drawing, the shapes, the structural components and connec...
متن کاملGenerating Systems from Multiple Levels of Abstraction
We describe our prototype implementation for Architecture Stratification supporting system descriptions at multiple levels of abstraction for developing complex software systems. Our tool transforms both model and code fragments in parallel using refinement transformations which are specified with a combination of “Story-Driven-Modeling” and Java code. Multi-level editing is enabled by allowing...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Safety Science
سال: 2018
ISSN: 2371-6312,2371-6320
DOI: 10.24900/ijss/020194103.2018.0301