Stepwise refinement of processes

Simple item page
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.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.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.language.isoen
dc.subjectcomponentsen_US
dc.subjectprocessen_US
dc.subjectvertical refinenementen_US
dc.titleStepwise refinement of processesen_US
dc.typeWorking Paperen_US
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
content.pdf
Size:
241.3 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: content.pdf
Size: 241.3 KB
Kind: Adobe PDF
Collections
2005 Working Papers