Since the beginning of this century, there is a paradigm shift concerning production, pushed by digital convergence, and the need to change the world's energy balance drastically. New production systems tend to become distributed, cloud-based, service-oriented, and anthropocentric, alternating full automation and collaborative human participation. This scenario demands a revision of design methods applied to manufacture systems and integration between new and classic methods. This article brings a proposal to integrate cloud-based and serviceoriented systems by a framework capable of supporting design methods suitable to compose a distributed set of manufacturing services (CMfgS).
Advances in Formal Design Methods for Computer-Aided Design
