Matches in SemOpenAlex for { <https://semopenalex.org/work/W99640918> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W99640918 endingPage "75" @default.
- W99640918 startingPage "60" @default.
- W99640918 abstract "UML demonstrated that it is a well-suited approach to analyse and design complex systems such as industrial ones. To improve software reliability and reusability the use of formal specification is necessary but it may be difficult. There is a general lack in the formal specification of the UML concepts. This decreases the ability to develop tools and guidelines to help the specifier. Software tools are needed to assist the formal specification process, but also to prove or to verify some parts. In this paper we propose a method to formally specify concurrent and communicating components with data in UML. The principle is, first to complete the design with axioms, second to translate the diagrams into algebraic specifications of data types thanks to our translation tool. We describe the translation principles which are based on previous work around symbolic transition systems and algebraic specifications. Finally, we sketch the implementation of our translation tool using XMI files and the XML4J parser." @default.
- W99640918 created "2016-06-24" @default.
- W99640918 creator A5006219225 @default.
- W99640918 creator A5007343719 @default.
- W99640918 creator A5053677023 @default.
- W99640918 date "2003-01-01" @default.
- W99640918 modified "2023-10-02" @default.
- W99640918 title "A Translation of UML Components into Formal Specifications" @default.
- W99640918 cites W1487310899 @default.
- W99640918 cites W1496320139 @default.
- W99640918 cites W1534850143 @default.
- W99640918 cites W1559644729 @default.
- W99640918 cites W1571075905 @default.
- W99640918 cites W1577509186 @default.
- W99640918 cites W1586926219 @default.
- W99640918 cites W1587460122 @default.
- W99640918 cites W1604959559 @default.
- W99640918 cites W2027329270 @default.
- W99640918 cites W2140117184 @default.
- W99640918 cites W2157506224 @default.
- W99640918 cites W3021158638 @default.
- W99640918 cites W4301674400 @default.
- W99640918 doi "https://doi.org/10.1007/978-1-4615-0413-9_5" @default.
- W99640918 hasPublicationYear "2003" @default.
- W99640918 type Work @default.
- W99640918 sameAs 99640918 @default.
- W99640918 citedByCount "6" @default.
- W99640918 countsByYear W996409182018 @default.
- W99640918 crossrefType "book-chapter" @default.
- W99640918 hasAuthorship W99640918A5006219225 @default.
- W99640918 hasAuthorship W99640918A5007343719 @default.
- W99640918 hasAuthorship W99640918A5053677023 @default.
- W99640918 hasBestOaLocation W996409183 @default.
- W99640918 hasConcept C104317684 @default.
- W99640918 hasConcept C105580179 @default.
- W99640918 hasConcept C115903868 @default.
- W99640918 hasConcept C145644426 @default.
- W99640918 hasConcept C149364088 @default.
- W99640918 hasConcept C185592680 @default.
- W99640918 hasConcept C199360897 @default.
- W99640918 hasConcept C2777904410 @default.
- W99640918 hasConcept C41008148 @default.
- W99640918 hasConcept C55493867 @default.
- W99640918 hasConceptScore W99640918C104317684 @default.
- W99640918 hasConceptScore W99640918C105580179 @default.
- W99640918 hasConceptScore W99640918C115903868 @default.
- W99640918 hasConceptScore W99640918C145644426 @default.
- W99640918 hasConceptScore W99640918C149364088 @default.
- W99640918 hasConceptScore W99640918C185592680 @default.
- W99640918 hasConceptScore W99640918C199360897 @default.
- W99640918 hasConceptScore W99640918C2777904410 @default.
- W99640918 hasConceptScore W99640918C41008148 @default.
- W99640918 hasConceptScore W99640918C55493867 @default.
- W99640918 hasLocation W996409181 @default.
- W99640918 hasLocation W996409182 @default.
- W99640918 hasLocation W996409183 @default.
- W99640918 hasOpenAccess W99640918 @default.
- W99640918 hasPrimaryLocation W996409181 @default.
- W99640918 hasRelatedWork W2104078272 @default.
- W99640918 hasRelatedWork W2112962394 @default.
- W99640918 hasRelatedWork W2118300983 @default.
- W99640918 hasRelatedWork W2166247150 @default.
- W99640918 hasRelatedWork W2382501300 @default.
- W99640918 hasRelatedWork W3137189469 @default.
- W99640918 hasRelatedWork W3162240892 @default.
- W99640918 hasRelatedWork W4235530921 @default.
- W99640918 hasRelatedWork W4243252198 @default.
- W99640918 hasRelatedWork W4245713008 @default.
- W99640918 isParatext "false" @default.
- W99640918 isRetracted "false" @default.
- W99640918 magId "99640918" @default.
- W99640918 workType "book-chapter" @default.