TY - GEN
T1 - An approach to the formal specification of holonic control systems
AU - Leitão, Paulo
AU - Colombo, Armando W.
AU - Restivo, Francisco
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 2003.
Copyright:
Copyright 2020 Elsevier B.V., All rights reserved.
PY - 2003
Y1 - 2003
N2 - In the manufacturing world, globalization leads to a trend towards the reduction of batches and product life cycle, and the increase of part diversity, which are in conflict with other requirements, such as the cost reduction achieved with higher productivity. Thus, the challenge is to develop flexible, agile and intelligent management and control architectures that satisfy the referred requirements. The holonic manufacturing and the agent-based manufacturing approaches allow a new approach to the manufacturing problem, through concepts such as modularity, decentralisation, autonomy and re-use of control software components. ADACOR, one of the holonic architectures recently proposed, defines a set of autonomous and intelligent holons aiming to improve the performance of control system in industrial scenarios characterised by the frequent occurrence of unexpected disturbances. The formal modeling and validation of the specifications of the ADACOR-holons and of the interactions between these holons to implement the manufacturing control functions is of critical importance. In this paper, a formal methodology is introduced and applied to model the dynamic behaviour of the ADACOR-holon classes.
AB - In the manufacturing world, globalization leads to a trend towards the reduction of batches and product life cycle, and the increase of part diversity, which are in conflict with other requirements, such as the cost reduction achieved with higher productivity. Thus, the challenge is to develop flexible, agile and intelligent management and control architectures that satisfy the referred requirements. The holonic manufacturing and the agent-based manufacturing approaches allow a new approach to the manufacturing problem, through concepts such as modularity, decentralisation, autonomy and re-use of control software components. ADACOR, one of the holonic architectures recently proposed, defines a set of autonomous and intelligent holons aiming to improve the performance of control system in industrial scenarios characterised by the frequent occurrence of unexpected disturbances. The formal modeling and validation of the specifications of the ADACOR-holons and of the interactions between these holons to implement the manufacturing control functions is of critical importance. In this paper, a formal methodology is introduced and applied to model the dynamic behaviour of the ADACOR-holon classes.
UR - http://www.scopus.com/inward/record.url?scp=84948990091&partnerID=8YFLogxK
U2 - 10.1007/978-3-540-45185-3_6
DO - 10.1007/978-3-540-45185-3_6
M3 - Conference contribution
AN - SCOPUS:84948990091
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 59
EP - 70
BT - Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings
A2 - Marík, Vladimír
A2 - Marík, Vladimír
A2 - McFarlane, Duncan
A2 - Valckenaers, Paul
PB - Springer Verlag
T2 - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003
Y2 - 1 September 2003 through 3 September 2003
ER -
