DoD towards software services

Department of Defense is moving rapidly towards service-oriented computing (SOC) recently as evidence of DoD 5 projects such as network centric enterprise services (NCES), global information grid enterprise services (GES), and joint battle management command and control (JBMC2). SOC represents a completely new and emerging paradigm of computing instead of thinking in terms of products. Systems will be constructed by reusable services. SOC is different from the traditional computing paradigms as it involves at least three parties in computing: service providers, service consumers, and service brokers.

[1]  Michael N. Huhns,et al.  Trusted Autonomy , 2002, IEEE Internet Comput..

[2]  Raymond A. Paul,et al.  Service-Oriented Architecture for Command and Control Systems with Dynamic Reconfiguration , 2004 .

[3]  Thomas A. Henzinger,et al.  Generating tests from counterexamples , 2004, Proceedings. 26th International Conference on Software Engineering.

[4]  Miroslaw Malek,et al.  VERIFYING CORRECTNESS OF WEB SERVICE COMPOSITION , 2004 .

[5]  Raymond A. Paul,et al.  Verification of Web services using an enhanced UDDI server , 2003, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)..

[6]  Wei-Tek Tsai,et al.  Scenario-Based Web Services Testing with Distributed Agents , 2003 .

[7]  Raymond A. Paul,et al.  Cooperative and group testing in verification of dynamic composite Web services , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[8]  A. Jefferson Offutt,et al.  Generating test cases for web services using data perturbation , 2004, SOEN.

[9]  Raymond A. Paul,et al.  Specification-based verification and validation of Web services and service-oriented operating systems , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[10]  Nashat Mansour,et al.  Testing Web services , 2005, The 3rd ACS/IEEE International Conference onComputer Systems and Applications, 2005..

[11]  Dong Wang,et al.  Extending WSDL to facilitate Web services testing , 2002, 7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings..

[12]  Jia Zhang,et al.  An approach to facilitate reliability testing of Web services components , 2004, 15th International Symposium on Software Reliability Engineering.

[13]  Raymond A. Paul,et al.  Automated model checking and testing for composite Web services , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[14]  Wei-Tek Tsai,et al.  Towards self-healing systems via dependable architecture and reflective middleware , 2005, 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems.

[15]  Antonio Vallecillo,et al.  Formalizing Web Service Choreographies , 2004, Electron. Notes Theor. Comput. Sci..

[16]  Jie Xu,et al.  Testing Web Services , 2004 .

[17]  Raymond A. Paul,et al.  Services-oriented dynamic reconfiguration framework for dependable distributed computing , 2004, Proceedings of the 28th Annual International Computer Software and Applications Conference, 2004. COMPSAC 2004..

[18]  Miroslaw Malek,et al.  Current solutions for Web service composition , 2004, IEEE Internet Computing.

[19]  Raymond A. Paul,et al.  A software reliability model for web services , 2004, IASTED Conf. on Software Engineering and Applications.