<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "From architectural to behavioural specification of services"^^ . "Many efforts are currently devoted to provide software developers with methods and techniques that can endow service-oriented computing with systematic and accountable engineering practices. To this purpose, a number of languages and calculi have been proposed within the Sensoria project that address different levels of abstraction of the software engineering process. Here, we report on two such languages and the way they can be formally related within an integrated approach that can lead to verifiable development of service components from more abstract architectural models of business activities."^^ . "2009" . . . "253" . "1" . . "Elsevier"^^ . . . "Electronic Notes in Theoretical Computer Science"^^ . . . "15710661" . . . . . . . . . . . . . . . . . . . "Laura"^^ . "Bocchi"^^ . "Laura Bocchi"^^ . . "Francesco"^^ . "Tiezzi"^^ . "Francesco Tiezzi"^^ . . "Jose Luiz"^^ . "Fiadeiro"^^ . "Jose Luiz Fiadeiro"^^ . . "Alessandro"^^ . "Lapadula"^^ . "Alessandro Lapadula"^^ . . "Rosario"^^ . "Pugliese"^^ . "Rosario Pugliese"^^ . . . . . . "From architectural to behavioural specification of services (PDF)"^^ . . . . . . . . . . . "fesca_2009e.pdf"^^ . . . "From architectural to behavioural specification of services (Image (JPEG))"^^ . . . . . . "preview.jpg"^^ . . . "From architectural to behavioural specification of services (Indexer Terms)"^^ . . . . . . "indexcodes.txt"^^ . . . "From architectural to behavioural specification of services (PDF)"^^ . . . . . . "Tiezzi_etc_2009.pdf"^^ . . . "From architectural to behavioural specification of services (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "From architectural to behavioural specification of services (Other)"^^ . . . . . . "preview.jpg"^^ . . . "From architectural to behavioural specification of services (Other)"^^ . . . . . . "medium.jpg"^^ . . . "From architectural to behavioural specification of services (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #409 \n\nFrom architectural to behavioural specification of services\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .