HOL-OCL : Experiences, consequences and design choices Based on experiences gained from an embedding of the Object Constraint Language (OCL) in higher-order logic, we explore several key issues of the design of a formal semantics of the OCL. Thecs of the OCL. These issues comprise the question of the interpretation of invariants, pre- and postconditions, an executable sub-language and the possibilities of refinement notions. A particular emphasize is put on the issue of mechanized deduction in UML/OCL specification. (Source: http://freecode.com/)

References in zbMATH (referenced in 21 articles , 1 standard article )

Showing results 1 to 20 of 21.
Sorted by year (citations)

1 2 next

  1. Almendros-Jiménez, Jesús M.; Iribarne, Luis; López-Fernández, Jesús; Mora-Segura, Ángel: PTL: a model transformation language based on logic programming (2016)
  2. Lano, Kevin; Clark, T.; Kolahdouz-Rahimi, S.: A framework for model transformation verification (2015)
  3. Zhu, Hong: An institution theory of formal meta-modelling in graphically extended BNF (2012)
  4. Garis, Ana; Cunha, Alcino; Riesco, Daniel: Translating alloy specifications to UML class diagrams annotated with OCL (2011)
  5. Shaikh, Asadullah; Wiil, Uffe Kock; Memon, Nasrullah: Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams (2011)
  6. Cabot, Jordi; Pau, Raquel; Raventós, Ruth: From UML/OCL to SBVR specifications: a challenging transformation (2010)
  7. Brucker, Achim D.; Wolff, Burkhart: Semantics, calculi, and analysis for object-oriented specifications (2009)
  8. Brucker, Achim D.; Wolff, Burkhart: An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (2008)
  9. Kuhlmann, Mirco; Gogolla, Martin: Modeling and validating mondex scenarios described in UML and OCL with USE (2008)
  10. Marković, Slaviša; Baar, Thomas: Semantics of OCL specified with QVT (2008)
  11. Büttner, Fabian; Gogolla, Martin: Realizing graph transformations by pre- and postconditions and command sequences (2006)
  12. Ahrendt, Wolfgang; Baar, Thomas; Beckert, Bernhard; Bubel, Richard; Giese, Martin; Hähnle, Reiner; Menzel, Wolfram; Mostowski, Wojciech; Roth, Andreas; Schlager, Steffen; Schmitt, Peter H.: The KeY tool: integrating object oriented design and formal verification (2005)
  13. Brucker, Achim D.; Wolff, Burkhart: Symbolic test case generation for primitive recursive functions (2005)
  14. Kyas, Marcel; Fecher, Harald; De Boer, Frank S.; Jacob, Joost; Hooman, Jozef; Der Zwaag, Mark Van; Arons, Tamarah; Kugler, Hillel: Formalizing UML models and OCL constraints in PVS. (2005)
  15. Rumpe, Bernhard: Agile modeling with UML. Code generation, test cases, refactoring. (2005)
  16. Rumpe, Bernhard: Modeling with UML. Language, concepts and methodology. (2004)
  17. Berghofer, Stefan: Program extraction in simply-typed higher order logic (2003)
  18. Burdy, Lilian; Cheon, Yoonsik; Cok, David R.; Ernst, Michael D.; Kiniry, Joseph; Leavens, Gary T.; Leino, K.Rustan M.; Poll, Erik: An overview of JML tools and applications. (2003)
  19. Brucker, Achim D.; Wolff, Burkhart: HOL-OCL : Experiences, consequences and design choices (2002)
  20. Brucker, Achim D.; Wolff, Burkhart: A proposal for a formal OCL semantics in Isabelle/HOL (2002)

1 2 next