| Institute of Informatics>>> Acta Cybernetica>>> Past Issues>>> Volume 17, Number 1, 2005>>> |
 Magyarul
|
Synthesis of the synchronization of general pipeline systems
Balázs Ugron, Szabolcs Hajdara, and László Kozma
Abstract (in LaTeX format)
The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth dealing with the possibilities of the specification of the synchronization of these systems. Different methods exist that can be used to synthesize the synchronization of parallel systems based on some kind of specification, but these methods cannot be applied directly for pipeline systems because of some special properties of the pipeline systems and the methods themselves. The method that seems to be the most promising is the method of Attie and Emerson, which is a synthesization method for many similar processes based on a special temporal logic specification. In this paper we give an extension of this method so that the extended method will be able to handle more properties of parallel systems, especially of pipeline systems. We will consider not only linear, but general pipeline systems too. Furthermore, we give an abstract synchronization of a general pipeline system.
Keywords: semantic tableaux, pipeline, synthesis, parallel systems, temporal logic.
Full text
Available electronic editions: PDF.
Note that full text is available only for papers that are at least 3 years old. For more recent papers only the first page of the paper is provided.
BibTeX entry
@article{Ugron:2005:ActaCybernetica,author = {Bal\'azs Ugron and Szabolcs Hajdara and L\'aszl\'o Kozma},
title = {Synthesis of the synchronization of general pipeline systems},
journal = {Acta Cybernetica},
year = {2005},
volume = {17},
number = {1},
pages = {123--151},
abstract = {The pipeline systems and different subtypes of pipelines are interesting parts of parallel systems in software engineering. That is why it seems to be worth dealing with the possibilities of the specification of the synchronization of these systems.
Different methods exist that can be used to synthesize the synchronization of parallel systems based on some kind of specification, but these methods cannot be applied directly for pipeline systems because of some special properties of the pipeline systems and the methods themselves.
The method that seems to be the most promising is the method of Attie and Emerson, which is a synthesization method for many similar processes based on a special temporal logic specification.
In this paper we give an extension of this method so that the extended method will be able to handle more properties of parallel systems, especially of pipeline systems. We will consider not only linear, but general pipeline systems too. Furthermore, we give an abstract synchronization of a general pipeline system.},
keywords = {semantic tableaux, pipeline, synthesis, parallel systems, temporal logic}
}