Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Extending Formal Methods for Software-Intensive Systems
Software-Intensive Systems and New Computing Paradigms
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
A polyadic pi-calculus approach for the formal specification of UML-RT
Advances in Software Engineering
Hi-index | 0.00 |
Software systems have become increasingly distributed,dynamic and mobile. The complex state and dynamic interfacesof software components and their concurrent interactionsprovide challenging research issues in system specification and design. An effective combination of structured state-based formalism and dynamic action-based calculusmay be a good solution for modeling complex distributedmobile systems. In this paper, we investigate the semanticlinks between Object-Z and 驴 calculus and consequently introducea powerful specification technique PiOZ that bringsthe strengths of the two together. The operational semanticsof PiOZ integrates state transition semantics of Object-Z and 驴-calculus reduction rules. The typing rules of PiOZare developed and reasoning of a system property is presented.