|
 
|
[DFB14a] Defining and Executing Bigraphical Model in Maude
Conférence Internationale avec comité de lecture : The 5th International Conference on Communications, Computers and Applications -MIC-CCA 2012, October 2014, pp.101-106, Istanbul, Turkey,Mots clés: Bigraphical Reactive Systems (BRS), Software architectures
Résumé:
Software architectures can help in specification, formal analysis and manipulation of complex and adaptive systems. Many languages and formalisms have been proposed for these tasks, especially those based on graph model. Bigraphical Reactive Systems (BRS) are an emerging graphical framework for specifying ubiquitous dynamic architectural systems. In this work, we propose using the K semantic framework, a provably sound and complete modeling methodology, to integrate BRS into rewriting logic. This approach offers a high level specification of bigraphical systems without any encoding or translation process. Moreover, we are also able to formally reason on it. Finally, we illustrate the use of the K-Maude tool through a simple example of a packet transport.
Commentaires:
http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6516791&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6516791
BibTeX
| @inproceedings { | |||
| DFB14a, | |||
| title | = | "{Defining and Executing Bigraphical Model in Maude }", | |
| author | = | " M. Djenouhat and B. F and K. Barkaoui ", | |
| booktitle | = | "{The 5th International Conference on Communications, Computers and Applications -MIC-CCA 2012}", | |
| year | = | 2014, | |
| edition | = | "IEEE", | |
| month | = | "October", | |
| pages | = | "101-106", | |
| address | = | "Istanbul, Turkey", | |
| note | = | "{http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=6516791&url=http%3A%2F%2Fieeexplore.ieee.org%2Fxpls%2Fabs_all.jsp%3Farnumber%3D6516791 }", | |
| } | |||
