FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2140286222> ?p ?o ?g. }

• W2140286222 endingPage "274" @default.
• W2140286222 startingPage "249" @default.
• W2140286222 abstract "We present a formal approach for modeling complex commands characterized by heavy overloading of function, large numbers of parameters, dependencies among parameters, subtle side effects, and lack of abstraction. Complex commands arise in a variety of business settings such as requesting a brokerage order, enrolling in a course, and specifying a product order. In addition, complex commands are also prevalent where specification of commands is strictly separated from multiple, independent implementations as in open software standards. Our approach is based on an inheritance structure known as a command lattice. Like other forms of inheritance, command lattices support incremental definition and abbreviation of specifications. Because a complete command lattice can have a large number of specifications, we develop another structure known as a minimal command tree in which a command lattice is derived from a much smaller number of independent specifications. To map from a minimal command tree to a command lattice, we present algorithms that materialize an arbitrary node of a command lattice and compactly generate the behavior of a command lattice. To demonstrate the potential of command lattices, we have implemented a set of tools that provide convenient specification and powerful reasoning capabilities. Our tool collection includes the Command Specification Language that supports a precise and rich specification of the structural and behavioral properties of commands, the incremental definition tool that ensures consistency of command lattices, the browsing tool that displays a command's inheritance structure, the type checker that ensures structural consistency of commands in expressions, and the target system tracer that simulates a sequence of command executions. We discuss our experiences applying the tools to IBM's Distributed Data Management, a large scale specification of data access on remote and heterogeneous IBM systems." @default.
• W2140286222 created "2016-06-24" @default.
• W2140286222 creator A5013424651 @default.
• W2140286222 creator A5021016800 @default.
• W2140286222 creator A5044453918 @default.
• W2140286222 creator A5079626507 @default.
• W2140286222 date "1994-09-01" @default.
• W2140286222 modified "2023-09-24" @default.
• W2140286222 title "Formal Modeling of Complex Commands in Industrial Software Specifications" @default.
• W2140286222 cites W1607844375 @default.
• W2140286222 cites W1970495662 @default.
• W2140286222 cites W1979546915 @default.
• W2140286222 cites W1984958950 @default.
• W2140286222 cites W1996750290 @default.
• W2140286222 cites W1997244849 @default.
• W2140286222 cites W2005271522 @default.
• W2140286222 cites W2021686672 @default.
• W2140286222 cites W2027329270 @default.
• W2140286222 cites W2027657506 @default.
• W2140286222 cites W2032753290 @default.
• W2140286222 cites W2064650227 @default.
• W2140286222 cites W2077359497 @default.
• W2140286222 cites W2103953153 @default.
• W2140286222 cites W2110846749 @default.
• W2140286222 cites W2123756630 @default.
• W2140286222 cites W2134984189 @default.
• W2140286222 cites W2144973245 @default.
• W2140286222 cites W2156611852 @default.
• W2140286222 cites W2161825580 @default.
• W2140286222 cites W2168468191 @default.
• W2140286222 cites W2170486381 @default.
• W2140286222 cites W2338335491 @default.
• W2140286222 cites W3146075203 @default.
• W2140286222 cites W50832244 @default.
• W2140286222 doi "https://doi.org/10.1287/isre.5.3.249" @default.
• W2140286222 hasPublicationYear "1994" @default.
• W2140286222 type Work @default.
• W2140286222 sameAs 2140286222 @default.
• W2140286222 citedByCount "0" @default.
• W2140286222 crossrefType "journal-article" @default.
• W2140286222 hasAuthorship W2140286222A5013424651 @default.
• W2140286222 hasAuthorship W2140286222A5021016800 @default.
• W2140286222 hasAuthorship W2140286222A5044453918 @default.
• W2140286222 hasAuthorship W2140286222A5079626507 @default.
• W2140286222 hasConcept C162319229 @default.
• W2140286222 hasConcept C199360897 @default.
• W2140286222 hasConcept C26713055 @default.
• W2140286222 hasConcept C2777904410 @default.
• W2140286222 hasConcept C41008148 @default.
• W2140286222 hasConcept C80444323 @default.
• W2140286222 hasConceptScore W2140286222C162319229 @default.
• W2140286222 hasConceptScore W2140286222C199360897 @default.
• W2140286222 hasConceptScore W2140286222C26713055 @default.
• W2140286222 hasConceptScore W2140286222C2777904410 @default.
• W2140286222 hasConceptScore W2140286222C41008148 @default.
• W2140286222 hasConceptScore W2140286222C80444323 @default.
• W2140286222 hasIssue "3" @default.
• W2140286222 hasLocation W21402862221 @default.
• W2140286222 hasOpenAccess W2140286222 @default.
• W2140286222 hasPrimaryLocation W21402862221 @default.
• W2140286222 hasRelatedWork W1569299328 @default.
• W2140286222 hasRelatedWork W180833630 @default.
• W2140286222 hasRelatedWork W2010426824 @default.
• W2140286222 hasRelatedWork W2115175274 @default.
• W2140286222 hasRelatedWork W2116206868 @default.
• W2140286222 hasRelatedWork W2188073520 @default.
• W2140286222 hasRelatedWork W2280620985 @default.
• W2140286222 hasRelatedWork W2470267985 @default.
• W2140286222 hasRelatedWork W2501636505 @default.
• W2140286222 hasRelatedWork W2552119404 @default.
• W2140286222 hasRelatedWork W2752700320 @default.
• W2140286222 hasRelatedWork W2778214624 @default.
• W2140286222 hasRelatedWork W2786556167 @default.
• W2140286222 hasRelatedWork W2824429000 @default.
• W2140286222 hasRelatedWork W289239838 @default.
• W2140286222 hasRelatedWork W2903351818 @default.
• W2140286222 hasRelatedWork W2962940888 @default.
• W2140286222 hasRelatedWork W2966103861 @default.
• W2140286222 hasRelatedWork W2978795257 @default.
• W2140286222 hasRelatedWork W630781848 @default.
• W2140286222 hasVolume "5" @default.
• W2140286222 isParatext "false" @default.
• W2140286222 isRetracted "false" @default.
• W2140286222 magId "2140286222" @default.
• W2140286222 workType "article" @default.