A formal engineering approach to service-based software modeling and integration testing

[1]  John C. Knight,et al.  Why are Formal Methods Not Used More Widely , 1997 .

[2]  Philippe Desfray,et al.  Enterprise architecture modeling with SoaML using BMM and BPMN - MDA approach in practice , 2010, 2010 6th Central and Eastern European Software Engineering Conference (CEE-SECR).

[3]  Ali Arsanjani,et al.  SOMA: A method for developing service-oriented solutions , 2008, IBM Syst. J..