New Solution of Abstract Architecture for Control and Coordination Decentralized Systems

This paper contains a new approach that combines the advantages and disadvantages of suppressing hierarchical and heterarchical control architectures, creating a semi-heterarchical (holonic) control architecture. The degree of subordinate unit autonomy changes dynamically, depending on the presence of a system disruption, and its scope allows for a smooth transition from hierarchical to heterarchic control architecture in subordinate units. We have proposed a representation of the dynamic degree of autonomy and its possible application to subordinate units, which are, in our case, one-directional Automated Guided Vehicles (AGVs) and are guided by magnetic tape. In order to achieve such a semi-heterarchic management architecture with a dynamic degree of autonomy, approaches such as smart product, stymergic (indirect) communication, or basic principles of holon approach have been implemented

Behavioral types in programming languages

A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types

Reasoning about Social Relationships with Jason

Abstract. This work faces the problem of enabling an approach to agent programming, which allows agents to seamlessly manage and work both on social relationships and on abstractions which typically characterize agents themselves, like goals, beliefs, intentions. A similar approach is necessary in order to easily develop Socio-Technical Systems and provides a basis for carrying on methodological studies on system engineering. The paper presents an extension of JaCa(Mo) in which Jason agents can reason on social relationships, that are represented as commitments, and where Jason agents interact by way of special CArtAgO artifacts, which reify commitment-based protocols

Trusted community : a novel multiagent organisation for open distributed systems

[no abstract