Show simple item record  

dc.contributor.authorReeves, Steveen_US
dc.contributor.authorStreader, Daviden_US
dc.date.accessioned2008-03-19T04:58:06Z
dc.date.available2007-07-24en_US
dc.date.available2008-03-19T04:58:06Z
dc.date.issued2005-01-01en_US
dc.identifier.citationReeves, S., & Streader, D. (2005). Stepwise refinement of processes. (Working paper series. University of Waikato, Department of Computer Science. No. 07/2005). Hamilton, New Zealand: University of Waikato.en_US
dc.identifier.urihttps://hdl.handle.net/10289/49
dc.description.abstractIndustry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state-based reasoning. One of the first steps in building an event-based model is to decide upon a set of atomic actions. This choice will depend on the formalism used, and may restrict in quite unexpected ways what we are able to formalise. In this paper we illustrate some limits to developing real world processes using existing formalisms, and we define a new notion of refinement, vertical refinement, which addresses some of these limitations. We show that using vertical refinement we can rewrite specification into a different formalism, allowing us to move between handshake processes, broadcast processes and abstract data types.en_US
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.subjectcomponentsen_US
dc.subjectprocessen_US
dc.subjectvertical refinenementen_US
dc.titleStepwise refinement of processesen_US
dc.typeWorking Paperen_US


Files in this item

This item appears in the following Collection(s)

Show simple item record