{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:20:00Z","timestamp":1737004800589,"version":"3.33.0"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2007,3,13]],"date-time":"2007-03-13T00:00:00Z","timestamp":1173744000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SOCA"],"published-print":{"date-parts":[[2007,4,5]]},"DOI":"10.1007\/s11761-007-0003-2","type":"journal-article","created":{"date-parts":[[2007,3,29]],"date-time":"2007-03-29T14:59:43Z","timestamp":1175180383000},"page":"3-17","source":"Crossref","is-referenced-by-count":14,"title":["Service-oriented system engineering (SOSE) and its applications to embedded system development"],"prefix":"10.1007","volume":"1","author":[{"given":"Wei-Tek","family":"Tsai","sequence":"first","affiliation":[]},{"given":"Xiao","family":"Wei","sequence":"additional","affiliation":[]},{"given":"Ray","family":"Paul","sequence":"additional","affiliation":[]},{"given":"Jen-Yao","family":"Chung","sequence":"additional","affiliation":[]},{"given":"Qian","family":"Huang","sequence":"additional","affiliation":[]},{"given":"Yinong","family":"Chen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,3,13]]},"reference":[{"key":"3_CR1","unstructured":"Altova (2005) Altova XMLSpy\u00ae. http:\/\/www.altova.com\/ products_ide.html"},{"key":"3_CR2","unstructured":"Andrews T, Curbera F, Dholakia H, Goland Y, Klein J, Leymann F, Liu K, Roller D, Smith D, Thatte S, Trickovic I, Weerawarana S (2003) Specification: business process execution language for web services version 1.1. http:\/\/www- 28.ibm.com\/developerworks\/library\/ ws-bpel\/"},{"key":"3_CR3","unstructured":"Arsanjani A (2004) Service-oriented modeling and architecture. IBM White Paper"},{"key":"3_CR4","unstructured":"Bieberstein N, Bose S, Fiammante M, Jones K, Shah R (2005) Service-oriented architecture compass: business value, planning, and enterprise roadmap. IBM Press, Lebanour"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Bishop M (2002) Computer security: art and science","DOI":"10.1163\/9789004487277_006"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Chang M, He J, Castro-Leon E (2006) Service-oriented in the computing infrastructure. SOSE 2006, Shanghai","DOI":"10.1109\/SOSE.2006.35"},{"key":"3_CR7","unstructured":"Chappell D (2004) Enterprise service bus. O\u2019 Reilly Media, Sebastopol"},{"key":"3_CR8","unstructured":"Chen Y, Tsai WT (2006) Introduction to programming languages: programming in C, C++, Scheme, Prolog, C#, and SOA, 2nd edn. Kendall\/Hunt Publishing Company, Dubugue"},{"key":"3_CR9","unstructured":"Chen Y, Tsai WT, Cober G, Jones J, Kieff J, Ouding R, Rudedy R (2005) Recomposable distributed embedded system: battle of robots. Computer Science and Engineering Department, Arizona State University, Technical Report, December 2005. http:\/\/ asusrl.eas.asu.edu\/srlab\/Publications\/Reports\/SOA_Embedded_TR05.pdf"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Endrei M, Ang J, Arsanjani A, Chua S, Comte P, Krogdahl P, Luo M, Newling T (2004) Patterns: service-oriented architecture and web services. IBM Red Books","DOI":"10.1109\/ICWS.2004.1314715"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Hamlet D, Mason D, Woit D (2001) Theory of software reliability based on components. In: 23rd International conference on software engineering (ICSE\u201901), pp 361\u2013370","DOI":"10.1109\/ICSE.2001.919109"},{"key":"3_CR12","unstructured":"High R Jr, Kinder S, Graham S (2005) IBM SOA foundation: an architectural introduction and overview, Version 1.0"},{"key":"3_CR13","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Agile_software_development"},{"key":"3_CR14","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Application_Lifecycle_ Management"},{"key":"3_CR15","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Service-oriented_analysis_and_ design"},{"key":"3_CR16","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Spiral_model"},{"key":"3_CR17","unstructured":"http:\/\/en.wikipedia.org\/wiki\/Waterfall_model"},{"key":"3_CR18","unstructured":"IBM (2005) IBM SOA foundation: providing what you need to get started with SOA. White paper, September 2005"},{"key":"3_CR19","unstructured":"IBM (2005) Service data objects. Available at http:\/\/ www-128.ibm.com\/developerworks\/webservices\/library\/specification\/ws-sdo\/ November 2005"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Littlewood B, Strigini L (2000) Software reliability and dependability: a roadmap. In: Proceedings of the conference on the future of software engineering, pp 175\u2013188","DOI":"10.1145\/336512.336551"},{"key":"3_CR21","unstructured":"Malek M (2003) The NOMADS republic. In: Proceedings of SSGRR 2003. Telecom Italia, L\u2019Aquila"},{"key":"3_CR22","unstructured":"Microsoft released the Robotics Studio (2006) http:\/\/msdn. microsoft.com\/robotics\/"},{"key":"3_CR23","unstructured":"MITRE Corporation (2005) NCOIC White Paper"},{"key":"3_CR24","unstructured":"Parasoft, SOAP test data sheet. http:\/\/www.parasoft.com\/ jsp\/products\/quick_facts.jsp?product=SOAP"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Paul R (2005) DoD towards software services. In: Proceedings of 10th IEEE international workshop on object-oriented real-time dependable systems (WORDS 05), pp 3\u20136","DOI":"10.1109\/WORDS.2005.30"},{"key":"3_CR26","unstructured":"Paul R, Tsai WT, Bayne J (2005) The impact of SOA policy-based computing on C2 interoperation and computing. In: 10th International command and control research and technology symposium (ICCRTS), McLean, Virginia"},{"key":"3_CR27","unstructured":"Relex Software, Event tree analysis\u2014ETA. available at http:\/\/www.eventtree.com\/"},{"key":"3_CR28","volume-title":"Service-oriented computing","author":"MP Singh","year":"2005","unstructured":"Singh MP, Huhns MN (2005) Service-oriented computing. Wiley, New York"},{"key":"3_CR29","unstructured":"Sprott D (2004) Service oriented architecture: an introduction for managers. CBDI Technical Report"},{"key":"3_CR30","unstructured":"Systinet (2006) SOA governance: balancing flexibility and control within an SOA. Mercury White Paper"},{"key":"3_CR31","unstructured":"Tidwell D (2001) UDDI4J: matchmaking for web services. http:\/\/www-106.ibm.com\/developerworks\/library\/ ws-uddi4j.html"},{"key":"3_CR32","doi-asserted-by":"crossref","unstructured":"Tsai WT (2005) Service-oriented system engineering: a new paradigm. In: IEEE international workshop on service- oriented system engineering (SOSE), Beijing pp 3\u20138","DOI":"10.1109\/SOSE.2005.34"},{"key":"3_CR33","doi-asserted-by":"crossref","unstructured":"Tsai WT, Chen Y, Paul RA (2005) Dynamic simulation verification and validation by policy enforcement. In: 38th Annual simulation symposium pp 91\u201398","DOI":"10.1109\/ANSS.2005.42"},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Tsai WT, Chen Y, Paul R, Huang H, Zhou X, Wei X (2005) Adaptive testing, oracle generation, and test script ranking for web services. In: Proceedings of the 29th annual international computer software and applications conference (COMPSAC), Edinburgh, pp 101\u2013106","DOI":"10.1109\/COMPSAC.2005.40"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Tsai WT, Huang Q, Xiao B, Chen Y (2006) Verification framework for dynamic collaborative services in service-oriented architecture. In: 6th international conference on qualicy software (QSIC), October 27\u201328th, 2006","DOI":"10.1109\/QSIC.2006.66"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Tsai WT, Huang Q, Xiao B, Chen Y (2007) Collaboration policy generation in dynamic collaborative SOA. ISADS 2007","DOI":"10.1109\/ISADS.2007.26"},{"key":"3_CR37","doi-asserted-by":"crossref","unstructured":"Tsai WT, Lee YH, Cao Z, Chen Y, Xiao B (2006) RTSOA: real-time service-oriented architecture. SOSE 2006, Shanghai","DOI":"10.1109\/SOSE.2006.27"},{"key":"3_CR38","doi-asserted-by":"crossref","unstructured":"Tsai WT, Liu X, Chen Y (2005) Distributed policy specification and enforcement in service-oriented business systems. IEEE international conference on e-business engineering (ICEBE), Beijing, pp 10\u201317","DOI":"10.1109\/ICEBE.2005.52"},{"key":"3_CR39","doi-asserted-by":"crossref","unstructured":"Tsai WT, Liu X, Chen Y, Paul R (2005) Simulation verification and validation by dynamic policy enforcement. In: Proceedings of annual simulation symposium pp 91\u201398","DOI":"10.1109\/ANSS.2005.42"},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Tsai WT, Malek M, Chen Y, Bastani Y (2006) Perspectives on service-oriented and service-oriented system engineering. SOSE 2006, Shanghai","DOI":"10.1109\/SOSE.2006.24"},{"key":"3_CR41","unstructured":"Tsai WT, Paul R, Huang H, Xiao B, Chen Y (2005) Semantic interoperability and its verification and validation in C2 systems. In: 10th International command and control research and technology symposium (ICCRTS)"},{"key":"3_CR42","unstructured":"Tsai WT, Paul R, Xiao B, Cao Z, Chen Y (2005) PSML-S: a process specification and modeling language for service oriented computing. In: The 9th IASTED international conference on software engineering and applications (SEA), Phoenix, pp. 160\u2013167"},{"key":"3_CR43","doi-asserted-by":"crossref","unstructured":"Tsai WT, Wei X, Chen Y (2005) A robust testing framework for verifying web services by completeness and consistency analysis. IEEE international workshop on service-oriented system engineering (SOSE), Beijing, pp 151\u2013158","DOI":"10.1109\/SOSE.2005.2"},{"issue":"12","key":"3_CR44","doi-asserted-by":"crossref","first-page":"2691","DOI":"10.1093\/ietisy\/e88-d.12.2691","volume":"E88-D","author":"WT Tsai","year":"2005","unstructured":"Tsai WT, Wei X, Chen Y, Paul R, Xiao B (2005) Swiss cheese test case generation for web service testing. IEICE Trans Inf Syst E88-D(12):2691\u20132698","journal-title":"IEICE Trans Inf Syst"},{"key":"3_CR45","doi-asserted-by":"crossref","unstructured":"Tsai WT, Wei X, Chen Y, Xiao B, Paul RA, Huang H (2005) Developing and assuring trustworthy web services. In: Proceedings of 7th international symposium on autonomous decentralized systems, Chengdu, pp 43\u201350","DOI":"10.1109\/ISADS.2005.1452016"},{"key":"3_CR46","doi-asserted-by":"crossref","unstructured":"Tsai WT, Xiao B, Paul RA, Chen Y (2006) Consumer-centric service-oriented architecture: a new approach. In: Proceedings of IEEE 2006 international workshop on collaborative computing, integration, and assurance (WCCIA) pp 175\u2013180","DOI":"10.1109\/SEUS-WCCIA.2006.22"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Xiao B, Tsai WT, Huang Q, Chen Y, Paul R (2006) SOA collaboration modeling, analysis, and simulation in PSML-C. The 2nd IEEE international symposium on service-oriented applications, integration and collaboration (SOAIC 06), Shanghai","DOI":"10.1109\/ICEBE.2006.94"},{"key":"3_CR48","unstructured":"Zimmermann O, Krogdahl P, Gee C (2004) Elements of service-oriented analysis and design. White Paper. Available at http:\/\/www-128.ibm.com\/developerworks\/webservices\/library\/ws-soad1\/"}],"container-title":["Service Oriented Computing and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-007-0003-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11761-007-0003-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11761-007-0003-2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T08:12:45Z","timestamp":1736928765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11761-007-0003-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,3,13]]},"references-count":48,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,4,5]]}},"alternative-id":["3"],"URL":"https:\/\/doi.org\/10.1007\/s11761-007-0003-2","relation":{},"ISSN":["1863-2386","1863-2394"],"issn-type":[{"type":"print","value":"1863-2386"},{"type":"electronic","value":"1863-2394"}],"subject":[],"published":{"date-parts":[[2007,3,13]]}}}