Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework

Antoine El-Hokayem, Yliès Falcone, Mohamad Jaber. Modularizing behavioral and architectural crosscutting concerns in formal component-based systems - Application to the Behavior Interaction Priority framework. Journal of Logic and Algebraic Programming, 99:143-177, 2018. [doi]

Abstract

Abstract is missing.