Abstract: International audience; In the context of manufacturing in Industry 4.0, software systems become of prime importance. Efficient, adaptable and trusted software services are required. Several approaches succeeded in creating a Service-oriented Holonic Manufacturing System that combines the advantages of Service-oriented Architectures and Holonic Manufacturing Systems. However these systems until now suffer from many shortcomings, among which genericity, lack of proof of the functional behaviour correctness, architecture modularity, etc. These sy...
(read more)
Topics: 
Software engineering
Systems engineering