Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056569608> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2056569608 endingPage "61" @default.
- W2056569608 startingPage "61" @default.
- W2056569608 abstract "The authors propose a specification style which combines the features and advantages of object-oriented and constraint-oriented system decomposition. A system description is decomposed into data-handling objects, which usually reflect objects and individual operations in the real system, and temporal-ordering constraints, which capture aspects of functionality as behavioural sequences, with a possibility to also introduce entities which blur the distinction between these two extreme cases. Composition is achieved via synchronisation on shared operations: different objects/constraints insisting on an operation express different views on the enabling conditions and effects of that operation. Objects, constraints, and their composition can be formally specified in Object-Z, an object-oriented extension of the Z notation, with pure temporal ordering constraints equivalently expressed as transition graphs. However, expressing object/constraint compositions in Object-Z is cumbersome. This problem is solved by proposing a natural textual notation, called co-expression, which is a most direct description of an object/constraint interconnection graph, and we define a mapping from co-expressions to Object-Z. Thus, specifications in an object/constraint-oriented style can be conveniently written using transition graphs and interconnection diagrams mixed with Object-Z text, and then translated into this language." @default.
- W2056569608 created "2016-06-24" @default.
- W2056569608 creator A5011918138 @default.
- W2056569608 creator A5060549428 @default.
- W2056569608 date "1998-01-01" @default.
- W2056569608 modified "2023-09-26" @default.
- W2056569608 title "Constraint-oriented style for object-oriented formal specification" @default.
- W2056569608 cites W116936262 @default.
- W2056569608 cites W1528437223 @default.
- W2056569608 cites W1593065203 @default.
- W2056569608 cites W2004442217 @default.
- W2056569608 cites W2121372686 @default.
- W2056569608 cites W2155570292 @default.
- W2056569608 doi "https://doi.org/10.1049/ip-sen:19986907" @default.
- W2056569608 hasPublicationYear "1998" @default.
- W2056569608 type Work @default.
- W2056569608 sameAs 2056569608 @default.
- W2056569608 citedByCount "3" @default.
- W2056569608 countsByYear W20565696082019 @default.
- W2056569608 crossrefType "journal-article" @default.
- W2056569608 hasAuthorship W2056569608A5011918138 @default.
- W2056569608 hasAuthorship W2056569608A5060549428 @default.
- W2056569608 hasConcept C116253237 @default.
- W2056569608 hasConcept C154945302 @default.
- W2056569608 hasConcept C199360897 @default.
- W2056569608 hasConcept C2524010 @default.
- W2056569608 hasConcept C2776036281 @default.
- W2056569608 hasConcept C2781238097 @default.
- W2056569608 hasConcept C33923547 @default.
- W2056569608 hasConcept C41008148 @default.
- W2056569608 hasConcept C45357846 @default.
- W2056569608 hasConcept C73752529 @default.
- W2056569608 hasConcept C80444323 @default.
- W2056569608 hasConcept C94375191 @default.
- W2056569608 hasConceptScore W2056569608C116253237 @default.
- W2056569608 hasConceptScore W2056569608C154945302 @default.
- W2056569608 hasConceptScore W2056569608C199360897 @default.
- W2056569608 hasConceptScore W2056569608C2524010 @default.
- W2056569608 hasConceptScore W2056569608C2776036281 @default.
- W2056569608 hasConceptScore W2056569608C2781238097 @default.
- W2056569608 hasConceptScore W2056569608C33923547 @default.
- W2056569608 hasConceptScore W2056569608C41008148 @default.
- W2056569608 hasConceptScore W2056569608C45357846 @default.
- W2056569608 hasConceptScore W2056569608C73752529 @default.
- W2056569608 hasConceptScore W2056569608C80444323 @default.
- W2056569608 hasConceptScore W2056569608C94375191 @default.
- W2056569608 hasIssue "2-3" @default.
- W2056569608 hasLocation W20565696081 @default.
- W2056569608 hasOpenAccess W2056569608 @default.
- W2056569608 hasPrimaryLocation W20565696081 @default.
- W2056569608 hasRelatedWork W1500091664 @default.
- W2056569608 hasRelatedWork W1503072724 @default.
- W2056569608 hasRelatedWork W1517473042 @default.
- W2056569608 hasRelatedWork W1589780954 @default.
- W2056569608 hasRelatedWork W1596779761 @default.
- W2056569608 hasRelatedWork W1599593529 @default.
- W2056569608 hasRelatedWork W1884942290 @default.
- W2056569608 hasRelatedWork W2056569608 @default.
- W2056569608 hasRelatedWork W2574598520 @default.
- W2056569608 hasRelatedWork W2808767067 @default.
- W2056569608 hasVolume "145" @default.
- W2056569608 isParatext "false" @default.
- W2056569608 isRetracted "false" @default.
- W2056569608 magId "2056569608" @default.
- W2056569608 workType "article" @default.