Παρακολούθηση
Nurulhuda A.Manaf, PhD
Nurulhuda A.Manaf, PhD
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα upnm.edu.my
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
SBVR2Alloy: an SBVR to alloy compiler
NA Manaf, A Antoniades, S Moschoyiannis
2017 IEEE 10th Conference on Service-Oriented Computing and Applications …, 2017
122017
Service choreography, sbvr, and time
NA Manaf, S Moschoyiannis, P Krause
arXiv preprint arXiv:1512.07685, 2015
122015
Trace-based verification of rule-based service choreographies
S Moschoyiannis, L Maglaras, NA Manaf
2018 IEEE 11th Conference on Service-Oriented Computing and Applications …, 2018
62018
Generating choreographies from SBVR models
NA Manaf, S Moschoyiannis
AIP Conference Proceedings 2184 (1), 2019
42019
Deontic rule of rule-based service choreographies
NNZ Abidin, NA Manaf, S Moschoyiannis, NA Jamaludin
2021 2nd International Conference on Computing and Data Science (CDS), 510-515, 2021
32021
Correctness of automatically generated choreography specifications
NA Manaf, NNZ Abidin, NA Jamaludin
International Joint Conference on Rules and Reasoning, 18-32, 2021
12021
Generating verifiable service choreographies from SBVR models.
NA Manaf
University of Surrey, 2018
12018
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–7