Coordinating Action Systems

نویسندگان

  • Eric J. Hedman
  • Joost N. Kok
  • Kaisa Sere
چکیده

We develop an action systems based approach that supports the separation of design of the functional or computation aspects of a system under construction from the coordination and synchronisation issues. The computation aspects are modelled as nondeterministic actions that work in parallel with the coordination actions, which impose some control on this nondeterministic part. We de ne a special form of action systems that models this type of coordination activity. Certain forms of real time scheduling and coordination as well as exception handling are shown to be special cases of our approach. We show how the coordinators can be stepwise brought about from a high-level speci cation of the target system and how the reasoning about their behaviours is carried out separately from the computation aspects of the system within the re nement calculus.

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

ثبت نام

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

منابع مشابه

Metal-Ion-Coordinating Properties of Various Amino Acids, Investigation of the Essential Function in Biological Systems regarding to their Nano-Structure

The acidity constants of some amino acids (Am) were determined by potentiometric pH titration. The stability constants of the 1:1 complexes formed between M2+: Ca2+, Mg2+, Mn2+, Co2+, Ni2+, Cu2+ or Zn2+ and Am2-, were determined by potentiometric pH titration in aqueous solution (I = 0.1 M, NaNO3, 25°C). The order of the stability constants was reported. It is shown that the stability of the bi...

متن کامل

A bi-level programming approach to coordinating pricing and ordering decisions in a multi-channel supply chain

This paper investigates the Stackelberg equilibrium for pricing and ordering decisions in a multi-channel supply chain. We study a situation where a manufacturer is going to open a direct online channel in addition to n existing traditional retail channels. It is assumed that the manufacturer is the leader and the retailers are the followers. The situation has a hierarchical nature and...

متن کامل

Metal-Ion-Coordinating Properties of Various Amino Acids, Investigation of the Essential Function in Biological Systems regarding to their Nano-Structure

The acidity constants of some amino acids (Am) were determined by potentiometric pH titration. The stability constants of the 1:1 complexes formed between M2+: Ca2+, Mg2+, Mn2+, Co2+, Ni2+, Cu2+ or Zn2+ and Am2-, were determined by potentiometric pH titration in aqueous solution (I = 0.1 M, NaNO3, 25°C). The order of the stability constants was reported. It is shown that the stability of the bi...

متن کامل

Coordinating Order Acceptance and Batch Delivery for an Integrated Supply Chain Scheduling

This paper develops Order Acceptance for an Integrated Production-Distribution Problem in which Batch Delivery is implemented. The aim of this problem is to coordinate: (1) rejecting some of the orders (2) production scheduling of the accepted orders and (3) batch delivery to maximize Total Net Profit. A Mixed Integer Programming is proposed for the problem. In addition, a hybrid meta-heuristic...

متن کامل

Midline governs axon pathfinding by coordinating expression of two major guidance systems.

Formation of the neural network requires concerted action of multiple axon guidance systems. How neurons orchestrate expression of multiple guidance genes is poorly understood. Here, we show that Drosophila T-box protein Midline controls expression of genes encoding components of two major guidance systems: Frazzled, ROBO, and Slit. In midline mutant, expression of all these molecules are reduc...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

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

ثبت نام

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

عنوان ژورنال:
  • Theor. Comput. Sci.

دوره 240  شماره 

صفحات  -

تاریخ انتشار 1997