Matches in SemOpenAlex for { <https://semopenalex.org/work/W80959778> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W80959778 endingPage "66" @default.
- W80959778 startingPage "62" @default.
- W80959778 abstract "A demonstration is given of the use of formal specification to analyse service interaction between the CW service (call-waiting) and the CFB service (call-forwarding-busy). In particular, the interaction identified agrees with T.F. Bowen el al. (1989) informal observation. Informal analysis may suffice for simple services but for complex services, the precision of formal specifications is essential. The problem of specifying a large specification with many services is mitigated by limiting the analysis to shared data. Further enhancement can be made through automation which requires specifications to be written in formal language. Some of the automation techniques are: symbolic execution, theorem provers and prototyping systems. Z and Object-Z are ideal for specifying services as they provided a rich set of mathematical objects e.g. sets, functions, sequences etc. for modelling services. Furthermore Z and Object-Z specifications can be prototyped in Prolog, e.g. a Z operation can be converted to Y.-J. Lin's (1990), Prolog state-translation predicates." @default.
- W80959778 created "2016-06-24" @default.
- W80959778 creator A5086574754 @default.
- W80959778 date "1992-01-01" @default.
- W80959778 modified "2023-09-23" @default.
- W80959778 title "Formal specification-a key to service interactions analysis" @default.
- W80959778 hasPublicationYear "1992" @default.
- W80959778 type Work @default.
- W80959778 sameAs 80959778 @default.
- W80959778 citedByCount "4" @default.
- W80959778 crossrefType "proceedings-article" @default.
- W80959778 hasAuthorship W80959778A5086574754 @default.
- W80959778 hasConcept C111498074 @default.
- W80959778 hasConcept C111919701 @default.
- W80959778 hasConcept C115901376 @default.
- W80959778 hasConcept C115903868 @default.
- W80959778 hasConcept C116253237 @default.
- W80959778 hasConcept C127413603 @default.
- W80959778 hasConcept C136264566 @default.
- W80959778 hasConcept C154945302 @default.
- W80959778 hasConcept C162324750 @default.
- W80959778 hasConcept C177264268 @default.
- W80959778 hasConcept C199360897 @default.
- W80959778 hasConcept C201677973 @default.
- W80959778 hasConcept C26517878 @default.
- W80959778 hasConcept C2780378061 @default.
- W80959778 hasConcept C2781238097 @default.
- W80959778 hasConcept C41008148 @default.
- W80959778 hasConcept C75606506 @default.
- W80959778 hasConcept C78519656 @default.
- W80959778 hasConcept C80444323 @default.
- W80959778 hasConcept C81721847 @default.
- W80959778 hasConceptScore W80959778C111498074 @default.
- W80959778 hasConceptScore W80959778C111919701 @default.
- W80959778 hasConceptScore W80959778C115901376 @default.
- W80959778 hasConceptScore W80959778C115903868 @default.
- W80959778 hasConceptScore W80959778C116253237 @default.
- W80959778 hasConceptScore W80959778C127413603 @default.
- W80959778 hasConceptScore W80959778C136264566 @default.
- W80959778 hasConceptScore W80959778C154945302 @default.
- W80959778 hasConceptScore W80959778C162324750 @default.
- W80959778 hasConceptScore W80959778C177264268 @default.
- W80959778 hasConceptScore W80959778C199360897 @default.
- W80959778 hasConceptScore W80959778C201677973 @default.
- W80959778 hasConceptScore W80959778C26517878 @default.
- W80959778 hasConceptScore W80959778C2780378061 @default.
- W80959778 hasConceptScore W80959778C2781238097 @default.
- W80959778 hasConceptScore W80959778C41008148 @default.
- W80959778 hasConceptScore W80959778C75606506 @default.
- W80959778 hasConceptScore W80959778C78519656 @default.
- W80959778 hasConceptScore W80959778C80444323 @default.
- W80959778 hasConceptScore W80959778C81721847 @default.
- W80959778 hasIssue "352" @default.
- W80959778 hasLocation W809597781 @default.
- W80959778 hasOpenAccess W80959778 @default.
- W80959778 hasPrimaryLocation W809597781 @default.
- W80959778 hasRelatedWork W1533776068 @default.
- W80959778 hasRelatedWork W1804863787 @default.
- W80959778 hasRelatedWork W1982478929 @default.
- W80959778 hasRelatedWork W2000055725 @default.
- W80959778 hasRelatedWork W2004593844 @default.
- W80959778 hasRelatedWork W200871207 @default.
- W80959778 hasRelatedWork W2011223334 @default.
- W80959778 hasRelatedWork W2032762813 @default.
- W80959778 hasRelatedWork W2036382031 @default.
- W80959778 hasRelatedWork W2049299805 @default.
- W80959778 hasRelatedWork W2092265221 @default.
- W80959778 hasRelatedWork W2116437857 @default.
- W80959778 hasRelatedWork W2138340574 @default.
- W80959778 hasRelatedWork W2143318901 @default.
- W80959778 hasRelatedWork W2150728502 @default.
- W80959778 hasRelatedWork W2161481685 @default.
- W80959778 hasRelatedWork W2163261967 @default.
- W80959778 hasRelatedWork W2260546624 @default.
- W80959778 isParatext "false" @default.
- W80959778 isRetracted "false" @default.
- W80959778 magId "80959778" @default.
- W80959778 workType "article" @default.