- Referenced in 0 articles
- 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...
- Referenced in 21 articles
- HOL-OCL : Experiences, consequences and design choices Based...
- Referenced in 13 articles
- UML2Alloy: A Challenging Model Transformation. Alloy is a...
- Referenced in 63 articles
- The KeY System is a formal software development...
- Referenced in 23 articles
- ATL: A model transformation tool. In the context...
- Referenced in 2 articles
- UMLtoCSP: a tool for the formal verification of...
- Referenced in 48 articles
- SWRL: A Semantic Web Rule Language Combining OWL...
- Referenced in 3 articles
- PAWS: a framework for executing adaptive web-service...
- Referenced in 64 articles
- IBM WebSphere refers to a brand of computer...
- Referenced in 8 articles
- AO4BPEL is an aspect-oriented extension to WS...