State-based and process-based value passing

Simple item page
dc.contributor.authorReeves, Steve
dc.contributor.authorStreader, David
dc.coverage.spatialConference held at Pisa, Italyen_NZ
dc.date.accessioned2008-12-17T23:25:01Z
dc.date.available2008-12-17T23:25:01Z
dc.date.issued2003
dc.description.abstractState-based and process-based formalisms each come with their own distinct set of assumptions and properties. To combine them in a useful way it is important to be sure of these assumptions in order that the formalisms are combined in ways which have, or which allow, the intended combined properties. Consequently we cannot necessarily expect to take on state-based formalism and one process-based formalism and combine them and get something sensible, especially since the act of combining can have subtle consequences. Here we concentrate on value-passing, how it is treated in each formalism, and how the formalisms can be combined so as to preserve certain properties. Specifically, the aim is to take from the many process-based formalisms definitions that will best fit with our chosen stat-based formalism, namely Z, so that the fit is simple, has no unintended consequences and is as elegant as possible.en_US
dc.format.mimetypeapplication/pdf
dc.identifier.citationReeves, S. & Streader, D. (2003) State-based and process-based value passing, In Proceedings of ST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specifi.en_US
dc.identifier.urihttps://hdl.handle.net/10289/1718
dc.language.isoen
dc.publisherFormal Methods Europeen_NZ
dc.relation.isPartOfST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specification and Software Engineeringen_NZ
dc.relation.urihttp://fme03.isti.cnr.it/SteveHomePage.htmlen_US
dc.rightsThis article has been published in the Proceedings of ST.EVE Workshop: State-oriented vs. Event-oriented thinking in Requirements Analysis, Formal Specifi.en_US
dc.subjectcomputer scienceen_US
dc.subjecttransition systemsen_US
dc.subjectZen_US
dc.subjectvalue-passingen_US
dc.titleState-based and process-based value passingen_US
dc.typeConference Contributionen_US
pubs.begin-page1en_NZ
pubs.elements-id16196
pubs.end-page10en_NZ
pubs.finish-date2003-09-13en_NZ
pubs.start-date2003-09-13en_NZ
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
state-based and process-based value-passing.pdf
Size:
160.09 KB
Format:
Adobe Portable Document Format
Thumbnail Image
Name: state-based and process-based value-passing.pdf
Size: 160.09 KB
Kind: Adobe PDF
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.79 KB
Format:
Item-specific license agreed upon to submission
Description:
Name: license.txt
Size: 1.79 KB
Kind: License
Collections
Computing and Mathematical Sciences Papers