Matches in SemOpenAlex for { <https://semopenalex.org/work/W2084161330> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2084161330 endingPage "159" @default.
- W2084161330 startingPage "125" @default.
- W2084161330 abstract "Abstract. An important aspect in the specification of distributed systems is the role of the internal (or unobservable) operation. Such operations are not part of the interface to the environment (i.e. the user cannot invoke them), however, they are essential to our understanding and correct modelling of the system. In this paper we are interested in the use of the formal specification notation Z for the description of distributed systems. Various conventions have been employed to model internal operations when specifying such systems in Z. If internal operations are distinguished in the specification notation, then refinement needs to deal with internal operations in appropriate ways. Using an example of a telecommunications protocol we show that standard Z refinement is inappropriate for refining a system when internal operations are specified explicitly. We present a generalisation of Z refinement, called weak refinement, which treats internal operations differently from observable operations when refining a system. We discuss the role of internal operations in a Z specification, and in particular whether an equivalent specification not containing internal operations can be found. The nature of divergence through livelock is also discussed." @default.
- W2084161330 created "2016-06-24" @default.
- W2084161330 creator A5011062278 @default.
- W2084161330 creator A5053719599 @default.
- W2084161330 creator A5059470549 @default.
- W2084161330 creator A5060549428 @default.
- W2084161330 date "1998-11-01" @default.
- W2084161330 modified "2023-09-27" @default.
- W2084161330 title "Specifying and Refining Internal Operations in Z" @default.
- W2084161330 cites W123523327 @default.
- W2084161330 cites W1481411992 @default.
- W2084161330 cites W2006218759 @default.
- W2084161330 cites W2102097307 @default.
- W2084161330 cites W2121372686 @default.
- W2084161330 cites W2157144873 @default.
- W2084161330 doi "https://doi.org/10.1007/s001650050007" @default.
- W2084161330 hasPublicationYear "1998" @default.
- W2084161330 type Work @default.
- W2084161330 sameAs 2084161330 @default.
- W2084161330 citedByCount "19" @default.
- W2084161330 countsByYear W20841613302013 @default.
- W2084161330 countsByYear W20841613302014 @default.
- W2084161330 countsByYear W20841613302018 @default.
- W2084161330 countsByYear W20841613302019 @default.
- W2084161330 crossrefType "journal-article" @default.
- W2084161330 hasAuthorship W2084161330A5011062278 @default.
- W2084161330 hasAuthorship W2084161330A5053719599 @default.
- W2084161330 hasAuthorship W2084161330A5059470549 @default.
- W2084161330 hasAuthorship W2084161330A5060549428 @default.
- W2084161330 hasBestOaLocation W20841613301 @default.
- W2084161330 hasConcept C116253237 @default.
- W2084161330 hasConcept C147789679 @default.
- W2084161330 hasConcept C149782125 @default.
- W2084161330 hasConcept C185592680 @default.
- W2084161330 hasConcept C199360897 @default.
- W2084161330 hasConcept C2780695315 @default.
- W2084161330 hasConcept C33923547 @default.
- W2084161330 hasConcept C41008148 @default.
- W2084161330 hasConcept C45357846 @default.
- W2084161330 hasConcept C60044698 @default.
- W2084161330 hasConcept C80444323 @default.
- W2084161330 hasConcept C90483712 @default.
- W2084161330 hasConcept C94375191 @default.
- W2084161330 hasConceptScore W2084161330C116253237 @default.
- W2084161330 hasConceptScore W2084161330C147789679 @default.
- W2084161330 hasConceptScore W2084161330C149782125 @default.
- W2084161330 hasConceptScore W2084161330C185592680 @default.
- W2084161330 hasConceptScore W2084161330C199360897 @default.
- W2084161330 hasConceptScore W2084161330C2780695315 @default.
- W2084161330 hasConceptScore W2084161330C33923547 @default.
- W2084161330 hasConceptScore W2084161330C41008148 @default.
- W2084161330 hasConceptScore W2084161330C45357846 @default.
- W2084161330 hasConceptScore W2084161330C60044698 @default.
- W2084161330 hasConceptScore W2084161330C80444323 @default.
- W2084161330 hasConceptScore W2084161330C90483712 @default.
- W2084161330 hasConceptScore W2084161330C94375191 @default.
- W2084161330 hasIssue "2" @default.
- W2084161330 hasLocation W20841613301 @default.
- W2084161330 hasLocation W20841613302 @default.
- W2084161330 hasOpenAccess W2084161330 @default.
- W2084161330 hasPrimaryLocation W20841613301 @default.
- W2084161330 hasRelatedWork W1500091664 @default.
- W2084161330 hasRelatedWork W1500473389 @default.
- W2084161330 hasRelatedWork W1575203440 @default.
- W2084161330 hasRelatedWork W2084161330 @default.
- W2084161330 hasRelatedWork W2090686886 @default.
- W2084161330 hasRelatedWork W2140467164 @default.
- W2084161330 hasRelatedWork W2162611322 @default.
- W2084161330 hasRelatedWork W2164213600 @default.
- W2084161330 hasRelatedWork W2565237831 @default.
- W2084161330 hasRelatedWork W285671046 @default.
- W2084161330 hasVolume "10" @default.
- W2084161330 isParatext "false" @default.
- W2084161330 isRetracted "false" @default.
- W2084161330 magId "2084161330" @default.
- W2084161330 workType "article" @default.