• VeTIS

  • Referenced in 0 articles [sw18335]
  • VETIS tool for editing and transforming SBVR business vocabularies and business rules into ... models. The OMG SBVR standard is the most mature abstract representation for Business semantics; however ... complexity of SBVR metamodel prevents its broad and rapid usage in business communities. There ... SBVR implementations yet, but the popularity of SBVR is growing as different interest-groups...
  • HOL-OCL

  • Referenced in 21 articles [sw05734]
  • HOL-OCL : Experiences, consequences and design choices Based...
  • UML2Alloy

  • Referenced in 13 articles [sw09885]
  • UML2Alloy: A Challenging Model Transformation. Alloy is a...
  • KeY

  • Referenced in 63 articles [sw09969]
  • The KeY System is a formal software development...
  • ATL

  • Referenced in 23 articles [sw10093]
  • ATL: A model transformation tool. In the context...
  • UMLtoCSP

  • Referenced in 2 articles [sw11377]
  • UMLtoCSP: a tool for the formal verification of...
  • swrl

  • Referenced in 48 articles [sw14002]
  • SWRL: A Semantic Web Rule Language Combining OWL...
  • PAWS

  • Referenced in 3 articles [sw16047]
  • PAWS: a framework for executing adaptive web-service...
  • AO4BPEL

  • Referenced in 8 articles [sw33276]
  • AO4BPEL is an aspect-oriented extension to WS...