Towards a Disciplined Engineering of Adaptive Service-Oriented Business Processes

Author

Aoumeur, Nasreddine ; Barkaoui, Kamel

Author_Institution

ITI, Otto-von-Guericke-Univ. Magdeburg, Magdeburg

fYear

2009

fDate

24-28 May 2009

Firstpage

474

Lastpage

480

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICIW.2009.76

Filename

5072563