Occupation:Executive Director |
Location:Washington, DC |
Education Level:Doctorate |
Will Relocate:YES |
Description
Program Manager Consultant -UNT/ National Science Foundation University Industrial Research Consortium Summary DoD E2E Testing and Evaluation (T&E) technology for high assurance system has evolved from specification and analysis of thin threads, through system scenarios, and to the scenario-driven system engineering including reliability, security, and safety assurance, as well as dynamic verification and validation. Currently, E2E T&E technology is entering the fourth generation and being applied . Published in 2006. Automated Model Checking and Testing for Composite Web Services (Citations: 26) Hai Huang, Wei-tek Tsai, Raymond A. Paul, Yinong Chen Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to carry out a coherent task. This paper presents a new approach to verify Web Services by model checking the process model of OWL-S (Web Ontology Language for Web Services) and to validate them by the . Conference: Object-Oriented Real-Time Distributed Computing - ISORC pp. 300-307, 2005 Adaptive Testing, Oracle Generation, and Test Case Ranking for Web Services (Citations: 13) Wei-Tek Tsai, Yinong Chen, Raymond Paul, Hai Huang, Xinyu Zhou, Xiao Wei Web services and service-oriented architecture are emerging technologies that are changing the way we develop and use computer software. Due to the standardization of web services related description languages and protocols, as well as the open platforms, for the same web service specification, many different implementations can be offered from different service providers. This paper presents an adaptive group . Conference: International Computer Software and Applications Conference - COMPSAC, pp. 101-106, 2005 Specification-Based Verification and Validation of Web Services and Service-Oriented Operating Systems (Citations: 11) Wei-tek Tsai, Yinong Chen, Raymond A. Paul Service-Oriented Architecture (SOA) and Web Services (WS) have received significant attention recently. Even though WS are based on open standards and support software interoperability, but the trustworthy issues of WS has actually limited the growth of WS applications as organizations do not trust those WS developed by other vendors and at the same time they do not have access . Conference: Workshop on Object-Oriented Real-Time Dependable Systems - WORDS pp. 139-147, 2005 PSML-S: A PROCESS SPECIFICATION AND MODELING LANGUAGE FOR SERVICE-ORIENTED COMPUTING (Citations: 8) W. T. Tsai, Raymond A. Paul, Bingnan Xiao, Zhibin Cao, Yinong Chen This paper presents a process specification and modeling language for service-oriented system development. The language, PSML-S, is defined by a metamodel consisting of four model packages: core model, behavior model, structure model, and constraint model. The core model defines the data types and operations in other models the structure model defines the constructs to specify the static structure . Conference: Software Engineering and Applications - IASTEDSEA 2005 Rapid Embedded System Testing Using Verification Patterns (Citations: 6) Wei-tek Tsai, Lian Yu, Feng Zhu, Raymond A. Paul
Education
| SCHOOL | MAJOR | YEAR | DEGREE |
|---|---|---|---|
| University of Tokyo/Tsukuba | Engineering Management and Systems Engineering | 1999 | Doctorate Degree |
Accomplishments
Highlights:
Keywords
