References - User-Level Workflow Design: A Bioinformatics Perspective - page 208

196. Manna, Z., Wolper, P.: Synthesis of Communicating Processes from Tempo-
ral Logic Specifications. ACM Transactions on Programming Languages and
Systems 6(1), 68-93 (1984)
197. Margaria, T.: Service is in the Eyes of the Beholder. IEEE Computer (Novem-
ber 2007)
198. Margaria, T., Bakera, M., Kubczak, C., Naujokat, S., Steffen, B.: Automatic
Generation of the SWS-Challenge Mediator with jABC/ABC. In: Petrie, C.,
Margaria, T., Zaremba, M., Lausen, H. (eds.) Semantic Web Services Chal-
lenge. Results from the First Year, pp. 119-138. Springer (2008)
199. Margaria, T., Boßelmann, S., Doedt, M., Floyd, B.D., Steffen, B.: Customer-
Oriented Business Process Management: Visions and Obstacles. In: Hinchey,
M., Coyle, L. (eds.) Conquering Complexity, pp. 407-429. Springer, London
(2012)
200. Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based Design of Dis-
tributed Collaborative Bioinformatics Processes in the jABC. In: Proceedings
of the 11th IEEE International Conference on Engineering of Complex Com-
puter Systems (ICECCS 2006), pp. 169-176. IEEE Computer Society, Los
Alamitos (2006)
201. Margaria, T., Kubczak, C., Steffen, B.: Bio-jETI: a service integration, design,
and provisioning platform for orchestrated bioinformatics processes. BMC
Bioinformatics 9(suppl. 4), S12 (2008)
202. Margaria, T., Nagel, R., Steffen, B.: jETI: A Tool for Remote Tool Integration.
In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 557-
562. Springer, Heidelberg (2005)
203. Margaria, T., Nagel, R., Steffen, B.: Remote Integration and Coordination of
Verification Tools in JETI. In: Proc. of 12th IEEE International Conference
on the Engineering of Computer-Based Systems, pp. 431-436. IEEE Computer
Society, Los Alamitos (2005)
204. Margaria, T., Steffen, B.: Backtracking-free Design Planning by Automatic
Synthesis in METAFrame. In: Astesiano, E. (ed.) ETAPS 1998 and FASE
1998. LNCS, vol. 1382, pp. 188-204. Springer, Heidelberg (1998)
205. Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable
system-level approach. STTT 5(2-3), 107-123 (2004)
206. Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. Com-
puter 39(10), 45-55 (2006)
207. Margaria, T., Steffen, B.: LTL-Guided Planning: Revisiting Automatic Tool
Composition in ETI. In: Proceedings of the 31st IEEE Software Engineering
Workshop, pp. 214-226. IEEE Computer Society (2007)
208. Margaria, T., Steffen, B.: Agile IT: Thinking in User-Centric Models. In: Mar-
garia, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 490-502. Springer,
Heidelberg (2008)
209. Margaria, T., Steffen, B.: Business Process Modelling in the jABC: The One-
Thing-Approach. In: Cardoso, J., van der Aalst, W. (eds.) Handbook of Re-
search on Business Process Modeling. IGI Global (2009)
210. Margaria, T., Steffen, B.: Continuous Model-Driven Engineering. IEEE Com-
puter 42(10), 106-109 (2009)
211. Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with
XMDD. In: Hinchey, M., Coyle, L. (eds.) Conquering Complexity, pp. 217-236.
Springer, London (2012)