Distribution of Modal Transition Systems

  title={Distribution of Modal Transition Systems},
  author={German E. Sibay and Sebasti{\'a}n Uchitel and V{\'i}ctor A. Braberman and Jeff Kramer},
In order to capture all permissible implementations, partial models of component based systems are given as at the system level. However, iterative refinement by engineers is often more convenient at the component level. In this paper, we address the problem of decomposing partial behaviour models from a single monolithic model to a component-wise model. Specifically, given a Modal Transition System (MTS) M and component interfaces (the set of actions each component can control/monitor), can… CONTINUE READING


Publications referenced by this paper.
Showing 1-10 of 19 references

LTL generalized model checking revisited

International Journal on Software Tools for Technology Transfer • 2010

Contract-Based Verification of Hierarchical Systems of Components

2008 Sixth IEEE International Conference on Software Engineering and Formal Methods • 2008

Existential live sequence charts revisited

2008 ACM/IEEE 30th International Conference on Software Engineering • 2008

Complexity results for checking distributed implementability

Fifth International Conference on Application of Concurrency to System Design (ACSD'05) • 2005

Similar Papers

Loading similar papers…