Service Engineering: Linking Business and IT

Summary form only given. Service-oriented design has long driven the development of the telecommunications infrastructure and applications, especially intelligent network services. Applying the same principles of domain specificity, virtualization, loose coupling, and seamless vertical integration to business processes has the potential to lead to a new generation of personalized, secure, and highly available Web services

[1]  Tiziana Margaria,et al.  Model-based design of distributed collaborative bioinformatics processes in the jABC , 2006 .

[2]  Tiziana Margaria,et al.  Service-Oriented Design: The Roots , 2005, ICSOC.

[3]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[4]  Wil M.P. van der Aalst,et al.  Pi calculus versus petri nets: let us eat humble pie rather than further inflate the Pi hype , 2005 .

[5]  Tiziana Margaria,et al.  A Constraint-Oriented Service Creation Environment , 1996, TACAS.

[6]  Tiziana Margaria,et al.  Remote integration and coordination of verification tools in jETI , 2005, 12th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'05).

[7]  Tiziana Margaria,et al.  Components, Features, and Agents in the ABC , 2003, Objects, Agents, and Features.

[8]  Tiziana Margaria,et al.  Semantic Web Services Challenge 2006 The jABC Approach to Mediation and Choreography , 2006 .

[9]  Robin Milner,et al.  Communicating and mobile systems - the Pi-calculus , 1999 .

[10]  Dexter Kozen,et al.  RESULTS ON THE PROPOSITIONAL’p-CALCULUS , 2001 .

[11]  Tiziana Margaria,et al.  Data-Flow Analysis as Model Checking Within the jABC , 2006, CC.

[12]  Tiziana Margaria,et al.  MaTRICS: A service-based management tool for remote intelligent configuration of systems , 2006, Innovations in Systems and Software Engineering.

[13]  Tiziana Margaria,et al.  Lightweight coarse-grained coordination: a scalable system-level approach , 2004, International Journal on Software Tools for Technology Transfer.

[14]  Suresh Damodaran.  B2B integration over the Internet with XML: RosettaNet successes and challenges , 2004, WWW Alt. '04.

[15]  Tiziana Margaria,et al.  Incremental Formalization: A Key to Industrial Success , 1996, Softw. Concepts Tools.

[16]  Tiziana Margaria,et al.  The Fixpoint-Analysis Machine , 1995, CONCUR.

[17]  Tiziana Margaria,et al.  The Electronic Tool Integration platform: concepts and design , 1997, International Journal on Software Tools for Technology Transfer.

[18]  Tiziana Margaria,et al.  Automatic Error Location for IN Service Definition , 1998, Services and Visualization: Towards User-Friendly Design.