A.Manaf, Nurulhuda and Zainal Abidin, Nor Najihah and Jamaludin, Nur Amalina (2021) Correctness of automatically generated choreography specifications. In: Declarative Ai 2021: The 5th International Joint Conference on Rules and Reasoning (RuleML+RR 2021), 13 - 15 September 2021, Kennedy Commons, Stanford (via virtual conference). (Submitted)
![[thumbnail of CorrectnessOfAutomatically.pdf]](http://ir.upnm.edu.my/style/images/fileicons/text.png)
Text
CorrectnessOfAutomatically.pdf - Full text
Restricted to Registered users only until 31 January 2099.
Download (650kB)
Abstract
The service choreography approach has been proposed for the declarative specification of multi-party conversations between participant services, in service-oriented applications and web transactions. Constraint solvers such as Alloy Analyzer can be used for the automated generation and verification of declarative choreography specifications.
This presumes a mapping between the declarative specification of business rules in Semantics of Business Vocabulary and Rules (SBVR), an OMG standard for specifying business models in structured English, and the Alloy Analyzer which is a SAT based constraint solver. This paper
is concerned with the correctness of such mapping between the generated instance (choreography) in Alloy and the global graph obtained as a direct visual representation of the SBVR model specification.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Uncontrolled Keywords: | declarative specification, service choreography, SBVR, constraints, model transformation, mapping correctness |
| Subjects: | Q Science > QA Mathematics Q Science > QA Mathematics > QA75 Electronic computers. Computer science T Technology > T Technology (General) |
| Divisions: | Centre For Defence Foundation Studies |
| Depositing User: | Mr Shahrim Daud |
| Date Deposited: | 30 Aug 2022 02:41 |
| Last Modified: | 30 Aug 2022 02:41 |
| URI: | http://ir.upnm.edu.my/id/eprint/121 |
Actions (login required)
- View Item