International Workshop on OCL and Textual Modeling (OCL 2023)

被引：0
|
作者：
Clariso, Robert [1 ]
Hamann, Lars [2 ]
机构：
[1] Universitat Oberta de Catalunya, Spain
[2] Hamburg Univ. of Applied Sciences, Germany
来源：
Proceedings - 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2023 | 2023年
关键词：
D O I：
10.1109/MODELS-C59198.2023.00070
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：391 / 392
相关论文
共 50 条
  • [21] UML/OCL and refinement
    Bhiri, Mohamed Tahar
    Mourad, Kmimech
    Graiet, Mohamed
    Aniorte, Phillipe
    18TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOPS ON ENGINEERING OF COMPUTER BASED SYSTEMS (ECBS 2011), 2011, : 149 - 158
  • [22] Reflections on OCL 2
    Willink, Edward D.
    JOURNAL OF OBJECT TECHNOLOGY, 2020, 19 (03): : 1 - 16
  • [23] Specification of invariability in OCL
    Kosiuczenko, Piotr
    MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 676 - 691
  • [24] On Softening OCL Invariants
    Gogolla, Martin
    Vallecillo, Antonio
    JOURNAL OF OBJECT TECHNOLOGY, 2019, 18 (02):
  • [25] Emerging OCL tools
    Ambrosio Toval
    Víctor Requena
    José Luis Fernández
    Software & Systems Modeling, 2003, 2 (4) : 248 - 261
  • [26] The Amsterdam manifesto on OCL
    Cook, S
    Kleppe, A
    Mitchell, R
    Rumpe, B
    Warmer, J
    Wills, A
    OBJECT MODELING WITH THE OCL: THE RATIONALE BEHIND THE OBJECT CONSTRAINT LANGUAGE, 2002, 2263 : 115 - 149
  • [27] Modeling and Formally Checking Workflow Properties Using UML and OCL
    Bruening, Jens
    Gogolla, Martin
    Forbrig, Peter
    PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, 2010, 64 : 130 - +
  • [28] Modeling and validating Mondex scenarios described in UML and OCL with USE
    Kuhlmann, Mirco
    Gogolla, Martin
    FORMAL ASPECTS OF COMPUTING, 2008, 20 (01) : 79 - 100
  • [29] Extending OCL with Null-References Towards a Formal Semantics for OCL 2.1
    Brucker, Achim D.
    Krieger, Matthias P.
    Wolff, Burkhart
    MODELS IN SOFTWARE ENGINEERING, 2010, 6002 : 261 - +
  • [30] Design independent modeling of information systems using UML and OCL
    Ceponiene, L
    Nemuraite, L
    DATABASES AND INFORMATION SYSTEMS, 2005, 118 : 224 - 237
12345