Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
- Business Process
- Supply Chain Management
- Grand Challenge
- Content Management System
- Programming Knowledge
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bakera, M., Margaria, T., Renner, C., Steffen, B.: Game-Based Model Checking for Reliable Autonomy in Space, JACIC. Journ. of Aerospace Computing, Information, and Communication (Publ. by AIAA, American Institute of Aeronautics and Astronautics) (to appear)
Ball, T., Rajamani, S.: Automatically Validating Temporal Safety Properties of Interfaces. In: Dwyer, M.B. (ed.) SPIN 2001. LNCS, vol. 2057, pp. 103–122. Springer, Heidelberg (2001)
Ball, T., Rajamani, S.: Debugging System Software via Static Analysis. In: POPL 2002, pp. 1–3 (January, 2002)
Hinchey, M., Margaria, T., Rash, J., Rouff, C., Steffen, B.: Enhanced Requirements-Based Programming for Embedded Systems Design. In: Proc. MBEES 2006, Dagstuhl Workshop Modellbasierte Entwicklung eingebetteter Systeme II, January 2006, Tech. Rep. TU-Braunschweig 2006-01, pp. 43–52 (2006)
Hörmann, M., Margaria, T., Mender, T., Nagel, R., Schuster, M., Steffen, B., Trinh, H.: The jABC Appraoch to Collaborative Development of Embedded Applications. In: Proc. CCE 2006, Int. Workshop on Challenges in Collaborative Engineering – State of the Art and Future Challenges on collaborative Design, Prag (CZ), April 19-20, 2006 (2006) (Industry day)
Jörges, S., Kubczak, C., Nagel, R., Margaria, T., Steffen, B.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, Springer, Heidelberg (2007)
Jörges, S., Kubczak, C., Pageau, F., Margaria, T.: Model Driven Design of Reliable Robot Control Programs Using the jABC. In: Proc. EASe 2007, IEEE Conf. on Engineering of Autonomic and Autonomous Systems - Special Session on Autonomous and Autonomic Space Exploration Systems, Loyola College, Baltimore, MD, USA, March 2007, IEEE CS Press, Los Alamitos (2007)
Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. In: WWV 2005, 1st Int’l Workshop on Automated Specification and Verification of Web Sites, Valencia, Spain, March 14-15, 2005 (2005) (final version appears in ENTCS)
Kubczak, C., Margaria, T., Fritsch, A., Steffen, B.: Biological LC/MS Preprocessing and Analysis with jABC, jETI and xcms. In: Proc. ISoLA - 2nd IEEE Int. Symp. on Leveraging Applications of Formal Methods, Verification and Validation, Paphos, Cyprus, November 2006, pp. 308–313. IEEE Computer Society Press, Los Alamitos (2006)
Lamprecht, A.-L., Margaria, T., Steffen, B.: GeneFisher-P: Variations of GeneFisher as Processes in Bio-jETI. In: P. N. (ed.) Proc. NETTAB 2007, A Semantic Web for Bioinformatics: Goals, Tools, Systems, Applications, Pisa (Italy) (June 2007, to appear)
Lindner, B., Margaria, T., Steffen, B.: Ein personalisierter Internetdienst für wissenschaftliche Begutachtungs- prozesse. In: Proc. GI-VOI-BITKOM- OCG- TeleTrusT Konferenz on Elektronische Geschäftsprozesse (eBusi- ness Processes), Universität Klagenfurt (September, 2001), http://syssec.uni-klu.ac.at/EBP2001/
Margaria, T.: Components, Features, and Agents in the ABC. In: Ehrich, H.-D., Meyer, J.-J., Ryan, M. (eds.) Components, Features, and Agents, PostWorkshop Proceedings of the Dagstuhl Seminar on Objects, Agents and Features. LNCS, Springer, Heidelberg (2003)
Margaria, T., Hinchey, M., Raffelt, H., Rash, J.L., Rouff, C.A., Steffen, B.: Completing and Adapting Models of Biological Processes. In: Proc. of IFIP Conf. on Biologically Inspired Cooperative Computing (BiCC 2006), Santiago, (Chile) (2006)
Margaria, T., Kubczak, C., Njoku, M., Steffen, B.: Model-based Design of Distributed Collaborative Bioinformatics Processes in the jABC. In: Proc. ICECCS 2006 - 11th IEEE Int. Conf. on Engineering of Complex Computer Systems, Stanford University, CA (USA), August 2006, pp. 169–176. IEEE Computer Society Press, Los Alamitos (2006)
Margaria, T., Karusseit, M.: Community Usage of the Online Conference Service: an Experience Report from three CS Conferences. In: 2nd IFIP Conference on e- commerce, e-business, e-government (I3E 2002), Lisboa (P), in Towards the Knowledge Society - eCommerce, eBusiness and eGovernment, October 7-9, 2002, pp. 497–511. Kluwer Academic Publishers, Dordrecht (2002)
Margaria, T., Niese, O., Steffen, B., Erochok, A.: System Level Testing of Virtual Switch (Re-)Configuration over IP. In: Proc. IEEE European Test Workshop, Corfu (GR), May 2002, IEEE Society Press, Los Alamitos (2002)
Margaria, T., Steffen, B.: METAFrame in Practice: Design of Intelligent Network Services. In: Olderog, E.-R., Steffen, B. (eds.) Correct System Design. LNCS, vol. 1710, pp. 390–415. Springer, Heidelberg (1999)
Margaria, T., Steffen, B.: Second-Order Semantic Web. In: Proc. SEW-29, 29th Annual IEEE/NASA Software Engineering Workshop, Greenbelt, (USA), April 2005, IEEE Computer Soc., Los Alamitos (2005)
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)
Margaria, T., Steffen, B.: Lightweight Coarse-grained Coordination: A Scalable System-Level Approach. STTT, Int. Journal on Software Tools for Technology Transfer (to appear, 2003)
Margaria, T., Steffen, B.: Aggressive Model Driven Development of Broadband Applications. invited contribution for the book: Delivering Broadband Applications: A Comprehensive Report, IEC, Int. Engineering Consortium, Chicago (USA) (2004)
Margaria, T., Steffen, B.: Service Engineering: Linking Business and IT. IEEE Computer, issue for the 60th anniversary of the Computer Society, 53–63 (2006) (issue for the 60th anniversary of the Computer Society)
Margaria, T., Winkler, C., Kubczak, C., Steffen, B., Brambilla, M., Ceri, S., Cerizza, D., Della Valle, E., Facca, F., Tziviskou, C.: The SWS Mediator with WebML/Webratio and jABC/jETI: A Comparison. In: Proc. ICEIS 2007, 9th Int. Conf. on Enterprise Information Sys-tems, Funchal (P) (June 2007)
Niese, O., Margaria, T., Hagerer, A., Nagelmann, M., Steffen, B., Brune, G., Ide, H.: An automated testing environment for CTI systems using concepts for specification and verification of workflows. Annual Review of Communication. In: Int. Engineering Consortium Chicago (USA), vol. 54, pp. 927–936, IEC (2001)
Niese, O., Margaria, T., Steffen, B.: Demonstration of an Automated Integrated Test Environment for Web-based Applications. In: Bošnački, D., Leue, S. (eds.) SPIN 2002. LNCS, vol. 2318, pp. 250–253. Springer, Heidelberg (2002)
Semantic Web Service Challenge Website (2007), http://sws-challenge.org
Wagner, C., Margaria, T., Pagendarm, H.-G.: Comparative Analysis of Tools for automated Software Re-Engineering purposes. In: Proceedings of IEEE-ISoLA 2006 and WWV 2006, Paphos, Cyprus, pp. 446–452 (November, 2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Margaria, T., Steffen, B. (2008). From the How to the What. In: Meyer, B., Woodcock, J. (eds) Verified Software: Theories, Tools, Experiments. VSTTE 2005. Lecture Notes in Computer Science, vol 4171. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-69149-5_48
Download citation
DOI: https://doi.org/10.1007/978-3-540-69149-5_48
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-69147-1
Online ISBN: 978-3-540-69149-5
eBook Packages: Computer ScienceComputer Science (R0)