Title :
Requirements-Driven Design of Service-Oriented Interactions
Author :
Mahfouz, Amr ; Barroca, Leener ; Laney, Robin ; Nuseibeh, Bashar
Author_Institution :
Webalo, Inc., Los Angeles, CA, USA
Abstract :
Service-oriented architecture (SOA) enables interenterprise service interactions. Services provide platform-independent abstractions around software systems, thereby enabling interoperability between heterogeneous systems. It is supported by a tool, Chreq(Choreograpy requirements) that automatically generates messaging protocols from requirements models. Chreq also generates comments, interleaved with the protocol, to indicate points at which physical activities should execute. Several languages are emerging as standards for describing interfaces and interaction protocols that specify service-oriented systems.
Keywords :
Web services; business data processing; formal specification; formal verification; high level languages; open systems; software architecture; Web service description language; choreography requirement; heterogeneous system; interaction protocol; interenterprise service interaction; interface protocol; interoperability; messaging protocol; platform independent abstraction; requirement driven design; service oriented architecture; Collaboration; Process design; Protocols; software engineering;
Journal_Title :
Software, IEEE
DOI :
10.1109/MS.2010.113
