Matches in SemOpenAlex for { <https://semopenalex.org/work/W1543017360> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1543017360 endingPage "223" @default.
- W1543017360 startingPage "212" @default.
- W1543017360 abstract "The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational objects provide a functional decomposition of the system, independently of its distribution. Although several notations have been proposed to model this ODP viewpoint, either they are not expressive enough to faithfully represent all its concepts, or they tend to suffer from a lack of formal support. We explore the use of Maude as a formal notation for writing ODP computational viewpoint specifications. Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. We show how Maude offers a simple, natural, and accurate way of modelling the ODP computational viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them." @default.
- W1543017360 created "2016-06-24" @default.
- W1543017360 creator A5003199242 @default.
- W1543017360 creator A5055000106 @default.
- W1543017360 date "2004-09-20" @default.
- W1543017360 modified "2023-10-02" @default.
- W1543017360 title "Formalizing ODP computational viewpoint specifications in Maude" @default.
- W1543017360 cites W1485132464 @default.
- W1543017360 cites W1493541274 @default.
- W1543017360 cites W1499686812 @default.
- W1543017360 cites W1525082503 @default.
- W1543017360 cites W1552811249 @default.
- W1543017360 cites W1552815238 @default.
- W1543017360 cites W1668251188 @default.
- W1543017360 cites W1678943029 @default.
- W1543017360 cites W1976195354 @default.
- W1543017360 cites W1993712856 @default.
- W1543017360 cites W2001487918 @default.
- W1543017360 cites W2062555630 @default.
- W1543017360 cites W2097883632 @default.
- W1543017360 cites W2104717300 @default.
- W1543017360 cites W2111669058 @default.
- W1543017360 cites W2118341327 @default.
- W1543017360 cites W2122824813 @default.
- W1543017360 cites W2123431646 @default.
- W1543017360 cites W2134287022 @default.
- W1543017360 cites W2135692276 @default.
- W1543017360 cites W2147444288 @default.
- W1543017360 cites W2153385696 @default.
- W1543017360 cites W2157479553 @default.
- W1543017360 cites W44661191 @default.
- W1543017360 cites W55294761 @default.
- W1543017360 doi "https://doi.org/10.1109/edoc.2004.12" @default.
- W1543017360 hasPublicationYear "2004" @default.
- W1543017360 type Work @default.
- W1543017360 sameAs 1543017360 @default.
- W1543017360 citedByCount "9" @default.
- W1543017360 countsByYear W15430173602013 @default.
- W1543017360 crossrefType "proceedings-article" @default.
- W1543017360 hasAuthorship W1543017360A5003199242 @default.
- W1543017360 hasAuthorship W1543017360A5055000106 @default.
- W1543017360 hasConcept C116253237 @default.
- W1543017360 hasConcept C154690210 @default.
- W1543017360 hasConcept C154945302 @default.
- W1543017360 hasConcept C160145156 @default.
- W1543017360 hasConcept C199360897 @default.
- W1543017360 hasConcept C33923547 @default.
- W1543017360 hasConcept C41008148 @default.
- W1543017360 hasConcept C45357846 @default.
- W1543017360 hasConcept C66024118 @default.
- W1543017360 hasConcept C94375191 @default.
- W1543017360 hasConceptScore W1543017360C116253237 @default.
- W1543017360 hasConceptScore W1543017360C154690210 @default.
- W1543017360 hasConceptScore W1543017360C154945302 @default.
- W1543017360 hasConceptScore W1543017360C160145156 @default.
- W1543017360 hasConceptScore W1543017360C199360897 @default.
- W1543017360 hasConceptScore W1543017360C33923547 @default.
- W1543017360 hasConceptScore W1543017360C41008148 @default.
- W1543017360 hasConceptScore W1543017360C45357846 @default.
- W1543017360 hasConceptScore W1543017360C66024118 @default.
- W1543017360 hasConceptScore W1543017360C94375191 @default.
- W1543017360 hasLocation W15430173601 @default.
- W1543017360 hasOpenAccess W1543017360 @default.
- W1543017360 hasPrimaryLocation W15430173601 @default.
- W1543017360 hasRelatedWork W122153333 @default.
- W1543017360 hasRelatedWork W127914462 @default.
- W1543017360 hasRelatedWork W1514802904 @default.
- W1543017360 hasRelatedWork W1561764937 @default.
- W1543017360 hasRelatedWork W1570275172 @default.
- W1543017360 hasRelatedWork W1575606589 @default.
- W1543017360 hasRelatedWork W181636263 @default.
- W1543017360 hasRelatedWork W1988608457 @default.
- W1543017360 hasRelatedWork W2105429231 @default.
- W1543017360 hasRelatedWork W2113049446 @default.
- W1543017360 hasRelatedWork W2135692276 @default.
- W1543017360 hasRelatedWork W2189300559 @default.
- W1543017360 hasRelatedWork W2204539998 @default.
- W1543017360 hasRelatedWork W2291085339 @default.
- W1543017360 hasRelatedWork W2293796407 @default.
- W1543017360 hasRelatedWork W2346658183 @default.
- W1543017360 hasRelatedWork W2521876884 @default.
- W1543017360 hasRelatedWork W2546793904 @default.
- W1543017360 hasRelatedWork W3102782445 @default.
- W1543017360 hasRelatedWork W2182048919 @default.
- W1543017360 isParatext "false" @default.
- W1543017360 isRetracted "false" @default.
- W1543017360 magId "1543017360" @default.
- W1543017360 workType "article" @default.