Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/40036
Title: Relating π-calculus to Object-Z
Authors: Taguchi, K.
Dong, J.S. 
Ciobanu, G.
Issue Date: 2004
Source: 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.

Page view(s)

75
checked on Dec 9, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.