Specification of Reconfigurable MAS: A Hybrid Formal Approach
In this short paper we suggest that Population P Systems and Communication X-machines may be combined into one hybrid formal method which facilitates the correct specification of reconfigurable multi-agent systems.
KeywordsFormal Method Division Rule Communication Rule Model Check Technique Complex Computer System
Unable to display preview. Download preview PDF.
- 1.Gheorghe, M. (ed.): Molecular Computational Models: Unconventional Approaches. Idea Publishing Inc. (2005)Google Scholar
- 2.Păun, G.: Computing with membranes. Journal of Computer and System Sciences 61, 108–143 (2000); also circulated as a TUCS report since (1998)Google Scholar
- 3.Rouf, C., Vanderbilt, A., Truszkowski, W., Rash, J., Hinchey, M.: Verification of NASA emergent systems. In: Proceedings of the 9th IEEE International Conference on Engineering Complex Computer Systems (ICECCS 2004), pp. 231–238 (2004)Google Scholar
- 8.Eleftherakis, G.: Formal Verification of X-machine Models: Towards Formal Development of Computer-based Systems. PhD thesis, Dept. of Computer Science, Univ. of Sheffield (2003)Google Scholar