Search dblp for Publications

export results for "stream:conf/ocl:"

 download as .bib file

@inproceedings{DBLP:conf/models/BruckerDGJPRW19,
  author       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Jouault and
                  Christophe Ponsard and
                  Val{\'{e}}ry Ramon and
                  Edward D. Willink},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {Emerging Topics in Textual Modelling},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {91--104},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper8.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerDGJPRW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CalegariV19,
  author       = {Daniel Calegari and
                  Marcos Viera},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {Experimenting with Functional Features of the Object Constraint Language},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {31--44},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CalegariV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ClarisoG19,
  author       = {Robert Claris{\'{o}} and
                  Martin Gogolla},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {A Feasibility Study on Using Classifying Terms in Alloy},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {45--58},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper4.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ClarisoG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ClavelB19,
  author       = {Manuel Clavel and
                  Hoang Nguyen Phuoc Bao},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {Mapping {OCL} into {SQL:} Challenges and Opportunities Ahead},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {3--16},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper1.pdf},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/models/ClavelB19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MunozBGV19,
  author       = {Paula Mu{\~{n}}oz and
                  Loli Burgue{\~{n}}o and
                  Martin Gogolla and
                  Antonio Vallecillo},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {Automatic Generation of Valid Behavioral Scripts from {UML} Sequence
                  Diagrams},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {81--96},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MunozBGV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/NeubauerBKPW19,
  author       = {Patrick Neubauer and
                  Robert Bill and
                  Dimitris S. Kolovos and
                  Richard F. Paige and
                  Manuel Wimmer},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {Reusable Textual Notations for Domain-Specific Languages},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {67--80},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/NeubauerBKPW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OrtizBVG19,
  author       = {Victor Ortiz and
                  Loli Burgue{\~{n}}o and
                  Antonio Vallecillo and
                  Martin Gogolla},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {Native Support for {UML} and {OCL} Primitive Datatypes Enriched with
                  Uncertainty in {USE}},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {59--66},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper5.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/OrtizBVG19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Willink19,
  author       = {Edward D. Willink},
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {{OCL} Visualization - {A} Reality Check},
  booktitle    = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  pages        = {17--30},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513/paper2.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Willink19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2019ocl,
  editor       = {Achim D. Brucker and
                  Gwendal Daniel and
                  Fr{\'{e}}d{\'{e}}ric Jouault},
  title        = {19th International Workshop in {OCL} and Textual Modeling {(OCL} 2019)
                  co-located with {IEEE/ACM} 22nd International Conference on Model
                  Driven Engineering Languages and Systems {(MODELS} 2019), Munich,
                  Germany, September 16, 2019},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2513},
  publisher    = {CEUR-WS.org},
  year         = {2019},
  url          = {https://ceur-ws.org/Vol-2513},
  urn          = {urn:nbn:de:0074-2513-3},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2019ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BalabanBDGGKK16,
  author       = {Mira Balaban and
                  Phillipa Bennett and
                  Khanh{-}Hoang Doan and
                  Geri Georg and
                  Martin Gogolla and
                  Igal Khitron and
                  Michael Kifer},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {A Comparison of Textual Modeling Languages: OCL, Alloy, {FOML}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {57--72},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BalabanBDGGKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Bertram0RW16,
  author       = {Vincent Bertram and
                  Alexander Roth and
                  Bernhard Rumpe and
                  Michael von Wenckstern},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Extendable Toolchain for Automatic Compatibility Checks},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {49--56},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Bertram0RW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BertramRW16,
  author       = {Vincent Bertram and
                  Bernhard Rumpe and
                  Michael von Wenckstern},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Encapsulation, Operator Overloading, and Error Class Mechanisms in
                  {OCL}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {17--32},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BertramRW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCDGHHTWW16,
  author       = {Achim D. Brucker and
                  Jordi Cabot and
                  Gwendal Daniel and
                  Martin Gogolla and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
                  Frank Hilken and
                  Fr{\'{e}}d{\'{e}}ric Tuong and
                  Edward D. Willink and
                  Burkhart Wolff},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Recent Developments in {OCL} and Textual Modelling},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {157--165},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper12.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerCDGHHTWW16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CalegariV16,
  author       = {Daniel Calegari and
                  Marcos Viera},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {On the Functional Interpretation of {OCL}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {33--48},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CalegariV16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Garcia-Dominguez16,
  author       = {Antonio Garc{\'{\i}}a{-}Dom{\'{\i}}nguez and
                  Dimitris S. Kolovos},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Models from Code, or Code as Models?},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {137--148},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper10.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Garcia-Dominguez16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HamannGD16,
  author       = {Lars Hamann and
                  Martin Gogolla and
                  Nisha Desai},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {On the Support of Qualified Associations in {OCL}},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {3--15},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HamannGD16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HilkenSSG16,
  author       = {Frank Hilken and
                  Marcel Schuster and
                  Karsten Sohr and
                  Martin Gogolla},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Integrating {UML/OCL} Derived Properties into Validation and Verification
                  Processes},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {89--104},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HilkenSSG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JouaultB16,
  author       = {Fr{\'{e}}d{\'{e}}ric Jouault and
                  Olivier Beaudoux},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Efficient OCL-based Incremental Transformations},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {121--136},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/JouaultB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/MadaniK16,
  author       = {Sina Madani and
                  Dimitris S. Kolovos},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Re-Implementing Apache Thrift using Model-Driven Engineering Technologies:
                  An Experience Report},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {149--156},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/MadaniK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/RodriguezK16,
  author       = {Horacio Hoyos Rodriguez and
                  Dimitrios S. Kolovos},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Declarative Model Transformation Execution Planning},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {105--120},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/RodriguezK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SunDAC16,
  author       = {Peiyuan Sun and
                  Zinovy Diskin and
                  Michal Antkiewicz and
                  Krzysztof Czarnecki},
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Modeling and Reasoning with Multirelations, and their encoding in
                  Alloy},
  booktitle    = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  pages        = {73--88},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SunDAC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2016ocl,
  editor       = {Achim D. Brucker and
                  Jordi Cabot and
                  Adolfo S{\'{a}}nchez{-}Barbudo Herrera},
  title        = {Proceedings of the 16th International Workshop on {OCL} and Textual
                  Modelling co-located with 19th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2016), Saint-Malo, France,
                  October 2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1756},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1756},
  urn          = {urn:nbn:de:0074-1756-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2016ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AtkinsonGK15,
  author       = {Colin Atkinson and
                  Ralph Gerbig and
                  Thomas K{\"{u}}hne},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Opportunities and Challenges for Deep Constraint Languages},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {3--18},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AtkinsonGK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Cuadrado15,
  author       = {Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Recursion and Iteration Support in {USE} Validator with AnATLyzer},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {73--80},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Cuadrado15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardPBC15,
  author       = {Arnaud Dieumegard and
                  Marc Pantel and
                  Guillaume Babin and
                  Martin Carton},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Tool Paper: {A} Lightweight Formal Encoding of a Constraint Language
                  for DSMLs},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {89--104},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DieumegardPBC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HerreraWP15,
  author       = {Adolfo S{\'{a}}nchez{-}Barbudo Herrera and
                  Edward D. Willink and
                  Richard F. Paige},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {An OCL-based Bridge from Concrete to Abstract Syntax},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {19--34},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HerreraWP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JouaultB15,
  author       = {Fr{\'{e}}d{\'{e}}ric Jouault and
                  Olivier Beaudoux},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {On the Use of Active Operations for Incremental Bidirectional Evaluation
                  of {OCL}},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {35--45},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/JouaultB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KehrerPKSV15,
  author       = {Timo Kehrer and
                  Christopher Pietsch and
                  Udo Kelter and
                  Daniel Str{\"{u}}ber and
                  Steffen Vaupel},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {An Adaptable Tool Environment for High-level Differencing of Textual
                  Models},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {62--72},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/KehrerPKSV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SeidewitzT15,
  author       = {Ed Seidewitz and
                  J{\'{e}}r{\'{e}}mie Tatibouet},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Tool Paper: Combining Alf and {UML} in Modeling Tools - An Example
                  with Papyrus -},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {105--119},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SeidewitzT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/TisiDW15,
  author       = {Massimo Tisi and
                  R{\'{e}}mi Douence and
                  Dennis Wagelaar},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Lazy Evaluation for {OCL}},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {46--61},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/TisiDW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Willink15,
  author       = {Edward D. Willink},
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Safe Navigation in {OCL}},
  booktitle    = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  pages        = {81--88},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Willink15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2015ocl,
  editor       = {Achim D. Brucker and
                  Marina Egea and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Tuong},
  title        = {Proceedings of the 15th International Workshop on {OCL} and Textual
                  Modeling co-located with 18th International Conference on Model Driven
                  Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September
                  28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1512},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1512},
  urn          = {urn:nbn:de:0074-1512-6},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2015ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AhmedVKB14,
  author       = {Ahmed Ahmed and
                  Paola Vallejo and
                  Micka{\"{e}}l Kerboeuf and
                  Jean{-}Philippe Babau},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {CdmCL, a Specific Textual Constraint Language for Common Data Model},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {63--72},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper07.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/AhmedVKB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ArjonaDEM14,
  author       = {Marcos Arjona and
                  Carolina Dania and
                  Marina Egea and
                  Antonio Ma{\~{n}}a},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Validation of a Security Metamodel for the Development of Cloud Applications},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {33--42},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper04.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ArjonaDEM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCDGGJTW14,
  author       = {Achim D. Brucker and
                  Tony Clark and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla and
                  Fr{\'{e}}d{\'{e}}ric Jouault and
                  Ernest Teniente and
                  Burkhart Wolff},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Panel Discussion: Proposals for Improving {OCL}},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {83--99},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper09.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerCDGGJTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CarlosST14a,
  author       = {Xabier De Carlos and
                  Goiuria Sagardui and
                  Salvador Trujillo},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {MQT, an Approach for Run-Time Query Translation: From {EOL} to {SQL}},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {13--22},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper02.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CarlosST14a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DevaKA14,
  author       = {Gergely D{\'{e}}vai and
                  G{\'{a}}bor Ferenc Kov{\'{a}}cs and
                  {\'{A}}d{\'{a}}m An},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Textual, Executable, Translatable {UML}},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {3--12},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper01.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DevaKA14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/JouaultD14,
  author       = {Fr{\'{e}}d{\'{e}}ric Jouault and
                  J{\'{e}}r{\^{o}}me Delatour},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Towards Fixing Sketchy {UML} Models by Leveraging Textual Notations:
                  Application to Real-Time Embedded Systems},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {73--82},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper08.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/JouaultD14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Kraas14,
  author       = {Alexander Kraas},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Realizing Model Simplifications with {QVT} Operational Mappings},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {53--62},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper06.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Kraas14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/LonguetTW14,
  author       = {Delphine Longuet and
                  Fr{\'{e}}d{\'{e}}ric Tuong and
                  Burkhart Wolff},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Towards a Tool for Featherweight {OCL:} {A} Case Study On Semantic
                  Reflection},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {43--52},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper05.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/LonguetTW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/OriolT14,
  author       = {Xavier Oriol and
                  Ernest Teniente},
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Incremental Checking of {OCL} Constraints through {SQL} Queries},
  booktitle    = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  pages        = {23--32},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285/paper03.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/OriolT14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2014ocl,
  editor       = {Achim D. Brucker and
                  Carolina Dania and
                  Geri Georg and
                  Martin Gogolla},
  title        = {Proceedings of the 14th International Workshop on {OCL} and Textual
                  Modelling co-located with 17th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2014), Valencia, Spain,
                  September 30, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1285},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1285},
  urn          = {urn:nbn:de:0074-1285-1},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2014ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ArendtTW13,
  author       = {Thorsten Arendt and
                  Gabriele Taentzer and
                  Alexander Weber},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Quality Assurance of Textual Models within Eclipse using {OCL} and
                  Model Transformations},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {1--12},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/arendt.pdf},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ArendtTW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BillGKS13,
  author       = {Robert Bill and
                  Sebastian Gabmeyer and
                  Petra Kaufmann and
                  Martina Seidl},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {{OCL} meets {CTL:} Towards CTL-Extended {OCL} Model Checking},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {13--22},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/bill.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BillGKS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerCCDGPRWW13,
  author       = {Achim D. Brucker and
                  Dan Chiorean and
                  Tony Clark and
                  Birgit Demuth and
                  Martin Gogolla and
                  Dimitri Plotnikov and
                  Bernhard Rumpe and
                  Edward D. Willink and
                  Burkhart Wolff},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Report on the Aachen {OCL} Meeting},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {103--111},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/aachen.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerCCDGPRWW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerLTW13,
  author       = {Achim D. Brucker and
                  Delphine Longuet and
                  Fr{\'{e}}d{\'{e}}ric Tuong and
                  Burkhart Wolff},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {On the Semantics of Object-Oriented Data Structures and Path Expressions},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {23--32},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/brucker.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerLTW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Clark13,
  author       = {Tony Clark},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {{OCL} Pattern Matching},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {33--42},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/clark.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Clark13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CosentinoP13,
  author       = {Valerio Cosentino and
                  Salvador Mart{\'{\i}}nez Perez},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Extracting {UML/OCL} Integrity Constraints and Derived Types from
                  Relational Databases},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {43--52},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/cosentino.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CosentinoP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DaniaC13,
  author       = {Carolina Dania and
                  Manuel Clavel},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {{OCL2FOL+:} Coping with Undefinedness},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {53--62},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/dania.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DaniaC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GeorgT13,
  author       = {Geri Georg and
                  Lucy J. Troup},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Experiences Developing a Requirements Language Based on the Psychological
                  Framework Activity Theory},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {63--72},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/georg.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GeorgT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SchutzeWD13,
  author       = {Lars Sch{\"{u}}tze and
                  Claas Wilke and
                  Birgit Demuth},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Tool-Supported Step-By-Step Debugging for the Object Constraint Language},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {73--82},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/schuetze.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SchutzeWD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Storrle13,
  author       = {Harald St{\"{o}}rrle},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Improving the Usability of {OCL} as an Ad-hoc Model Querying Language},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {83--92},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/stoerrle.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Storrle13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/UlkeS13,
  author       = {Bastian Ulke and
                  Friedrich Steimann},
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {{OCL} as a Constraint Generation Language},
  booktitle    = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  pages        = {93--102},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092/ulke.pdf},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/UlkeS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2013ocl,
  editor       = {Jordi Cabot and
                  Martin Gogolla and
                  Istv{\'{a}}n R{\'{a}}th and
                  Edward D. Willink},
  title        = {Proceedings of the {MODELS} 2013 {OCL} Workshop co-located with the
                  16th International {ACM/IEEE} Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2013), Miami, USA, September 30, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1092},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1092},
  urn          = {urn:nbn:de:0074-1092-2},
  timestamp    = {Fri, 10 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2013ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BalabanCGW12,
  author       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Workshop on {OCL} and textual modeling: {OCL} 2012},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {5--6},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428517},
  doi          = {10.1145/2428516.2428517},
  timestamp    = {Wed, 23 Feb 2022 13:04:32 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BalabanCGW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruckerW12,
  author       = {Achim D. Brucker and
                  Burkhart Wolff},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Featherweight {OCL:} a study for the consistent semantics of {OCL}
                  2.3 in {HOL}},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {19--24},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428520},
  doi          = {10.1145/2428516.2428520},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruckerW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/BruningKL12,
  author       = {Jens Br{\"{u}}ning and
                  Martin Kunert and
                  Birger Lantow},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Modeling and executing ConcurTaskTrees using a {UML} and SOIL-based
                  metamodel},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {43--48},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428524},
  doi          = {10.1145/2428516.2428524},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/BruningKL12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CantenotAB12,
  author       = {J{\'{e}}r{\^{o}}me Cantenot and
                  Fabrice Ambert and
                  Fabrice Bouquet},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Transformation rules from {UML4MBT} meta-model to {SMT} meta-model
                  for model animation},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {55--60},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428526},
  doi          = {10.1145/2428516.2428526},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/CantenotAB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DieumegardTP12,
  author       = {Arnaud Dieumegard and
                  Andres Toom and
                  Marc Pantel},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Model-based formal specification of a {DSL} library for a qualified
                  code generator},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {61--62},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428527},
  doi          = {10.1145/2428516.2428527},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DieumegardTP12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/FranciscoC12,
  author       = {Miguel A. Francisco and
                  Laura M. Castro},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Automatic generation of test models and properties from {UML} models
                  with {OCL} constraints},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {49--54},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428525},
  doi          = {10.1145/2428516.2428525},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/FranciscoC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GarryB12,
  author       = {David Garry and
                  Tricia Balfe},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Experiences using {OCL} for business rules on financial messaging},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {65--66},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428529},
  doi          = {10.1145/2428516.2428529},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GarryB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HofrichterHGS12,
  author       = {Oliver Hofrichter and
                  Lars Hamann and
                  Martin Gogolla and
                  Frank Steimke},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {The secret life of {OCL} constraints},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {63--64},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428528},
  doi          = {10.1145/2428516.2428528},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HofrichterHGS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/IzsoSBHRV12,
  author       = {Benedek Izs{\'{o}} and
                  Zolt{\'{a}}n Szatm{\'{a}}ri and
                  G{\'{a}}bor Bergmann and
                  {\'{A}}kos Horv{\'{a}}th and
                  Istv{\'{a}}n R{\'{a}}th and
                  D{\'{a}}niel Varr{\'{o}}},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Ontology driven design of {EMF} metamodels and well-formedness constraints},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {37--42},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428523},
  doi          = {10.1145/2428516.2428523},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/IzsoSBHRV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KrikavaC12,
  author       = {Filip Krikava and
                  Philippe Collet},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {On the use of an internal {DSL} for enriching {EMF} models},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {25--30},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428521},
  doi          = {10.1145/2428516.2428521},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/KrikavaC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Liepins12,
  author       = {Renars Liepins},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Library for model querying: IQuery},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {31--36},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428522},
  doi          = {10.1145/2428516.2428522},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Liepins12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/ReimannWDMA12,
  author       = {Jan Reimann and
                  Claas Wilke and
                  Birgit Demuth and
                  Michael Muck and
                  Uwe A{\ss}mann},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Tool supported {OCL} refactoring catalogue},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {7--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428518},
  doi          = {10.1145/2428516.2428518},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/ReimannWDMA12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/Willink12,
  author       = {Edward D. Willink},
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {An extensible {OCL} virtual machine and code generator},
  booktitle    = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  pages        = {13--18},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2428516.2428519},
  doi          = {10.1145/2428516.2428519},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/Willink12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2012ocl,
  editor       = {Mira Balaban and
                  Jordi Cabot and
                  Martin Gogolla and
                  Claas Wilke},
  title        = {Proceedings of the 12th Workshop on {OCL} and Textual Modelling, Innsbruck,
                  Austria, September 30, 2012},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {http://dl.acm.org/citation.cfm?id=2428516},
  isbn         = {978-1-4503-1799-3},
  timestamp    = {Wed, 23 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/models/2012ocl.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}