Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137606774> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2137606774 abstract "A discussion is presented of the main formal techniques developed for designing hierarchies of protocols and services in complex distributed systems. The corresponding approaches and tools are based on the use of formal techniques. Emphasis is on a coherent approach which allows simultaneous handling of function-related and time-related requirements. As a consequence, a state-based methodology is presented which includes extended-time Petri nets and the formal description technique Estelle for behavioral and performance descriptions, including logic and projections for verification. It is shown how extended-time Petri net models can be combined with Estelle to describe dynamic structures and dynamic communication in hierarchies of processes. In addition some of the many techniques under development are presented, and a global classification is provided from which the structure of a complete design workstation could be derived. >" @default.
- W2137606774 created "2016-06-24" @default.
- W2137606774 creator A5018022988 @default.
- W2137606774 creator A5088448470 @default.
- W2137606774 date "2002-12-04" @default.
- W2137606774 modified "2023-09-30" @default.
- W2137606774 title "Models and environments for designing open distributed systems using formal approaches" @default.
- W2137606774 cites W1569535310 @default.
- W2137606774 cites W1601658152 @default.
- W2137606774 cites W17298196 @default.
- W2137606774 cites W182540812 @default.
- W2137606774 cites W1994350081 @default.
- W2137606774 cites W2004638475 @default.
- W2137606774 cites W202202796 @default.
- W2137606774 cites W2027232632 @default.
- W2137606774 cites W2058178813 @default.
- W2137606774 cites W2087827641 @default.
- W2137606774 cites W2125739093 @default.
- W2137606774 cites W21371323 @default.
- W2137606774 cites W2138723607 @default.
- W2137606774 cites W2279838076 @default.
- W2137606774 doi "https://doi.org/10.1109/ftdcs.1990.138363" @default.
- W2137606774 hasPublicationYear "2002" @default.
- W2137606774 type Work @default.
- W2137606774 sameAs 2137606774 @default.
- W2137606774 citedByCount "0" @default.
- W2137606774 crossrefType "proceedings-article" @default.
- W2137606774 hasAuthorship W2137606774A5018022988 @default.
- W2137606774 hasAuthorship W2137606774A5088448470 @default.
- W2137606774 hasConcept C111498074 @default.
- W2137606774 hasConcept C111919701 @default.
- W2137606774 hasConcept C115903868 @default.
- W2137606774 hasConcept C116253237 @default.
- W2137606774 hasConcept C120314980 @default.
- W2137606774 hasConcept C136155141 @default.
- W2137606774 hasConcept C14036430 @default.
- W2137606774 hasConcept C146072743 @default.
- W2137606774 hasConcept C199360897 @default.
- W2137606774 hasConcept C25016198 @default.
- W2137606774 hasConcept C2985583900 @default.
- W2137606774 hasConcept C38677869 @default.
- W2137606774 hasConcept C41008148 @default.
- W2137606774 hasConcept C67953723 @default.
- W2137606774 hasConcept C75606506 @default.
- W2137606774 hasConcept C78458016 @default.
- W2137606774 hasConcept C80444323 @default.
- W2137606774 hasConcept C86803240 @default.
- W2137606774 hasConceptScore W2137606774C111498074 @default.
- W2137606774 hasConceptScore W2137606774C111919701 @default.
- W2137606774 hasConceptScore W2137606774C115903868 @default.
- W2137606774 hasConceptScore W2137606774C116253237 @default.
- W2137606774 hasConceptScore W2137606774C120314980 @default.
- W2137606774 hasConceptScore W2137606774C136155141 @default.
- W2137606774 hasConceptScore W2137606774C14036430 @default.
- W2137606774 hasConceptScore W2137606774C146072743 @default.
- W2137606774 hasConceptScore W2137606774C199360897 @default.
- W2137606774 hasConceptScore W2137606774C25016198 @default.
- W2137606774 hasConceptScore W2137606774C2985583900 @default.
- W2137606774 hasConceptScore W2137606774C38677869 @default.
- W2137606774 hasConceptScore W2137606774C41008148 @default.
- W2137606774 hasConceptScore W2137606774C67953723 @default.
- W2137606774 hasConceptScore W2137606774C75606506 @default.
- W2137606774 hasConceptScore W2137606774C78458016 @default.
- W2137606774 hasConceptScore W2137606774C80444323 @default.
- W2137606774 hasConceptScore W2137606774C86803240 @default.
- W2137606774 hasLocation W21376067741 @default.
- W2137606774 hasOpenAccess W2137606774 @default.
- W2137606774 hasPrimaryLocation W21376067741 @default.
- W2137606774 hasRelatedWork W1519548086 @default.
- W2137606774 hasRelatedWork W1597145011 @default.
- W2137606774 hasRelatedWork W1966315907 @default.
- W2137606774 hasRelatedWork W2000256138 @default.
- W2137606774 hasRelatedWork W2017092186 @default.
- W2137606774 hasRelatedWork W2028067644 @default.
- W2137606774 hasRelatedWork W2081043708 @default.
- W2137606774 hasRelatedWork W2085307639 @default.
- W2137606774 hasRelatedWork W2126061075 @default.
- W2137606774 hasRelatedWork W2138723607 @default.
- W2137606774 hasRelatedWork W2143408821 @default.
- W2137606774 hasRelatedWork W2150558954 @default.
- W2137606774 hasRelatedWork W2156863557 @default.
- W2137606774 hasRelatedWork W2169222735 @default.
- W2137606774 hasRelatedWork W2169448846 @default.
- W2137606774 hasRelatedWork W2484530400 @default.
- W2137606774 hasRelatedWork W2537310196 @default.
- W2137606774 hasRelatedWork W3023220955 @default.
- W2137606774 hasRelatedWork W54683905 @default.
- W2137606774 hasRelatedWork W63448755 @default.
- W2137606774 isParatext "false" @default.
- W2137606774 isRetracted "false" @default.
- W2137606774 magId "2137606774" @default.
- W2137606774 workType "article" @default.