Distributed Enforcement of Service Choreographies

Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.Comment: In Proceedings FOCLASA 2014, arXiv:1502.0315

On the Automated Synthesis of Enterprise Integration Patterns to Adapt Choreography-based Distributed Systems

The Future Internet is becoming a reality, providing a large-scale computing environments where a virtually infinite number of available services can be composed so to fit users' needs. Modern service-oriented applications will be more and more often built by reusing and assembling distributed services. A key enabler for this vision is then the ability to automatically compose and dynamically coordinate software services. Service choreographies are an emergent Service Engineering (SE) approach to compose together and coordinate services in a distributed way. When mismatching third-party services are to be composed, obtaining the distributed coordination and adaptation logic required to suitably realize a choreography is a non-trivial and error prone task. Automatic support is then needed. In this direction, this paper leverages previous work on the automatic synthesis of choreography-based systems, and describes our preliminary steps towards exploiting Enterprise Integration Patterns to deal with a form of choreography adaptation.Comment: In Proceedings FOCLASA 2015, arXiv:1512.0694

Choreographies with Secure Boxes and Compromised Principals

We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes" annotated with the intended source and destination of those components. The boxes are to be implemented with cryptography. Strand spaces provide a semantics for these choreographies, in which some roles may be played by compromised principals. A skeleton is a partially ordered structure containing local behaviors (strands) executed by regular (non-compromised) principals. A skeleton is realized if it contains enough regular strands so that it could actually occur, in combination with any possible activity of compromised principals. It is delivery guaranteed (DG) realized if, in addition, every message transmitted to a regular participant is also delivered. We define a novel transition system on skeletons, in which the steps add regular strands. These steps solve tests, i.e. parts of the skeleton that could not occur without additional regular behavior. We prove three main results about the transition system. First, each minimal DG realized skeleton is reachable, using the transition system, from any skeleton it embeds. Second, if no step is possible from a skeleton A, then A is DG realized. Finally, if a DG realized B is accessible from A, then B is minimal. Thus, the transition system provides a systematic way to construct the possible behaviors of the choreography, in the presence of compromised principals

Refusals and Re-Creations: Imagining Utopia through Black Lesbian Affect in Modern Dance

This project explores how Black lesbian affectivity performed through dance, which includes gestures, comportment, expressions, etc., can provide a utopian framework of political and social organizing against white supremacist heteronormative hegemony. These affective performances create spaces of resistance within modern dance choreographies. These affective moments and performances demonstrate alternative forms of individual and collective existence in both the dance space and daily life. By examining the works of modern dancer Nora Chipaumire and the social justice dance theater ensemble, the Urban Bush Women, this project argues that Chipaumire and Urban Bush women use disidentification, affective performances, queer utopia and shapeshifting, in order to create different social and political realities. Finally, I argue that moments within these performances open themselves to a reading for “Black lesbian affective” performances that reject normative standards of identity

Choreographing and Reinventing Chinese Diasporic Identities - An East-West Collaboration

In demonstrating Eastern- and Western-based Chinese diasporic dances as equally critical and question-provoking in Chinese identity reconstructions, this research compares choreographic implications in the Hong Kong-Taiwan and Toronto-Vancouver dance milieus of recent decades (1990s 2010s). An auto-ethnographic study of Yuri Ngs (Hong Kong) and Lin Hwai-mins (Taiwan) works versus my own (Toronto) and Wen Wei Wangs (Vancouver), it probes identities choreographed in place-constituted third spaces between Chinese selves and Euro-American Others. I suggest that these identities perpetrate hybrid movements and aesthetics of geo-cultural-political distinctness from the Chinese ancestral land ones manifesting ultimate glocalization intersecting global political economies and local cultural-creative experiences. Echoing the diasporic habitats cultural and socio-historical specificities, they are constantly (re) appropriated and reinvented via translation, interpretation, negotiation, and integration of East-West cultural-artistic and socio-political ingredients. The event unfolds such identities placial uniqueness that indicates the same Chinese roots yet divergent diasporic routes. In reviewing Ngs balletic and contemporary photo-choreographic productions of post-British colonial Hong Kong-ness alongside Lins repertories of Chinese traditional, Taiwan indigenous, American modern and Other artistic impacts noting Taiwanese-ness, the study unearths cultural roots as the core source of Chinese identity rebuilding from East Asian displacements. It traces an ingrained third space between Chinese historic-social values, Western cultural elements, and Other performing artistries of Hong Kong and Taiwanese belongings. Juxtaposing my Chinese traditional-based and transcultural Toronto dance projects with Wangs Vancouver balletic-contemporary fusions of Chinese iconicity, Chinese-Canadian identities marked by a hyphenated (third/in-between) space are associated as varying North American self-generated routes of social and artistic possibilities in a Canadian mosaic-cosmopolitical setting the persistent state of Canadian becoming. My conclusion resolves the examined choreographic cases as continually developed through third-space instigated East-West cultural-political crossings plus interpenetrative local creativities and global receptivity. Of gains or losses, struggles or rebirths, the cases of placial-temporal significations elicit multiple questions on Chinese diasporic cultural infusions, social sustenance, artistic integrity, and identity representations amid East-West negotiations my experiential reflection on the dance role and potency in the reimagining and remaking of Chinese diasporic identities

Géneros naturales, clasificaciones científicas, vida, fuegos artificiales y COVID

A difficulty exists in separating the real aspects from the point of view of the researchers. A taxonomic classification is proposed in five kingdoms: plants, animals, fungi, protista and monera. Humans are the only species capable of manipulating the biosphere on a large scale. Behind the light, colour, sound and smoke from fireworks there is a chemical reaction and a table of chemical elements. The history of pesticides presents a set of little-known stories of environmental pollution. What communication and action to take against the climate emergency? Sustainable development is carried out in the food industry: energy consumption, water consumption, wastewater management, waste management, containers and packaging, and food waste. The 20th century advances in molecular biology–genomics are informed: what they are and what they represent for today's medicine. Drug repurposing is reviewed for coronavirus treatment and computational study based on molecular topology. Chemistry and pharmacy might be sustainable. Processing might also be sustainable.Existe una dificultad en separar los aspectos reales desde el punto de vista de los investigadores. Se propone una clasificación taxonómica en cinco reinos: plantas, animales, hongos, protistas y móneras. Los humanos son la única especie capaz de manipular la biosfera a gran escala. Más allá de la luz, color, sonido y humo de los fuegos artificiales hay una reacción química y una tabla de elementos químicos. La historia de los pesticidas presenta un conjunto de historias poco conocidas de contaminación ambiental. ¿Qué comunicación y acción seguir frente a la emergencia climática? Se lleva a cabo desarrollo sostenible en la industria alimentaria: consumo energético, consumo de agua, gestión de aguas residuales, gestión de residuos, envases y embalajes, y desperdicio alimentario. Se informan los avances del siglo XX en biología molecular–genómica: cuáles son y qué representan para la medicina de hoy. Se revisa la reutilización de medicamentos para el tratamiento del coronavirus y el estudio computacional basado en la topología molecular. La Química y la Farmacia deben ser sostenibles. El procesamiento debe ser también sostenibleCiencias Experimentale

New design companions opening up the process through self-made computation

Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Architecture, 2013.Cataloged from PDF version of thesis.Includes bibliographical references (p. 73-75).This thesis is about man and machine roles in the early conception of designs where it investigates computational methods that support creativity and surprise. It discusses the relationship between human and digital medium in the enterprise of Computer-Aided Design', and Self-Made Computation to empower the designer as driver of digital processes taking the computer as an active collaborator, or a sharp apprentice, rather than a master. In a design process tool personalization enables precise feedback between human and medium. In the field of architecture, every project is unique, and there are as many design workflows as designers. However current off-the-shelf design software has an inflexible built-in structure targeting general problem-solving that can interfere with non-standard design needs. Today, those with programming agility look for customized processes that assist early problem-finding instead of converging solutions. Contributing to alleviate software frustrations, smaller tailor-made applications prove to be precisely tailored, viable and enriching companions in certain moments of the project development. Previous work on the impact of standardized software for design has focused on the figure of the designer as a tool-user, this thesis addresses the question from the vision of the designer as a tool-maker. It investigates how self-made software can become a design companion for computational thinking - observed here as a new mindset that shifts design workflows, rather than a technique. The research compares and diagrams designer-toolmaker work where self-made applets where produced, as well as the structures in the work of rule-maker artisans. The main contributions are a comparative study of three models of computer-aided design, their history and technical review, their influence in design workflows and a graphical framework to better compare them. Critical analysis reveals a common structure to tailor a creative and explorative design workflow. Its advantages and limitations are exposed to guide designers into alternative computational methods for design processes. Keywords: design workflow; computation; applets; self-made tools; diagrams; design process; feedback; computers; computer-assisted-designby Laia Mogas-Soldevila.S.M

Reversible Computation: Extending Horizons of Computing

This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first

Tàolù – The Mastery of Space

This paper explores the experience of space afforded by the practice or liàn of tàolù 练套路, the prearranged movement patterns of the Chinese martial arts. It examines the roots of tàolù in Chinese martial preparation, religious self-consecration and theatrical performance. It develops the structure and phenomenology of this practice with special attention to its exponents’ perceptions of negative space. Following an interdisciplinary approach, the author contextualizes embodied, martial knowledge in terms of Chinese social history, theatre and religious praxis