Sammanfattning av denna webbsida: I detta dokument presenteras ett formellt ramverk för beteendespecifikation tillsammans med dess tillämpningar i olika sammanhang för att specificera och kontrollera det korrekta beteendet hos distribuerade Fractal-komponenter. Vårt ramverk gör att vi kan bygga beteendemodeller för applikationer som sträcker sig från sekventiella Fractal komponenter, till distribuerade objekt, och slutligen distribuerade komponenter. Våra modeller kan karakterisera både funktionella och icke-funktionella beteenden och samspelet mellan de två intressena. Slutligen har detta arbete resulterat i utveckling av verktyg som gör det möjligt för den icke-expert programmeraren att specificera beteendet hos sina komponenter, och automatiskt, eller halvautomatiskt kontrollera egenskaper hos sin ansökan.  Nyckelord: Résumé : Cet article présente un modèle formel pour la spécification comportementale, ainsi que son applicationà différents contextes, permettant de spécifier et de vérifier le comportement de composants répartisà la Fractal. Notre méthode permet de construire des modèles comportementaux pour des applications allant des composants Fractal sèquentiels, aux objets répartis, jusqu'aux composants répartis. Nos modèles sont kan de représenterà la fois les comportements fanctionnels et les aspects non-fonctionnels, ainssi que l'interaction entre les deux. Par ailleurs, ce travail a donné lieu au développement d'outils logikiels permettantà un utilisateur non-expert de spécifier le comportement de ses composants, et de vérifier, automatiquement ou semiautomatiquement, leurs propriètès.
I REF lägger författarna fram en formell ram för beteendespecifikation av distribuerade Fractal-komponenter.
Behavioural models for distributed fractal components
{'venue': 'Proc. of the IEEE', 'journal': None, 'mag_field_of_study': ['Computer Science']}