Formalising service-oriented design

Journal of Software

Volumn 3, Issue 2, 2008, Pages 1-14

  Perepletchikov, Mikhail ^a   Ryan, Caspar ^a   Frampton, Keith ^a   Schmidt, Heinz ^a  

^a RMIT UNIVERSITY   (Australia)

Author keywords

Design methodology; Formal model of software design; Metrics; Service oriented computing (SOC)

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; FORMAL METHODS; SEMANTIC WEB; SOFTWARE DESIGN;

FORMAL MODEL; SERVICE-ORIENTED COMPUTING (SOC); SERVICE-ORIENTED DESIGN; SOFTWARE SYSTEMS;

SOFTWARE ENGINEERING;

EID: 70749140564     PISSN: 1796217X     EISSN: None     Source Type: Journal    
DOI: 10.4304/jsw.3.2.1-14     Document Type: Article

References (42)