FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W615484614> ?p ?o ?g. }

• W615484614 abstract "Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires advanced composition techniques. To address this problem, we have developed a composition method that is tailored to services. The method integrates an efficient deductive program synthesis technique with a specification language. The work is realized in the context of an objectoriented software platform. The platform introduces a declarative extension to an object-oriented programming language in order to combine advantages of objectoriented programming with positive sides of declarative programming. We introduce the notion of declarative service programming. The declarative part uses the extended structural synthesis of programs, which we have developed. The extended structural synthesis of programs is an extension of the structural synthesis of programs (SSP). In contrast to the original SSP, our extensions allow program composition for dynamic environments. In pure SSP, the context in which components are used has to be specified in advance, i.e. statically. Service configurations are represented as classes and interfaces. We introduce metainterfaces as logical specifications of classes. They can be used in two ways: as specifications of computational usage of classes or as specifications of new classes composed from classes already supplied with metainterfaces. A metainterface is a specification that 1) introduces a collection of interface variables of a class, 2) introduces axioms showing the possibilities of computing provided by methods of the class, in particular, which interface variables are computable from other variables under which conditions, and 3) introduces metavariables that connect implicitly different metainterfaces and reflect on the conceptual level mutual needs of components. Our aim in designing the specification language has been to make it as convenient as possible for a software developer. This language allows a simple and exact translation into the language of logic used by the synthesis process, but we have tried to avoid excessive use of logical notations. We have implemented a prototype for automated compositional synthesis. It has been used in several experiments to show the feasibility of fully automated service composition. We describe some service composition examples. We present performance measurements of service compositions involving large number of component specifications. Our prototype implementation has shown good synthesis performance for services occurring in practice." @default.
• W615484614 created "2016-06-24" @default.
• W615484614 creator A5043822867 @default.
• W615484614 date "2002-01-01" @default.
• W615484614 modified "2023-10-02" @default.
• W615484614 title "Runtime Service Composition via Logic-Based Program Synthesis" @default.
• W615484614 cites W1483998435 @default.
• W615484614 cites W1489800325 @default.
• W615484614 cites W1490158067 @default.
• W615484614 cites W1494042173 @default.
• W615484614 cites W1495050994 @default.
• W615484614 cites W1496288774 @default.
• W615484614 cites W1503973138 @default.
• W615484614 cites W1508882620 @default.
• W615484614 cites W1512016432 @default.
• W615484614 cites W1512427875 @default.
• W615484614 cites W1520298409 @default.
• W615484614 cites W1534386305 @default.
• W615484614 cites W1537173805 @default.
• W615484614 cites W1540863024 @default.
• W615484614 cites W1550593984 @default.
• W615484614 cites W1557628095 @default.
• W615484614 cites W1564775810 @default.
• W615484614 cites W1573248933 @default.
• W615484614 cites W1580634617 @default.
• W615484614 cites W1584247638 @default.
• W615484614 cites W1587799979 @default.
• W615484614 cites W1592272620 @default.
• W615484614 cites W1598521088 @default.
• W615484614 cites W1603641306 @default.
• W615484614 cites W1606025221 @default.
• W615484614 cites W1606081416 @default.
• W615484614 cites W1607142601 @default.
• W615484614 cites W1608728083 @default.
• W615484614 cites W1620410031 @default.
• W615484614 cites W1715846772 @default.
• W615484614 cites W173612296 @default.
• W615484614 cites W1795583176 @default.
• W615484614 cites W1845813627 @default.
• W615484614 cites W1907344964 @default.
• W615484614 cites W1939467000 @default.
• W615484614 cites W1942403848 @default.
• W615484614 cites W1964949668 @default.
• W615484614 cites W1965498649 @default.
• W615484614 cites W1972606747 @default.
• W615484614 cites W1991670662 @default.
• W615484614 cites W1997910015 @default.
• W615484614 cites W1998453891 @default.
• W615484614 cites W2004244845 @default.
• W615484614 cites W2011926106 @default.
• W615484614 cites W2012436850 @default.
• W615484614 cites W2013672985 @default.
• W615484614 cites W2016546934 @default.
• W615484614 cites W2017394707 @default.
• W615484614 cites W2020764148 @default.
• W615484614 cites W2037639952 @default.
• W615484614 cites W2038053775 @default.
• W615484614 cites W2038471956 @default.
• W615484614 cites W2039977878 @default.
• W615484614 cites W2064624074 @default.
• W615484614 cites W2073491323 @default.
• W615484614 cites W2076242896 @default.
• W615484614 cites W2076873328 @default.
• W615484614 cites W2077318760 @default.
• W615484614 cites W2080703052 @default.
• W615484614 cites W2090624793 @default.
• W615484614 cites W2092537111 @default.
• W615484614 cites W2099108714 @default.
• W615484614 cites W2100738443 @default.
• W615484614 cites W2103090960 @default.
• W615484614 cites W2106293438 @default.
• W615484614 cites W2113095216 @default.
• W615484614 cites W2113352466 @default.
• W615484614 cites W2114240222 @default.
• W615484614 cites W2119041479 @default.
• W615484614 cites W2120044691 @default.
• W615484614 cites W2122766910 @default.
• W615484614 cites W2124516381 @default.
• W615484614 cites W2128057448 @default.
• W615484614 cites W2128449323 @default.
• W615484614 cites W2130544025 @default.
• W615484614 cites W2132364484 @default.
• W615484614 cites W2132581831 @default.
• W615484614 cites W2136189351 @default.
• W615484614 cites W2137830219 @default.
• W615484614 cites W2140657900 @default.
• W615484614 cites W2144164152 @default.
• W615484614 cites W2151634145 @default.
• W615484614 cites W2156290800 @default.
• W615484614 cites W2166453538 @default.
• W615484614 cites W2170626879 @default.
• W615484614 cites W2171339374 @default.
• W615484614 cites W2176887522 @default.
• W615484614 cites W2197000251 @default.
• W615484614 cites W2469849320 @default.
• W615484614 cites W2499596435 @default.
• W615484614 cites W2520954582 @default.
• W615484614 cites W2613359208 @default.
• W615484614 cites W2907235690 @default.
• W615484614 cites W426659799 @default.

• next