Synthesis from Recursive-Components Libraries

Details Synthesis from Recursive-Components Libraries Synthesis from Recursive-Components Libraries

2011-06-07

arxiv.org/abs/1106.1228v1

EPTCS 54, 2011, pp. 1-16

Computer Science

Logic in Computer Science

In Proceedings GandALF 2011, arXiv:1106.0814

Scientific paper

10.4204/EPTCS.54.1

Synthesis is the automatic construction of a system from its specification. In classical synthesis algorithms it is always assumed that the system is "constructed from scratch" rather than composed from reusable components. This, of course, rarely happens in real life. In real life, almost every non-trivial commercial software system relies heavily on using libraries of reusable components. Furthermore, other contexts, such as web-service orchestration, can be modeled as synthesis of a system from a library of components. In 2009 we introduced LTL synthesis from libraries of reusable components. Here, we extend the work and study synthesis from component libraries with "call and return"' control flow structure. Such control-flow structure is very common in software systems. We define the problem of Nested-Words Temporal Logic (NWTL) synthesis from recursive component libraries, where NWTL is a specification formalism, richer than LTL, that is suitable for "call and return" computations. We solve the problem, providing a synthesis algorithm, and show the problem is 2EXPTIME-complete, as standard synthesis.

Affiliated with

Also associated with

No associations

Rating

Synthesis from Recursive-Components Libraries does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Synthesis from Recursive-Components Libraries, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Synthesis from Recursive-Components Libraries will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-25234