Matches in SemOpenAlex for { <https://semopenalex.org/work/W2144576754> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2144576754 endingPage "24" @default.
- W2144576754 startingPage "15" @default.
- W2144576754 abstract "The Minimally Adequate Synthesizer (MAS) is an interactive algorithm that synthesizes UML statechart diagrams from sequence diagrams. It follows D. Angluin's (1987) framework of a minimally adequate teacher to infer the desired statechart diagram by consulting the user. To minimize the number of consultations needed, MAS keeps track of the interaction with the user. Together with its general knowledge about sequence diagrams, this makes MAS operate mostly without the user's help, but allowing him to guide the process at critical points. In this paper, we discuss the MAS algorithm and its practical implementation, integrated with a real-world UML modeling tool, the Nokia TDE (The Design Environment). Moreover, we discuss the interaction between the algorithm and the user as a medium for improving the algorithm and for further reducing the number of user consultations needed. Furthermore, we show how MAS can be used to incrementally synthesize sequence diagrams into an edited or a manually constructed statechart diagram. Totally automatic synthesis algorithms may result in a state machine that contains undesired generalizations. Because MAS consults the user during the synthesis process, the user can be confident that such generalizations do not appear in the resulting statechart diagram." @default.
- W2144576754 created "2016-06-24" @default.
- W2144576754 creator A5044051240 @default.
- W2144576754 creator A5051037351 @default.
- W2144576754 date "2001-07-01" @default.
- W2144576754 modified "2023-09-23" @default.
- W2144576754 title "MAS — an interactive synthesizer to support behavioral modelling in UML" @default.
- W2144576754 cites W116697804 @default.
- W2144576754 cites W1535681052 @default.
- W2144576754 cites W1582068322 @default.
- W2144576754 cites W1671209498 @default.
- W2144576754 cites W1860834393 @default.
- W2144576754 cites W1989445634 @default.
- W2144576754 cites W1993921835 @default.
- W2144576754 cites W1998017916 @default.
- W2144576754 cites W2061079066 @default.
- W2144576754 cites W2099529102 @default.
- W2144576754 cites W2102071894 @default.
- W2144576754 cites W2110536119 @default.
- W2144576754 cites W2112902853 @default.
- W2144576754 cites W2118123109 @default.
- W2144576754 cites W2118180631 @default.
- W2144576754 cites W2131824369 @default.
- W2144576754 doi "https://doi.org/10.5555/381473.381475" @default.
- W2144576754 hasPublicationYear "2001" @default.
- W2144576754 type Work @default.
- W2144576754 sameAs 2144576754 @default.
- W2144576754 citedByCount "45" @default.
- W2144576754 countsByYear W21445767542012 @default.
- W2144576754 countsByYear W21445767542016 @default.
- W2144576754 crossrefType "proceedings-article" @default.
- W2144576754 hasAuthorship W2144576754A5044051240 @default.
- W2144576754 hasAuthorship W2144576754A5051037351 @default.
- W2144576754 hasConcept C107457646 @default.
- W2144576754 hasConcept C145644426 @default.
- W2144576754 hasConcept C153185123 @default.
- W2144576754 hasConcept C161756209 @default.
- W2144576754 hasConcept C16671368 @default.
- W2144576754 hasConcept C167822520 @default.
- W2144576754 hasConcept C186399060 @default.
- W2144576754 hasConcept C199360897 @default.
- W2144576754 hasConcept C202446494 @default.
- W2144576754 hasConcept C2777904410 @default.
- W2144576754 hasConcept C2778112365 @default.
- W2144576754 hasConcept C41008148 @default.
- W2144576754 hasConcept C54355233 @default.
- W2144576754 hasConcept C64219723 @default.
- W2144576754 hasConcept C77088390 @default.
- W2144576754 hasConcept C86803240 @default.
- W2144576754 hasConcept C98045186 @default.
- W2144576754 hasConceptScore W2144576754C107457646 @default.
- W2144576754 hasConceptScore W2144576754C145644426 @default.
- W2144576754 hasConceptScore W2144576754C153185123 @default.
- W2144576754 hasConceptScore W2144576754C161756209 @default.
- W2144576754 hasConceptScore W2144576754C16671368 @default.
- W2144576754 hasConceptScore W2144576754C167822520 @default.
- W2144576754 hasConceptScore W2144576754C186399060 @default.
- W2144576754 hasConceptScore W2144576754C199360897 @default.
- W2144576754 hasConceptScore W2144576754C202446494 @default.
- W2144576754 hasConceptScore W2144576754C2777904410 @default.
- W2144576754 hasConceptScore W2144576754C2778112365 @default.
- W2144576754 hasConceptScore W2144576754C41008148 @default.
- W2144576754 hasConceptScore W2144576754C54355233 @default.
- W2144576754 hasConceptScore W2144576754C64219723 @default.
- W2144576754 hasConceptScore W2144576754C77088390 @default.
- W2144576754 hasConceptScore W2144576754C86803240 @default.
- W2144576754 hasConceptScore W2144576754C98045186 @default.
- W2144576754 hasLocation W21445767541 @default.
- W2144576754 hasOpenAccess W2144576754 @default.
- W2144576754 hasPrimaryLocation W21445767541 @default.
- W2144576754 hasRelatedWork W1493273010 @default.
- W2144576754 hasRelatedWork W1592055490 @default.
- W2144576754 hasRelatedWork W1671209498 @default.
- W2144576754 hasRelatedWork W1860834393 @default.
- W2144576754 hasRelatedWork W1989445634 @default.
- W2144576754 hasRelatedWork W2017959828 @default.
- W2144576754 hasRelatedWork W2024445190 @default.
- W2144576754 hasRelatedWork W2055856946 @default.
- W2144576754 hasRelatedWork W2060910670 @default.
- W2144576754 hasRelatedWork W2077491980 @default.
- W2144576754 hasRelatedWork W2099529102 @default.
- W2144576754 hasRelatedWork W2102071894 @default.
- W2144576754 hasRelatedWork W2108571087 @default.
- W2144576754 hasRelatedWork W2112902853 @default.
- W2144576754 hasRelatedWork W2114633402 @default.
- W2144576754 hasRelatedWork W2118180631 @default.
- W2144576754 hasRelatedWork W2121764468 @default.
- W2144576754 hasRelatedWork W2123071544 @default.
- W2144576754 hasRelatedWork W2144807091 @default.
- W2144576754 hasRelatedWork W2164440547 @default.
- W2144576754 isParatext "false" @default.
- W2144576754 isRetracted "false" @default.
- W2144576754 magId "2144576754" @default.
- W2144576754 workType "article" @default.