Master Thesis Olaf Märker
Eine virtuelle Maschine für den π-Kalkül zur Implementierung von Ressourcen mit dynamischen Verhalten
© 2008 Olaf Märker
Das Internet hat die Wirtschaft nachhaltig verändert. Unternehmen von verschiedenen Teilen der Welt konkurrieren plötzlich in denselben Märkten. Durch den dadurch erzeugten Kostendruck kommt der Automatisierung von Geschäftsprozessen eine stetig steigende Bedeutung zu. Doch gleichzeitig wächst auch die Komplexität der Prozesse, die manuell kaum noch zu bewältigen ist. Hier eignet sich der π-Kalkül, eine Theorie über mobile Prozesse, für die automatisierte Verifikation von Prozessen und der Analyse ihres Verhaltens in nicht-statischen Umwelten. In dieser Arbeit wird beschrieben, wie der π-Kalkül nicht nur zur Analyse, sondern auch zur Ausführung von prozessorientierten Anwendungen im Internet verwendet werden kann. Als Architekturstil wird der Representational State Transfer (REST) eingesetzt, der den Aufbau eines stark-skalierbaren Systems gestattet.
A Virtual Machine for Implementing Resources with Dynamic Behavior in the Pi-Calculus
© 2008 Olaf Märker
The Internet affected the business world in a lasting manner. Suddenly, companies from all over the world compete against each other in the same markets. The resulting cost pressure requires a steady increase of business process automatisation. But at the same time, the complexity of these processes is growing further, making it hard to manage them manually. The π-calculus, a theory of mobile processes, is suitable for automatic verification and analysis of the behavior of processes in a non-static environment. This thesis describes, how the π-calculus can be used not only for analysis, but also for the execution of process-oriented applications in the Internet. The Representational State Transfer (REST) will be used as architectural style to allow the design of highly scalable systems.