Engineering Reactive Systems: A Compositional and Model-Driven Method Based on Collaborative Building Blocks
Doctoral thesis
Permanent lenke
http://hdl.handle.net/11250/261480Utgivelsesdato
2008Metadata
Vis full innførselSamlinger
Består av
Kraemer, Frank Alexander; Herrmann, Peter. SERVICE SPECIFICATION BY COMPOSITION OF COLLABORATIONS | AN EXAMPLE. Proceedings of the 2006 WI-IAT Workshops, 2006.Kraemer, Frank Alexander; Herrmann, Peter; Bræk, Rolv. ALIGNING UML 2.0 STATE MACHINES AND TEMPORAL LOGIC FOR THE EFFICIENT EXECUTION OF SERVICES. Lecture Notes of Computer Science (The original publication is available at www.springerlink.com). 4276: 1613-1632, 2006.
Kraemer, Frank Alexander; Herrmann, Peter. TRANSFORMING COLLABORATIVE SERVICE SPECIFICATIONS INTO EFFICIENTLY EXECUTABLE STATE MACHINES. Graph Transformation and Visual Modeling Techniques. 6, 2007.
Kraemer, Frank Alexander; Bræk, Rolv; Herrmann, Peter. SYNTHESIZING COMPONENTS WITH SESSIONS FROM COLLABORATION-ORIENTED SERVICE SPECIFICATIONS. Lecture Notes of Computer Science (The original publication is available at www.springerlink.com). 4745: 166-185, 2007.
Herrmann, Peter; Kraemer, Frank Alexander. DESIGN OF TRUSTED SYSTEMS WITH REUSABLE COLLABORATION MODELS. IFIP International Federation for Information Processing (The original publication is available at www.springerlink.com). 238: 317-332, 2007.
Kraemer, Frank Alexander; Herrmann, Peter. FORMALIZING COLLABORATION-ORIENTED SERVICE SPECIFICATIONS USING TEMPORAL LOGIC. Proceedings of the International Conference on Networking and Electronic Commerce Research Conference: 194-220, 2007.