Abdul Manaf, Nurulhuda

Abdul Manaf, Nurulhuda

Dr.

Positions

Senior Lecturer, Pusat Asasi Pertahanan

member of

Pusat Asasi Pertahanan Lecturer

selected publications

academic article
- Service Choreography, SBVR, and Time. Electronic Proceedings in Theoretical Computer Science. 201:63-77. 2015
chapter
- “OR” of Rule-Based Specification for Service Choreography. Lecture Notes in Computer Science. 3-15. 2024
- Correctness of Automatically Generated Choreography Specifications. Lecture Notes in Computer Science. 18-32. 2021
conference paper
- Deontic Rule of Rule-Based Service Choreographies. 510-515. 2021
- Generating choreographies from SBVR models. AIP Conference Proceedings. 060062. 2019
- Trace-Based Verification of Rule-Based Service Choreographies. 185-193. 2018
- SBVR2Alloy: An SBVR to Alloy Compiler. 73-80. 2017

full name

Nurulhuda Abdul Manaf

primary email

nurulhuda@upnm.edu.my

webpage

Publications in VIVO

Co-author Network

Contact Info

nurulhuda@upnm.edu.my

Websites