Service Engineering: Linking Business and IT

With its strong emphasis on modularization, service-oriented computing radically alters the way business processes are modeled, realized, and maintained. Domain-specific services virtualize complex functions of the underlying business applications so that they can be loosely coupled to form transorganizational processes. This level of abstraction fosters agility and lessens traditional provider dependence. 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, visualization, 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.  Lightweight coarse-grained coordination: a scalable system-level approach , 2004, International Journal on Software Tools for Technology Transfer.

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

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

[4]  Tiziana Margaria,et al.  An Environment for the Creation of Intelligent Network Services , 1995 .

[5]  Tiziana Margaria,et al.  Model-based design of distributed collaborative bioinformatics processes in the jABC , 2006, 11th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'06).

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

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

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

[9]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

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

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

[12]  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 .

[13]  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).

[14]  Manfred Reitenspie,et al.  Service Creation: Formal Veriication and Abstract Views , 1996 .

[15]  D. Kozen Results on the Propositional µ-Calculus , 1982 .

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

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

[18]  Tiziana Margaria,et al.  METAFrame in Practice: Design of Intelligent Network Services , 1999, Correct System Design.

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