Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Frank Hilken"'
Autor:
Frank Hilken, Martin Gogolla
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 91-97 (2017)
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Externí odkaz:
https://doaj.org/article/472c0a8032924b8fb1b0910dc12ffb5f
Publikováno v:
Computer Languages, Systems & Structures. 54:474-511
System development strategies, like model-driven engineering (MDE), help to abstract architectures and provide a promising way to deal with architecture complexity and design quality. Thus, the importance for the underlying models to be correct arise
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::622549ffdf860d0936f219933f4af425
https://doi.org/10.1016/j.cl.2017.10.001
https://doi.org/10.1016/j.cl.2017.10.001
Autor:
Martin Gogolla, Frank Hilken
Publikováno v:
F-IDE@FM
Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 91-97 (2017)
Electronic Proceedings in Theoretical Computer Science, Vol 240, Iss Proc. F-IDE 2016, Pp 91-97 (2017)
The Unified Modeling Language (UML) is a widely used general purpose modeling language. Together with the Object Constraint Language (OCL), formal models can be described by defining the structure and behavior with UML and additional OCL constraints.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6d809ab4f466d1157eed82a4795b5831
https://doi.org/10.4204/eptcs.240.7
https://doi.org/10.4204/eptcs.240.7
Publikováno v:
Software & Systems Modeling. 17:885-912
This paper proposes the use of equivalence partitioning techniques for testing models and model transformations. In particular, we introduce the concept of classifying terms, which are general OCL terms on a class model enriched with OCL constraints.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d87642ae1c8ad5ad5dc83ca47c016feb
https://doi.org/10.1007/s10270-016-0568-3
https://doi.org/10.1007/s10270-016-0568-3
Autor:
Lars Hamann, Frank Hilken
Publikováno v:
The Journal of Object Technology. 19:3:1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::77213c87f8039d1650527c43a70ebc94
https://doi.org/10.5381/jot.2020.19.3.a20
https://doi.org/10.5381/jot.2020.19.3.a20
Publikováno v:
Software Technologies: Applications and Foundations ISBN: 9783319747293
STAF Workshops
STAF Workshops
This contribution describes a number of challenges in the context of Model-Driven Development for systems and software. The context of the work are formal descriptions in terms of UML and OCL. One focus point is on making such formal models more appr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2224adc41bb013fa36e881fed3e70a60
https://doi.org/10.1007/978-3-319-74730-9_15
https://doi.org/10.1007/978-3-319-74730-9_15
Publikováno v:
MEMOCODE
UML/OCL models are used to describe system models in early stages of the design process. In order to detect design flaws in these models as soon as possible (ideally before the implementation phase starts), various methods for the validation and veri
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2c06d3a99bda3f094ada9a3471c5204f
https://doi.org/10.1145/3127041.3127053
https://doi.org/10.1145/3127041.3127053
Publikováno v:
Modelling Foundations and Applications ISBN: 9783319614816
ECMFA
ECMFA
The success of Model-Driven Engineering (MDE) relies on the quality of the employed models. Thus, quality assurance through validation and verification has a tradition within MDE. But model verification is typically done in the context of specialized
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1c5e5a9f35dd3eb4f38cd3607080a023
https://doi.org/10.1007/978-3-319-61482-3_14
https://doi.org/10.1007/978-3-319-61482-3_14
Publikováno v:
Theory and Practice of Model Transformation ISBN: 9783319614724
ICMT
ICMT
Testing the correctness of the specification of a model transformation can be as hard as testing the model transformation itself. Besides, this test has to wait until at least one implementation is available. In this paper we explore the use of tract
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::525f41d7640f506f42e94e2c22de60b2
https://doi.org/10.1007/978-3-319-61473-1_5
https://doi.org/10.1007/978-3-319-61473-1_5
Publikováno v:
Tests and Proofs ISBN: 9783319614663
TAP@STAF
TAP@STAF
This tool paper discusses how model behavior expressed in a UML and OCL model can be analysed with filmstrips and classifying terms in the tool USE. Classifying terms are a means for systematic construction of test cases. In the case of behavior mode
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a9c9a709e4df8d967a240aeb3c71f663
https://doi.org/10.1007/978-3-319-61467-0_7
https://doi.org/10.1007/978-3-319-61467-0_7