Zobrazeno 1 - 10
of 76
pro vyhledávání: '"Christine Choppy"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 150, Iss Proc. ESSS 2014, Pp 1-7 (2014)
UML state machines are widely used to specify dynamic systems behaviours. However its semantics is described informally, thus preventing the application of model checking techniques that could guarantee the system safety. In a former work, we propose
Externí odkaz:
https://doaj.org/article/8128fb10226448f8b18b66a991d86794
Publikováno v:
ACM Computing Surveys.
The Unified Modeling Language (UML) is a standard for modeling dynamic systems. UML behavioral state machines are used for modeling the dynamic behavior of object-oriented designs. The UML specification, maintained by the Object Management Group (OMG
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b899fac5147b8defa38da867831b7571
https://doi.org/10.1145/3579821
https://doi.org/10.1145/3579821
Publikováno v:
Formal Aspects of Computing. 28:805-845
With the increasing complexity of dynamic concurrent systems, a phase of formal specification and formal verification is needed. UML state machines are widely used to specify dynamic systems behaviours. However, the official semantics of UML is descr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1d491e371a5ca27ee43afe96d650cfc6
https://doi.org/10.1007/s00165-016-0388-9
https://doi.org/10.1007/s00165-016-0388-9
Publikováno v:
Advances in Computer Science and Engineering. 14:73-96
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9e0c756408cdee13e9d8177237f8d9cb
https://doi.org/10.17654/acsemay2015_073_096
https://doi.org/10.17654/acsemay2015_073_096
Publikováno v:
ACM SIGSOFT Software Engineering Notes. 36:1-8
In spite of its informal semantics and of some ambiguities, UML is a widespread modelling language used in both industry and academia. On the other hand, Petri nets are a mathematical modelling language with a formal semantics and are well suited for
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::12f8d5d7dfd8d310455fb09ef2bb3dc8
https://doi.org/10.1145/1921532.1921561
https://doi.org/10.1145/1921532.1921561
Publikováno v:
Innovations in Systems and Software Engineering. 6:195-202
In this work, we address the issue of the formal proof (using the proof assistant Coq) of refinement correctness for symmetric nets, a subclass of coloured Petri nets. We provide a formalisation of the net models, and of their type refinement in Coq.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9ee3b39ff8a2a8eb6e7fce2a0061e851
https://doi.org/10.1007/s11334-010-0131-2
https://doi.org/10.1007/s11334-010-0131-2
Publikováno v:
Communications of the ACM. 52:31-34
Reassessing the assessment criteria and techniques traditionally used in evaluating computer science research effectiveness.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::400e0dee1784eb797611de5735420f46
https://doi.org/10.1145/1498765.1498780
https://doi.org/10.1145/1498765.1498780
Publikováno v:
Electronic Notes in Theoretical Computer Science. 214:231-254
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once validated, a refinement step takes place, enhancing some parts of the init
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::5b735141323f5a7639d86328eda1bcce
https://doi.org/10.1016/j.entcs.2008.06.011
https://doi.org/10.1016/j.entcs.2008.06.011
Publikováno v:
Software, Services, and Systems ISBN: 9783319155449
Software, Services, and Systems
Software, Services, and Systems
There are a huge number of scientific papers and reports intended for practitioners, not forgetting whole books and websites, presenting modelling methods in the field of software development. Thus, many questions naturally arise concerning both the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d77c6c25f377c30f5750124f8f122fbf
http://hdl.handle.net/11567/883440
http://hdl.handle.net/11567/883440
Publikováno v:
Advances in Intelligent Systems and Computing ISBN: 9783319116792
KSE
KSE
UML is the de facto standard for modelling concurrent systems in the industry. Activity diagrams allow designers to modelworkflows or business processes. Unfortunately, their informal semantics prevents the use of automated verification techniques. I
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::572082e44a193685f444da3ab09f58ce
https://doi.org/10.1007/978-3-319-11680-8_27
https://doi.org/10.1007/978-3-319-11680-8_27