摘要 :
The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language, AS5506, provides a means for the formal specification of the hardware and software architecture of embedded computer systems and system of systems....
展开
The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language, AS5506, provides a means for the formal specification of the hardware and software architecture of embedded computer systems and system of systems. It was designed to support a full Model Based Development lifecycle including system specification, analysis, system tuning, integration, and upgrade over the lifecycle. It was designed to support the integration of multiple forms of analyses and to be extensible in a standard way for additional analysis approaches. A system can be automatically integrated from AADL models when fully specified and when source code is provided for the software components. Analysis of large complex systems has been demonstrated in the avionics domain
收起
摘要 :
The business process execution language for Web services (BPEL4WS) offers a new standards-based approach to building flexible business processes by orchestrating multiple Web services. Unit testing is critical to guarantee the cre...
展开
The business process execution language for Web services (BPEL4WS) offers a new standards-based approach to building flexible business processes by orchestrating multiple Web services. Unit testing is critical to guarantee the creation of correct and reliable BPEL4WS business processes. Yet this is a topic that is still to be explored, both in research and industry. Lack of unit test tooling support has affected BPEL4WS process development in terms of quality and efficiency. This paper proposes a BPEL4WS unit test framework, which includes a BPEL4WS process composition model, a test architecture, a lifecycle management schema and a test design outline. An example implementation of the framework illustrates the whole approach. By adopting this test framework, the experience of developing, testing and debugging a BPEL4WS processes will be greatly improved.
收起
摘要 :
The business process execution language for Web services (BPEL4WS) offers a new standards-based approach to building flexible business processes by orchestrating multiple Web services. Unit testing is critical to guarantee the cre...
展开
The business process execution language for Web services (BPEL4WS) offers a new standards-based approach to building flexible business processes by orchestrating multiple Web services. Unit testing is critical to guarantee the creation of correct and reliable BPEL4WS business processes. Yet this is a topic that is still to be explored, both in research and industry. Lack of unit test tooling support has affected BPEL4WS process development in terms of quality and efficiency. This paper proposes a BPEL4WS unit test framework, which includes a BPEL4WS process composition model, a test architecture, a lifecycle management schema and a test design outline. An example implementation of the framework illustrates the whole approach. By adopting this test framework, the experience of developing, testing and debugging a BPEL4WS processes will be greatly improved.
收起