From the How to the What

In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their business processes/applications in a fashion that allows for a subsequent automatic realization on a given platform. This goal, which aims at simplifying the tasks of the many at the cost of ambitious and laborious tasks for the few, adds a new dimension to the techniques and concepts aimed at by the Grand Challenge: the application-specific design of platforms tailored for the intended goal. We are convinced that the outlined perspective provides a realistic and economically important milestone for the Grand Challenge.

[1]  Tiziana Margaria,et al.  Backtracking-Free Design Planning by Automatic Synthesis in METAFrame , 1998, FASE.

[2]  Tiziana Margaria,et al.  Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

[3]  Sriram K. Rajamani,et al.  The SLAM project: debugging system software via static analysis , 2002, POPL '02.

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

[5]  Sriram K. Rajamani,et al.  Automatically validating temporal safety properties of interfaces , 2001, SPIN '01.

[6]  Tiziana Margaria,et al.  Service Engineering: Linking Business and IT , 2006, Computer.

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

[8]  Tiziana Margaria,et al.  System level testing of virtual switch (re-)configuration over IP , 2002, Proceedings The Seventh IEEE European Test Workshop.

[9]  Tiziana Margaria,et al.  The SWS Mediator with WEBML/WEBRATIO and JABC/JETI: A Comparison , 2016, ICEIS.

[10]  Tiziana Margaria,et al.  Completing and Adapting Models of Biological Processes , 2006, BICC.

[11]  Tiziana Margaria,et al.  Comparative Analysis of Tools for Automated Software Re-engineering Purposes , 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

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

[13]  Tiziana Margaria,et al.  Demonstration of an Automated Integrated Test Environment for Web-Based Applications , 2002, SPIN.

[14]  Tiziana Margaria,et al.  An Automated Testing Environment for CTI Systems Using Concepts for Specification and Verification of Workflows , 2000 .

[15]  S. Jorges,et al.  Model Driven Design of Reliable Robot Control Programs Using the jABC , 2007, Fourth IEEE International Workshop on Engineering of Autonomic and Autonomous Systems (EASe'07).

[16]  Perdita Stevens,et al.  Modelling Recursive Calls with UML State Diagrams , 2003, FASE.

[17]  Tiziana Margaria,et al.  Service Engineering: Linking Business and IT , 2006, 2006 30th Annual IEEE/NASA Software Engineering Workshop.

[18]  Tiziana Margaria,et al.  Second-Order Semantic Web , 2005, 29th Annual IEEE/NASA Software Engineering Workshop.

[19]  Tiziana Margaria,et al.  Community Usage of the Online Conference Service: an Experience Report from three CS Conferences , 2002, I3E.

[20]  Tiziana Margaria,et al.  Model-Driven Development with the jABC , 2006, Haifa Verification Conference.

[21]  Tiziana Margaria,et al.  Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service , 2005, WWV.

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