Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Miloud Bennama"'
Publikováno v:
Formalisms for Reuse and Systems Integration ISBN: 9783319165769
In this paper, we propose a new approach to formally analyze UML CombinedFragments. The latter are mapped into Colored Petri Nets, or CPN. The derived specification is value-oriented, composed of identified objects and events, thus allowing for a mor
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::763e339b74f82e0a58b36099a79fcff9
https://doi.org/10.1007/978-3-319-16577-6_2
https://doi.org/10.1007/978-3-319-16577-6_2
Publikováno v:
International Journal of Critical Computer-Based Systems. 6:302
OCL has been integrated to UML as a modern and formal modelling language, which is easy to learn and efficient to use. UML is a semi-formal language that does not support validation tasks. Petri nets serve as a formalism defining a denotational seman
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d1fe9b051d634b2b91d777ca633c2e1c
https://doi.org/10.1504/ijccbs.2016.081807
https://doi.org/10.1504/ijccbs.2016.081807
Publikováno v:
IRI
Often designated as a UML profile for system modeling, SysML brings some changes that enhance the possibilities of describing systems specificities, but raise new criticisms on the language interpretation. In the last SysML standard document, the new
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8ee51109ffda26eb4b7869392c6f3ebf
https://doi.org/10.1109/iri.2012.6303029
https://doi.org/10.1109/iri.2012.6303029
Publikováno v:
International Journal of Computer Applications in Technology. 47:227
A new interaction diagram, called Interaction Overview Diagram or IOD, was introduced in the second generation of UML. It defines interactions through a variant of activity diagrams in a way that promotes overview of the control flow. But its semanti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::04959e9860947ac2e8022fa5116cec02
https://doi.org/10.1504/ijcat.2013.054372
https://doi.org/10.1504/ijcat.2013.054372