Totalizzazione e libera prestazione di servizi = Freedom to provide services. WP C.S.D.L.E. “Massimo D’Antona”.INT – 151/2020

The contribution analyzes the discipline of social security protection for professionals in the Community framework. Specifically, the provisions of Regulation 883/2004 / EC and 987/2009/EC are compared with the rationales behind social security institutions and with the internal and community rules on the exercise of the profession and taxation

The Planning Spectrum - One, Two, Three, Infinity

Linear Temporal Logic (LTL) is widely used for defining conditions on the execution paths of dynamic systems. In the case of dynamic systems that allow for nondeterministic evolutions, one has to specify, along with an LTL formula f, which are the paths that are required to satisfy the formula. Two extreme cases are the universal interpretation A.f, which requires that the formula be satisfied for all execution paths, and the existential interpretation E.f, which requires that the formula be satisfied for some execution path. When LTL is applied to the definition of goals in planning problems on nondeterministic domains, these two extreme cases are too restrictive. It is often impossible to develop plans that achieve the goal in all the nondeterministic evolutions of a system, and it is too weak to require that the goal is satisfied by some execution. In this paper we explore alternative interpretations of an LTL formula that are between these extreme cases. We define a new language that permits an arbitrary combination of the A and E quantifiers, thus allowing, for instance, to require that each finite execution can be extended to an execution satisfying an LTL formula (AE.f), or that there is some finite execution whose extensions all satisfy an LTL formula (EA.f). We show that only eight of these combinations of path quantifiers are relevant, corresponding to an alternation of the quantifiers of length one (A and E), two (AE and EA), three (AEA and EAE), and infinity ((AE)* and (EA)*). We also present a planning algorithm for the new language that is based on an automata-theoretic approach, and study its complexity

Convivenze di fatto e tutela dei superstiti tra problemi vecchi e nuovi = De facto cohabitation and protection of survivors between old and new problems. WP C.S.D.L.E. “Massimo D’Antona”.IT – 345/2017

The essay analyzes the problems concerning the protection of survivors, even in the light of the adoption of law no. 76/2016 concerning de facto couples. After a recontruction of the insitution the A., trough an ongoing dialogue between civil and social security cathegories, first examines the issues related to the more uxorio partnerships, then reflects on the general aporias that afflict the protection of survivors, proposing possible solutions

Permessi e congedi per l’assistenza alle persone con disabilità. Stato dell’arte e profili critici alla luce della l. n. 76 del 2016 = Permits and leave for assistance to people with disabilities. State of the art and critical profiles in light of the n. 76 of 2016. WP C.S.D.L.E. “Massimo D’Antona”.IT – 375/2018

The essay analyzes the regulation of permits and leaves for the assistance to persons with disabilities, in the light of l. n. 76 of 2016 concerning civil unions and more uxorio partnerships. After a reconstruction of the insitutions the A., trough an ongoing dialogue between civil and social security cathegories, highlights the areas still in lack of protection, proposing possible solutions

XSRL: An XML web-services request language

One of the most serious challenges that web-service enabled e-marketplaces face is the lack of formal support for expressing service requests against UDDI-resident web-services in order to solve a complex business problem. In this paper we present a web-service request language (XSRL) developed on the basis of AI planning and the XML database query language XQuery. This framework is designed to handle and execute XSRL requests and is capable of performing planning actions under uncertainty on the basis of refinement and revision as new service-related information is accumulated (via interaction with the user or UDDI) and as execution circumstances necessitate change

An Introduction to History Dependent Automata

n/

АВТОМАТИЗОВАНА КОМПОЗИЦІЯ СЕМАНТИЧНИХ ВЕБ-СЕРВІСІВ У ВИКОНУВАНІ ПРОЦЕСИ. ПЕРЕКЛАД СТАТТІ «AUTOMATED COMPOSITION OF SEMANTIC WEB SERVICES INTO EXECUTABLE PROCESSES\ud (ПЕРЕКЛАД РЕМАРОВИЧ С.)\ud

Пропонується метод планування для автоматизованої композиції Веб-сервісів, які описані в OWL-S моделях процесу, який може\ud ефективно боротися з недетермінізмом, частковою спостережністю і складними цілями.\ud \ud Abstract\ud Different planning techniques have been applied to the problem of automated composition of web services. However, in realistic cases, this planning problem is far from trivial: the planner needs to deal with the nondeterministic behavior of web services, the partial observability of their internal status, and with complex goals expressing temporal conditions and preference requirements. We propose a planning technique for the automated composition of web services described in OWL-S process models, which can deal effectively with nondeterminism, partial observability, and complex goals. The technique allows for the synthesis of plans that encode compositions of web services with the usual programming constructs, like conditionals and iterations. The generated plans can thus be translated into executable processes, e.g., BPEL4WS programs. We implement our solution in a planner and do some preliminary experimental evaluations that show the potentialities of our approach, and the gain in performance of automating the composition at the semantic level w.r.t. the automated composition at the level of executable processes

ТЕОРЕТИЧНА ІНТЕГРАЦІЯ ВЕБ-СЕРВІСІВ ВИЯВЛЕННЯ І КОМПОЗИЦІЇ / D2.4.6. A THEORETICAL INTEGRATION OF WEB SERVICE DISCOVERY AND COMPOSITION (ПЕРЕКЛАД РЕМАРОВИЧ С.)

У даному документі розглядається проблема забезпечення комплексного підходу до автоматичного виявлення і композиції доступних семантичних Веб-сервісів для того, щоб виконати даний запит користувача, вказаний в якості мети композиції.\ud \ud In this document we propose a possible theoretical approach for combining service discovery, functional-level service\ud composition, and process-level service composition. We analyse the challanges in composition of these functionalities (integration of Web service discovery and composition) and propose a theoretical way to solve them.\ud Keyword list: semantic Web service discovery, functional level composition of Web service, process level composition of web service, integration of web service discovery and compositio