A translator for automated code generation for service-based systems

Abstract

Service based systems are playing a major role in industry today, everything from the verification of credit cards to booking airplane reservations are using some form of a service based approach. This unfortunately brings up a really big problem, how do we know that these services are actually doing what they are supposed to? Or, how do we know the service based system doesn\u27t get somehow compromised when handling sensitive information.;A collaborative project involving Arizona State University and West Virginia University began in 2004 to first create a language, called alpha-calculus. We can prove that the code written in alpha-calculus adheres to the requirements. The next step was to create a translator that could convert code written in alpha-calculus to Secure Operations Language (SOL), which could then be used to develop service-based systems.;While research has been done in this area, the alpha-calculus to SOL translator provides a real world solution to creating provable/verifiable service based systems