Self-organising assembly systems formally specified in Maude

Frei, Regina; Şerbănuţă, Traian Florin; Serugendo, G. Di Marzo

doi:10.1007/s12652-012-0159-2

Cited by 9 publications

(3 citation statements)

References 27 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Other approaches specifically involving chemical reactions for self-composition, possibly include the followings. Frei et al [13] propose the use of chemical reactions, in the field of industrial robotics, to build self-organising assembly systems that participate in their own design by spontaneously organising themselves. Di Napoli et al [11] show how a specified workflow can be instantiated using chemical reactions.…”

Section: Service Compositionmentioning

confidence: 99%

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

Caselli

Ciatto

Serugendo

et al. 2020

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

View full text Add to dashboard Cite

Service self-composition is a well-understood research area focusing on service-based applications providing new services by automatically combining pre-existing ones. In this paper we focus on tuplebased coordination, and propose a solution leveraging logic tuples and tuple spaces to support semantic self-composition for services. A fullstack description of the solution is provided, ranging from a theoretical formalisation to a technologically valuable design and implementation.

show abstract

Section: Service Compositionmentioning

confidence: 99%

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

Caselli

Ciatto

Serugendo

et al. 2020

Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles

View full text Add to dashboard Cite

show abstract

“…In the field of industrial robotics, Frei et al [6] propose the use of chemical reactions to build self-organising assembly systems that participate in their own design by spontaneously organising themselves in the shop floor layout in response to the arrival of a product order. This approach shares similarities to the one presented in this paper, since chemical reactions act on a shared space containing robotic modules capabilities and needs, and generic assembly instructions.…”

Section: Related Workmentioning

confidence: 99%

Self-composition of services with chemical reactions

Angelis

Fernandez-Marquez

Serugendo

2014

Proceedings of the 29th Annual ACM Symposium on Applied Computing

View full text Add to dashboard Cite

Abstract-Service-oriented programming has dramatically changed the way software applications are developed. Automatic composition of services reduces human interaction on choosing the set of services that satisfy a specific request. Automatic composition has mainly been done in a centralised way with the composition specified at design time or in a decentralised manner through multi-agent systems planing. These approaches present several limitations when used in dynamically changing environments like pervasive computing scenarios. Very few proposals investigate the design of the composition arising as a result of an ongoing self-organising process that permanently adapts to context and environmental changes. In this paper we define three chemically inspired approaches for self-composition of services operating on top of a shared tuple space. We show how tuple spaces can be exploited to design spontaneous and emergent compositions that deal with context information and a dynamic set of available services. Then we prove that our algorithms can be generalised to produce compositions of services with very common features. and show how our algorithms can be easily implemented to provide self-composition of actual Web services.

show abstract

“…Today, flexible and autonomous assembly systems consist of various machines, robots and other equipment delegated within different architectures. Self organization [1] in evolvable assembly systems is a paradigm where agents organize themselves to provide functional behavior and effectively accomplish a certain assembly task. Self-awareness is another growing research direction where industrial systems should be quickly reconfigurable and utilize the plug-and-play approach, avoid time-consuming reprogramming and be more resistant to perturbation [2].…”

Section: Introductionmentioning

confidence: 99%

A Capacitive Sensor for Human-Robot Interaction

Švaco¹,

Basic²,

Šekoranja³

et al. 2012

Proceedings of the 23rd International DAAAM Symposium 2012

View full text Add to dashboard Cite

Human robot interaction is an issue mostly oriented toward service robotics but recently has a significant impact in the field of assembly applications. Assembly is a highly complex field where technical systems lack sophisticated human manipulation skills and possibilities. A simple capacitive sensor has been developed for aiding the human-robot interaction in industrial applications. The capacitive sensor consists of rubber foam with an embedded highly flexible metal mesh. The sensor is connected to an Arduino controller and mounted on the robot. When the human operator is in contact or in close vicinity of the robot the change of capacitance is detected. The Arduino controller sends messages through TCP/IP protocol to a FANUC LR 200iC 5L articulated robot arm controlling unit. The robot responds based on the input and is able to reduce speed or stop current movement and operation. A prototype sensor is described in detail and test applications are presented.

show abstract

Self-organising assembly systems formally specified in Maude

Cited by 9 publications

References 27 publications

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

Engineering Semantic Self-composition of Services Through Tuple-Based Coordination

Self-composition of services with chemical reactions

A Capacitive Sensor for Human-Robot Interaction

Contact Info

Product

Resources

About