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. Durán, Francisco; Roldán, Manuel; Moreno, Antonio; Álvarez, José María: Dynamic validation of maude prototypes of UML models (2014) ioport
  4. Zhu, Hong: An institution theory of formal meta-modelling in graphically extended BNF (2012)
  5. Garis, Ana; Cunha, Alcino; Riesco, Daniel: Translating Alloy specifications to UML class diagrams annotated with OCL (2011) ioport
  6. Shaikh, Asadullah; Wiil, Uffe Kock; Memon, Nasrullah: Evaluation of tools and slicing techniques for efficient verification of UML/OCL class diagrams (2011) ioport
  7. Cabot, Jordi; Pau, Raquel; Raventós, Ruth: From UML/OCL to SBVR specifications: a challenging transformation (2010) ioport
  8. Brucker, Achim D.; Wolff, Burkhart: Semantics, calculi, and analysis for object-oriented specifications (2009)
  9. Brucker, Achim D.; Wolff, Burkhart: HOL-OCL: A formal proof environment for UML/OCL (2008) ioport
  10. Brucker, Achim D.; Wolff, Burkhart: An extensible encoding of object-oriented data models in HOL. With an application to IMP++ (2008)
  11. Kuhlmann, Mirco; Gogolla, Martin: Modeling and validating mondex scenarios described in UML and OCL with USE (2008) ioport
  12. Marković, Slaviša; Baar, Thomas: Semantics of OCL specified with QVT (2008) ioport
  13. Büttner, Fabian; Gogolla, Martin: Realizing graph transformations by pre- and postconditions and command sequences (2006)
  14. 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) ioport
  15. Brucker, Achim D.; Wolff, Burkhart: Symbolic test case generation for primitive recursive functions (2005)
  16. Rumpe, Bernhard: Agile modeling with UML. Code generation, test cases, refactoring. (2005)
  17. Rumpe, Bernhard: Modeling with UML. Language, concepts and methodology. (2004)
  18. Berghofer, Stefan: Program extraction in simply-typed higher order logic (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