Title :
Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes
Author :
Aoumeur, Nasreddine ; Barkaoui, Kamel
Author_Institution :
ITI, Otto-von-Guericke-Univ. Magdeburg, Magdeburg
Abstract :
This paper propose a progressive and disciplined engineering of adaptive service-oriented business processes (SO-BPs). Each business activity is first informally governed through interaction-centric event-conditions-actions (ECA) based business rules. They are then smoothly conceptualized as transient ECA-driven architectural connectors, with roles playing service interfaces and glues capturing the service composition logic. This ECA-driven architectural conceptualization is formally validated using (still rule-centric) rewriting logic and its MAUDE language. From these founded, certified and adaptive SO-BPs, a compliant .NET based Web-services are systematically derived.
Keywords :
Web services; business data processing; formal specification; formal verification; network operating systems; rewriting systems; software architecture; specification languages; .NET based Web-service; ECA-driven architectural conceptualization; MAUDE language; adaptive service-oriented business process engineering; formal specification; formal validation; interaction-centric event-condition-action based business rule; rewriting logic; service composition logic; Boosting; Certification; Connectors; Electronic commerce; Electronic mail; Logic; Service oriented architecture; Simple object access protocol; Web and internet services; .Net Web-Services; ECA-centric Business rules; architectural connectors; service adaptivity;
Conference_Titel :
Internet and Web Applications and Services, 2009. ICIW '09. Fourth International Conference on
Conference_Location :
Venice/Mestre
Print_ISBN :
978-1-4244-3851-8
Electronic_ISBN :
978-0-7695-3613-2
DOI :
10.1109/ICIW.2009.76
