МІНІМАЛІСТИЧНИЙ ПІДХІД ДО СЕМАНТИЧНИХ АНОТАЦІЙ ДЛЯ КОМПОЗИЦІЙ ВЕБ-ПРОЦЕСІВ. ПЕРЕКЛАД СТАТТІ «A MINIMALIST APPROACH TO SEMANTIC ANNOTATIONS FORWEB PROCESSES COMPOSITIONS» (ПЕРЕКЛАД РЕМАРОВИЧ С.)

Семантичні описи Веб-сервісів відкривають шлях до автоматизації їх композиції. Проте, поточні підходи до автоматизованої композиції, які використовують семантику,\ud незважаючи на їх виразну силу, являються важкими у використанні на практиці. Вони вимагають дійсно всеохоплюючих і, зазвичай, великих онтологічних описів процесів, а також досить складних (і часто неефективних) механізмів міркувань. У цій роботі пропонується мінімалістський підхід до семантичної анотації Веб-сервісів,\ud описаних як процеси, такий, що ми можемо виконати обмежене, але ефективне і корисне семантичне міркування для композиції Веб-сервісів на рівні процесу

Security analysis of a blockchain-based protocol for the certification of academic credentials

We consider a blockchain-based protocol for the certification of academic credentials named Blockcerts, which is currently used worldwide for validating digital certificates of competence compliant with the Open Badges standard. We study the certification steps that are performed by the Blockcerts protocol to validate a certificate, and find that they are vulnerable to a certain type of impersonation attacks. More in detail, authentication of the issuing institution is performed by retrieving an unauthenticated issuer profile online, and comparing some data reported there with those included in the issued certificate. We show that, by fabricating a fake issuer profile and generating a suitably altered certificate, an attacker is able to impersonate a legitimate issuer and can produce certificates that cannot be distinguished from originals by the Blockcerts validation procedure. We also propose some possible countermeasures against an attack of this type, which require the use of a classic public key infrastructure or a decentralized identity system integrated with the Blockcerts protocol.Comment: 12 pages, 14 figure

Caracterización de diferentes aspectos regenerativos de la especie exótica naturalizada Acacia dealbata Link

Tesina (Grado en Ciencias Biológicas)--Universidad Nacional de Córdoba. Facultad de Ciencias Exactas, Físicas y Naturales. Lugar de Trabajo: Cátedra de Biogeografía -- Instituto Multidisciplinario de Biología Vegetal-IMBIV-CONICET-U.N.C. 2016. 41 h.; maps.; ils. col.; grafs.; tabls. Contiene Referencia Bibliográfica.La invasión de nuevas áreas por especies vegetales exóticas es una de las principales problemáticas que afecta a los ecosistemas, por lo que, disponer de conocimiento sobre la ecología de las especies invasoras nos permite desarrollar estrategias de manejo y conservación de los sistemas nativos. Actualmente, la mayoría de los estudios se enfocan en los mecanismos involucrados en la última etapa del proceso de invasión, el cual comprende: introducción, naturalización e invasión. Muchos de los filtros ambientales que debe sortear una especie introducida, operan sobre las primeras etapas del ciclo de vida de la planta. Los requerimientos para la germinación y las características de la plántula, aparecen como dos componentes principales en el nicho regenerativo y determinarían el éxito de las especies exóticas en un nuevo ambiente. Acacia dealbata Link es una especie originaria de Australia cuya importancia ecológica radica en su gran potencial invasivo. Dentro del bosque Chaqueño Serrano (Córdoba), A. dealbata forma densos parches de bosque, por lo que, la especie se encuentra naturalizada en la región y estaría atravesando por un periodo de latencia. El objetivo general de este trabajo es, caracterizar diferentes aspectos del nicho regenerativo de A. dealbata para determinar qué rasgos le permitirían sortear con éxito la fase de latencia. Para ello, se tomaron muestras de semillas, se evaluó la presencia de dormición física, y se analizó la respuesta germinativa de la especie frente a distintos regímenes de temperatura y luz, exposición al fuego y calidad de luz. Por otro lado, se tomaron muestras de suelo para determinar la estrategia del banco de semillas y se realizó una caracterización morfo-funcional de la plántula. Además, se hizo una comparación de rasgos regenerativos con dos especies representantes de la comunidad nativa, Vachellia aroma y Vachellia caven y se discutió en el contexto de la “hipótesis de la naturalización”. Las diferencias significativas se evaluaron mediante análisis de varianza y test no paramétricos. Los resultados evidenciaron que A. dealbata presenta dormición física impuesta por una cubierta seminal, tiene la capacidad de germinar en un amplio rango de temperaturas, es indiferente a la luz y las altas intensidades de fuego, causan la mortalidad total de las semillas. La especie presenta un banco de semillas denso y persistente y sus plántulas exhiben una morfología fanerocotiledonar-epigea-foliácea. Los rasgos regenerativos resultaron ser muy similares entre las especies nativas y la exótica en cuestión. En conclusión, A. dealbata posee requerimientos germinativos generalistas y se presenta como una fuerte competencia para las especies nativas. Estas características podrían proveerle la capacidad de superar la fase de latencia y ubicarse como posible candidata a la invasión del bosque Chaqueño Serrano

ВИЯВЛЕННЯ ВЕБ-СЕРВІСІВ НА РІВНІ ПРОЦЕСУ НА ОСНОВІ CЕМАНТИЧНОЇ АНОТАЦІЇ / ПЕРЕКЛАД СТАТТІ «WEB SERVICE DISCOVERY AT PROCESS-LEVEL BASED ON SEMANTIC ANNOTATION»(ПЕРЕКЛАД РЕМАРОВИЧ С.)\ud

У даній роботі пропонується новий підхід до виявлення (discovery) розподілених процесів, описаних як семантичні Веб-сервіси. В існуючих підходах виявлення здійснюється за допомогою ключових слів, які пошуковий механізм використовує для класифікації та вибору Веб-сервісів, або на основі "функціонального" опису сервісу з точки зору його входів, виходів, передумов і наслідків. Проте, цей спосіб виявлення Веб-сервісів не завжди є задовільним. Справді, користувач може мати вимоги до поведінки Веб-сервісів. У даній роботі визначено формальну структуру, яка дозволяє виявлення сервісів на рівні процесу, тобто, виявлення сервісів з урахуванням вимог до поведінки сервісу. Підхід заснований на представленні сервісів на рівні процесу, яке базується на\ud специфікації BPEL для поведінки, і який розширює BPEL специфікацію семантичними анотаціями, що дозволяють виконувати обмежене, але ефективне і корисне, семантичне\ud міркування для виявлення Веб-сервісів

Verifying temporal specifications of Java programs

Many Java programs encode temporal behaviors in their source code, typically mixing three features provided by the Java language: (1) pausing the execution for a limited amount of time, (2) waiting for an event that has to occur before a deadline expires, and (3) comparing timestamps. In this work, we show how to exploit modern SMT solvers together with static analysis in order to produce a network of timed automata approximating the temporal behavior of a set of Java threads. We also prove that the presented abstraction preserves the truth of MTL and ATCTL formulae, two well-known logics for expressing timed specifications. As far as we know, this is the first feasible approach enabling the user to automatically model check timed specifications of Java software directly from the source code

ВИБІР СЕМАНТИЧНОГО ВЕБ-СЕРВІСУ НА РІВНІ ПРОЦЕСУ: НА ПРИКЛАДІ EBAY/AMAZON/PAYPAL / ПЕРЕКЛАД СТАТТІ «SEMANTICWEB SERVICE SELECTION AT THE PROCESS-LEVEL: THE EBAY/AMAZON/PAYPAL CASE STUDY» (ПЕРЕКЛАД РЕМАРОВИЧ С.)

У цій статті ми представляємо підхід до вибору сервісу на рівні процесу та оцінки його на реальній ситуації, що спричиняє високий рівень складності: eBay Веб-сервіси, Amazon E-Commerce сервіси та сервіс e-payment, запропонований PayPal. Підхід заснований на представленні сервісів на рівні процесу, тобто на BPEL і WSDL специфікаціях, і який розширює ці стандартні специфікації мінімальними семантичними анотаціями, які дозволяють виконувати ефективні, але все ж корисні, семантичні міркування для вибору Веб-сервісів на рівні процесу

A novel method for monitoring mineralisation in hydrogels at the engineered hard–soft tissue interface

The capacity to study the deposition of mineral within a hydrogel structure is of significant interest to a range of therapies that seek to replace the hard tissues and the hard–soft tissue interface. Here, a method is presented that utilises Confocal Raman microscopy as a tool for monitoring mineralisation within hydrogels. Synthetic hard–soft material interfaces were fabricated by apposing brushite (a sparingly soluble calcium phosphate) and biopolymer gel monoliths. The resulting structures were matured over a period of 28 days in phosphate buffered saline. Confocal Raman microscopy of the interfacial region showed the appearance of calcium phosphate salt deposits away from the original interface within the biopolymeric structures. Furthermore, the appearance of octacalcium phosphate and carbonated hydroxyapatite was observed in the region of the brushite cement opposing the biopolymer gel. This study describes not only a method for analysing these composite structures, but also suggests a method for recapitulating the graduated tissue structures that are often found in vivo

Automatic repair of timestamp comparisons

Automated program repair has the potential to reduce the developers’ effort to fix errors in their code. In particular, modern programming languages, such as Java, C, and C#, represent time as integer variables that suffer from integer overflow, introducing subtle errors that are hard to discover and repair. Recent researches on automated program repair rely on test cases to discover failures to correct, making them suitable only for regression errors. We propose a new strategy to automatically repair programs that suffer from timestamp overflows that are manifested in comparison expressions. It unifies the benefits of static analysis and automatic program repair avoiding to depend on testing to identify and correct defected code. Our approach performs an abstract analysis over the time domain of a program using a Time Type System to identify the problematic comparison expressions. The repairing strategy rewrites the timestamp comparisons exploiting the binary representation of machine numbers to correct the code. We have validated the applicability of our approach with 20 open source Java projects. The results show that it is able to correctly repair all 246 identified errors. Furthermore, several patches for three open source projects have been acknowledged and accepted by their developers

On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete

Modeling time in Java programs for automatic error detection

Modern programming languages, such as Java, represent time as integer variables, called timestamps. Timestamps allow developers to tacitly model incorrect time values resulting in a program failure because any negative value or every positive value is not necessarily a valid time representation. Current approaches to automatically detect errors in programs, such as Randoop and FindBugs, cannot detect such errors because they treat timestamps as normal integer variables and test them with random values verifying if the program throws an exception. In this paper, we present an approach that considers the time semantics of the Java language to systematically detect time related errors in Java programs. With the formal time semantics, our approach determines which integer variables handle time and which statements use or alter their values. Based on this information, it translates these statements into an SMT model that is passed to an SMT solver. The solver formally verifies the correctness of the model and reports the violations of time properties in that program. For the evaluation, we have implemented our approach in a prototype tool and applied it to the source code of 20 Java open source projects. The results show that our approach is scalable and it is capable of detecting time errors precisely enough allowing its usability in real-world applications