Where academic tradition
meets the exciting future

You are here: TUCS > PUBLICATIONS > Publication Search > On Designing for Modularity

On Designing for Modularity

Cristina Cerschi Seceleanu, Tiberiu Seceleanu, On Designing for Modularity. TUCS Technical Reports 534, Turku Centre for Computer Science, 2003.

Abstract:

Action systems, a state-based formalism for modeling reactive, distributed
systems, provides a simple, yet powerful conceptual model for concurrency. Interleaved execution of actions gives the basic semantics to parallel execution of action systems. Trace refinement of action systems carried out within the higherorder logic framework of refinement calculus lets us derive a correct implementation of a given specification. We revisit the execution concept of action systems and extend it such that the synchronized parallel execution paradigm is embedded within the traditional sequential model, by defining a new parallel composition operator. We show by means of illustrative examples that our new approach improves the modularity of a reactive system design. We also prove that trace refinement of composed action systems executing in a synchronized environment adds no extra complexity to the equivalent process, in the traditional interleaving approach. Also, by implementing our view in the generalized action systems model for hybrid systems, we increase the efficiency of modular design of real-time systems, without giving up simplicity.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tCeSe03a,
  title = {On Designing for Modularity},
  author = {Cerschi Seceleanu, Cristina and Seceleanu, Tiberiu},
  number = {534},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2003},
  keywords = {Action systems, Concurrency, Continuous Action Systems,},
  ISBN = {952-12-1177-6},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab), Software Construction Laboratorium, Communication Systems (ComSys)

Edit publication