Modelling Multiple Levels of Abstraction in Hierarchical Control Structures

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Multiple abstraction levels in modelling product structures

The need for product customisation is driving industrial companies towards a very large product variety, which a€ects many functions of a company, including the after-sales. Systematic maintenance records of very di€erent 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