Commits · 3f6727be061ffefc41790f6ad88bb71e60e953d4 · Jonas Blatt / Verification for Decision Model and Notation

Oct 03, 2019
- remove unnecessary ";" · 3f6727be
  Jonas Blatt authored 5 years ago
  
  3f6727be
Oct 02, 2019
- Fix String checker, creater and missing Rule Verifier for Strings · d5299908
  Jonas Blatt authored 5 years ago
  
  d5299908
- BiCreater for Strings lower bound and upper bound should always return an emtpy optional. · da866007
  Jonas Blatt authored 5 years ago
  
  da866007
- Delete unused classes · cbe73041
  Jonas Blatt authored 5 years ago
  
  cbe73041
Oct 01, 2019
- Add documentation for the verification api class · 1cc5f3c3
  Jonas Blatt authored 5 years ago
  
  1cc5f3c3
- Switch information requests for types and classifications to GET · 3a02adfe
  Jonas Blatt authored 5 years ago
  
  3a02adfe
- Add documentation for Verification Service class · 11ad4465
  Jonas Blatt authored 5 years ago
  
  11ad4465
- Add string boundary bicreater: between · 7b370d7d
  Jonas Blatt authored 5 years ago
  
  7b370d7d
- Refactor StringBoundary -> isMatchesAny -> matchesAny · fd29a011
  Jonas Blatt authored 5 years ago
  
  fd29a011
- New string boundary bicreater: append · d302bfe9
  Jonas Blatt authored 5 years ago
  
  d302bfe9
Sep 30, 2019
- Add implementation of BiCreater for String Intersection · f669f5a2
  Jonas Blatt authored 5 years ago
  
  f669f5a2
- Remove unused Method · 1190c199
  Jonas Blatt authored 5 years ago
  
  1190c199
- Fix Camunda date format, no optional start after minute · 04485730
  Jonas Blatt authored 5 years ago
  
  04485730
Sep 29, 2019
- Add more logging for verifier execution · acb80ff3
  Jonas Blatt authored 5 years ago
  
  acb80ff3
- Add String BiCreater Combine + Tests · 8fa05f62
  Jonas Blatt authored 5 years ago
  
  8fa05f62
- Add String BiCreater Combine · 28799703
  Jonas Blatt authored 5 years ago
  
  28799703
Sep 28, 2019
- Add execution time of verifier calculation to result object of verifier · 9a5ce4a5
  Jonas Blatt authored 5 years ago
  
  9a5ce4a5
- Add Lower Bound Creater for String · 4000d96a
  Jonas Blatt authored 5 years ago
  
  Upper Bound Creater for Strings is always false!
  4000d96a
- Add Builder Pattern for String Boundary · 29c2e089
  Jonas Blatt authored 5 years ago
  
  29c2e089
Sep 26, 2019
- Add (empty) classes for String Creater · 4ffa334d
  Jonas Blatt authored 5 years ago
  
  4ffa334d
Sep 25, 2019
- small bug fix · e026d20d
  Jonas Blatt authored 5 years ago
  
  e026d20d
- Add log statistic for verifier · 6c8ed67e
  Jonas Blatt authored 5 years ago
  
  6c8ed67e
- remove log · 3932ae3c
  Jonas Blatt authored 5 years ago
  
  3932ae3c
- Add date formatted text · a50ec980
  Jonas Blatt authored 5 years ago
  
  a50ec980
- Format · 9317065b
  Jonas Blatt authored 5 years ago
  
  9317065b
- Add numerical parsed Text · ecfb531a
  Jonas Blatt authored 5 years ago
  
  ecfb531a
- Add boolean parsed Text · 44c81269
  Jonas Blatt authored 5 years ago
  
  44c81269
- get parsed text for string boundary · 5bd32aa7
  Jonas Blatt authored 5 years ago
  
  5bd32aa7
- Add missing rule verifier · fbe0ca8c
  Jonas Blatt authored 5 years ago
  
  fbe0ca8c
- small optimization · 3dff01ce
  Jonas Blatt authored 5 years ago
  
  3dff01ce
Sep 24, 2019
- Add more creater for numerical value types · 55afa237
  Jonas Blatt authored 5 years ago
  
  55afa237
Sep 23, 2019
- Add PartialReductionVerification verifier · a297e2e3
  Jonas Blatt authored 5 years ago
  
  a297e2e3
- Add creater for boundaries · d1fd2745
  Jonas Blatt authored 5 years ago
  
  d1fd2745
Sep 22, 2019
- Add construct for Boundary creater and combiner · 5017c0fb
  Jonas Blatt authored 5 years ago
  
  5017c0fb
- Add utils functions for dmn check · 3d6d26df
  Jonas Blatt authored 5 years ago
  
  3d6d26df
- Small fix for next verifiers · 094f1f4f
  Jonas Blatt authored 5 years ago
  
  094f1f4f
- Small fix for next verifiers · e1cc2588
  Jonas Blatt authored 5 years ago
  
  e1cc2588
- Add implementation for subsumption rules · e80a84f3
  Jonas Blatt authored 5 years ago
  
  e80a84f3
- Small fix · 72723127
  Jonas Blatt authored 5 years ago
  
  72723127
Sep 21, 2019

Add rest api for Verification · 6d62890e

Jonas Blatt authored 5 years ago

/dmn/verification
-> for all verifications
/dmn/verification/type
-> list types
/dmn/verification/type/{typeName}
-> only verification for typeName
/dmn/verification/classification
-> list all classifications
/dmn/verification/classification/{classificationName}
- > all verifications for named classification

6d62890e