Thumbnail
Access Restriction
Open

Author Alqahtani, Ali ♦ Zedan, Hussein
Source CiteSeerX
Content type Text
File Format PDF
Subject Domain (in DDC) Computer science, information & general works ♦ Data processing & computer science
Subject Keyword Service-oriented Application ♦ Runtime Adaptability ♦ Rule-based Foundation ♦ Maude Language ♦ Dynamic Adaptability ♦ Harsh Market Competitiveness ♦ Rigid Available Technology ♦ Tailored Rewriting Logic Theory ♦ Aspect-oriented Technique Towards ♦ Eca-driven Architectural Interconnection ♦ Service Composition Logic ♦ Core Step ♦ Aspectual Service Composition ♦ Steering Force ♦ Service Developer ♦ Early Formal Specification
Abstract Service-oriented applications are increasingly requested to be adaptive and reliable, to face harsh market competitiveness and volatility. Towards achieving that, service developers must foster current ad-hoc and rigid available technology, e.g. WSDL, BPEL and WS-CDL, with early formal specification and validation and equip them with adaptability as steering forces. In paper puts first milestones towards such challenging foundations. More precisely, we first propose ECA-driven architectural interconnections to handle service composition logic. Then, we leverage this composition logic with aspect-oriented techniques towards coping with dynamic adaptability. As a core further step, we semantically govern this aspectual service composition modeling with a tailored rewriting logic theory. More precisely, we extend to Maude language to faithfully specify and validate this model.
Educational Role Student ♦ Teacher
Age Range above 22 year
Educational Use Research
Education Level UG and PG ♦ Career/Technical Study