Please use this identifier to cite or link to this item:
|Title:||Relating π-calculus to Object-Z||Authors:||Taguchi, K.
|Issue Date:||2004||Citation:||Taguchi, K.,Dong, J.S.,Ciobanu, G. (2004). Relating π-calculus to Object-Z. Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS : 97-106. ScholarBank@NUS Repository.||Abstract:||Software systems have become increasingly distributed, dynamic and mobile. The complex state and dynamic interfaces of software components and their concurrent interactions provide challenging research issues in system specification and design. An effective combination of structured state-based formalism and dynamic action-based calculus may be a good solution for modeling complex distributed mobile systems. In this paper, we investigate the semantic links between Object-Z and π-calculus and consequently introduce a powerful specification technique PiOZ that brings the strengths of the two together. The operational semantics of PiOZ integrates state transition semantics of Object-Z and π-calculus reduction rules. The typing rules of PiOZ are developed and reasoning of a system property is presented.||Source Title:||Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS||URI:||http://scholarbank.nus.edu.sg/handle/10635/40036|
|Appears in Collections:||Staff Publications|
Show full item record
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.