A Petri Net Approach for Reusing and Adapting Components with Atomic and non-atomic Synchronisation.
Djaouida Dahmani, Mohand Cherif Boukala, Hassan Mountassir · 2014
Abstract. Composition of heterogeneous software components is required in many domains to build complex systems. However, such compositions raise mismatches between components. Software adaptation aims at generating adaptors to correct mismatches between components to be composed. In this paper, we propose a formal approach based on Petri nets which relies on mapping rules to generate automatically adaptors and check compatibilities of components. Our solution addresses both signature and behaviour level and covers both asynchronous and synchronous communication between components. State space of the Petri model is used to localise mismatches.