Service-Oriented Computing

We advocate rigorous system design as a coherent and accountable model-based process leading from requirements to implementations. We present the state of the art in system design, discuss its current limitations, and identify possible avenues for overcoming them. A rigorous system design flow is defined as a formal accountable and iterative process composed of steps, and based on four principles: (1) separation of concerns; (2) component-based construction; (3) semantic coherency; and (4) correctness-by-construction. We show that the combined application of these principles allows the definition of rigorous design flows clearly identifying where human intervention and ingenuity are needed to resolve design choices, as well as activities that can be supported by tools to automate tedious and error-prone tasks. An implementable system model is progressively derived by source-to-source automated transformations in a single host component-based language rooted in well-defined semantics. Using a single modeling language throughout the design flow enforces semantic coherency. Correct-by-construction techniques allow well-known limitations of a posteriori verification to be overcome and ensure accountability. It is possible to explain, at each design step, which among the requirements are satisfied and which may not be satisfied. The presented view has been amply implemented in the BIP (Behavior, Interaction, Priority) component framework and substantiated by numerous experimental results showing both its relevance and feasibility. We show in particular, how distributed implementations can be generated from BIP models with multiparty interactions by application of correct-by-construction transformations. Applying Data Science to Firmographics

[1]  Samuel Kounev,et al.  Benchmarking Publish/Subscribe-Based Messaging Systems , 2010, DASFAA Workshops.

[2]  J. Wilkes.  Utility Functions, Prices, and Negotiation , 2009 .

[3]  Christian Webel,et al.  Emergence as Competitive Advantage - Engineering Tomorrow's Enterprise Software Systems , 2012, ICEIS.

[4]  David M. Eyers,et al.  Towards a common API for publish/subscribe , 2007, DEBS '07.

[5]  Xi Chen,et al.  A Survey on QoS-aware Web Service Composition , 2011, 2011 Third International Conference on Multimedia Information Networking and Security.

[6]  Paolo Bellavista,et al.  Quality of Service in Wide Scale Publish—Subscribe Systems , 2014, IEEE Communications Surveys & Tutorials.

[7]  Valérie Issarny,et al.  QoS Analysis in Heterogeneous Choreography Interactions , 2013, ICSOC.

[8]  David Eyers,et al.  ASIA: application-specific integrated aggregation for publish/subscribe middleware , 2012, Middleware '12.

[9]  Annika Hinze,et al.  Event-based applications and enabling technologies , 2009, DEBS '09.

[10]  Thomas Plagemann,et al.  CommonSens: Personalisation of complex event processing in automated homecare , 2010, 2010 Sixth International Conference on Intelligent Sensors, Sensor Networks and Information Processing.

[11]  Mani B. Srivastava,et al.  On the quality and value of information in sensor networks , 2013, TOSN.

[12]  Stefan Appel,et al.  Quality of Service in Event-based Systems , 2010 .

[13]  Luís E. T. Rodrigues,et al.  Scalable QoS-Based Event Routing in Publish-Subscribe Systems , 2005, Fourth IEEE International Symposium on Network Computing and Applications.

[14]  Donald Kossmann,et al.  The Skyline operator , 2001, Proceedings 17th International Conference on Data Engineering.

[15]  Arkady B. Zaslavsky,et al.  Context-Aware Sensor Search, Selection and Ranking Model for Internet of Things Middleware , 2013, 2013 IEEE 14th International Conference on Mobile Data Management.

[16]  Neeraj Suri,et al.  Quality of information in wireless sensor networks , 2010, ICIQ.

[17]  Kimberly Keeton,et al.  Do you know your IQ?: a research agenda for information quality in systems , 2010, PERV.

[18]  Alejandro P. Buchmann,et al.  From Calls to Events: Architecting Future BPM Systems , 2012, BPM.

[19]  Barbara Pernici,et al.  Adaptation of Web Services Based on QoS Satisfaction , 2010, ICSOC Workshops.

[20]  Pradeep K. Atrey,et al.  Context-aware QoI computation in multi-sensor systems , 2008, 2008 5th IEEE International Conference on Mobile Ad Hoc and Sensor Systems.

[21]  Ludger Fiege,et al.  On Quality-of-Service and Publish-Subscribe , 2006, 26th IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW'06).

[22]  Patrick Th. Eugster,et al.  Aggregation for implicit invocations , 2013, AOSD.

[23]  Luís E. T. Rodrigues,et al.  On QoS-aware publish-subscribe , 2002, Proceedings 22nd International Conference on Distributed Computing Systems Workshops.

[24]  Thomas F. La Porta,et al.  Quality of information functions for networked applications , 2012, 2012 IEEE International Conference on Pervasive Computing and Communications Workshops.

[25]  Salima Benbernou,et al.  A survey on service quality description , 2013, CSUR.

[26]  Douglas C. Schmidt,et al.  Maintaining QoS for publish/subscribe middleware in dynamic environments , 2009, DEBS '09.