An approach to the formal specification of holonic control systems

Paulo Leitão; Armando W. Colombo; Francisco Restivo

doi:10.1007/978-3-540-45185-3_6

An approach to the formal specification of holonic control systems

Paulo Leitão
, Armando W. Colombo
, Francisco Restivo

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

35 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings
Editors	Vladimír Marík, Vladimír Marík, Duncan McFarlane, Paul Valckenaers
Publisher	Springer Verlag
Pages	59-70
Number of pages	12
ISBN (Electronic)	3540407510, 9783540407515
DOIs	https://doi.org/10.1007/978-3-540-45185-3_6
Publication status	Published - 2003
Externally published	Yes
Event	1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 - Prague, Czech Republic Duration: 1 Sept 2003 → 3 Sept 2003

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	3131
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003
Country/Territory	Czech Republic
City	Prague
Period	1/09/03 → 3/09/03

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Access to Document

10.1007/978-3-540-45185-3_6

Cite this

Leitão, P., Colombo, A. W., & Restivo, F. (2003). An approach to the formal specification of holonic control systems. In V. Marík, V. Marík, D. McFarlane, & P. Valckenaers (Eds.), Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings (pp. 59-70). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3131). Springer Verlag. https://doi.org/10.1007/978-3-540-45185-3_6

Leitão, Paulo ; Colombo, Armando W. ; Restivo, Francisco. / An approach to the formal specification of holonic control systems. Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings. editor / Vladimír Marík ; Vladimír Marík ; Duncan McFarlane ; Paul Valckenaers. Springer Verlag, 2003. pp. 59-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9b3453c9a36647758691bba15134a379,

title = "An approach to the formal specification of holonic control systems",

abstract = "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.",

author = "Paulo Leit{\~a}o and Colombo, \{Armando W.\} and Francisco Restivo",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2003. Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003 ; Conference date: 01-09-2003 Through 03-09-2003",

year = "2003",

doi = "10.1007/978-3-540-45185-3\_6",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "59--70",

editor = "Vladim{\'i}r Mar{\'i}k and Vladim{\'i}r Mar{\'i}k and Duncan McFarlane and Paul Valckenaers",

booktitle = "Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings",

address = "Germany",

}

Leitão, P, Colombo, AW & Restivo, F 2003, An approach to the formal specification of holonic control systems. in V Marík, V Marík, D McFarlane & P Valckenaers (eds), Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3131, Springer Verlag, pp. 59-70, 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Prague, Czech Republic, 1/09/03. https://doi.org/10.1007/978-3-540-45185-3_6

An approach to the formal specification of holonic control systems. / Leitão, Paulo; Colombo, Armando W.; Restivo, Francisco.
Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings. ed. / Vladimír Marík; Vladimír Marík; Duncan McFarlane; Paul Valckenaers. Springer Verlag, 2003. p. 59-70 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3131).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - An approach to the formal specification of holonic control systems

AU - Leitão, Paulo

AU - Colombo, Armando W.

AU - Restivo, Francisco

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 - https://www.scopus.com/pages/publications/84948990091

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 - 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 -

Leitão P, Colombo AW, Restivo F. An approach to the formal specification of holonic control systems. In Marík V, Marík V, McFarlane D, Valckenaers P, editors, Holonic and Multi-Agent Systems for Manufacturing - 1st International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2003, Proceedings. Springer Verlag. 2003. p. 59-70. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-45185-3_6

An approach to the formal specification of holonic control systems

Abstract

Publication series

Conference

UN SDGs

Access to Document

Other files and links

Fingerprint

Cite this