RigorousSoftwareEngineeringforService-OrientedSystemsResultsoftheSENSORIAProjectonSoftwareEngineeringforService-OrientedComputingLectureNotesinComputerScience6582