Abstract
In this paper we present an approach to the user-driven development of process-oriented web applications that combines business process modeling with user-side application domain evolution. In the center is the DyWA framework that accompanies the prototype-driven web-application development from the domain modeling through the development and deployment phase to the actual runtime and later product evolution: Using DyWA, application experts without programming knowledge are able to model (according to their professional knowledge and understanding) both domain-specific data models and the business process models that act on the data via automatically generated elementary data operations. The resulting business processes integrate data access and manipulation, and directly constitute executable prototypes of the resulting web application. All this is illustrated for OCS-lite, a cut-down version of Springer’s online editorial system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Allweyer, T.: BPMN 2.0-Business Process Model and Notation. Bod (2009)
Collet, P.: Domain Specific Languages for Managing Feature Models: Advances and Challenges. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014, Part I. LNCS, vol. 8802, pp. 273–288. Springer, Heidelberg (2014)
Beck, K.: Extreme Programming Explained: Embrace Change. The XP Series. Addison-Wesley (2000)
Brambilla, M., Fraternali, P.: Interaction Flow Modeling Language: Model-Driven UI Engineering of Web and Mobile Apps with IFML. The MK/OMG Press, Elsevier Science (2014)
Brambilla, M., Comai, S., Fraternali, P., Matera, M.: Designing Web Applications with Webml and Webratio. In: Rossi, G., Pastor, O., Schwabe, D., Olsina, L. (eds.) Web Engineering. Human-Computer Interaction Series, pp. 221–261. Springer (2008)
Doedt, M., Steffen, B.: An Evaluation of Service Integration Approaches of Business Process Management Systems. In: 2012 35th Annual IEEE on Software Engineering Workshop (SEW), pp. 158–167 (2012)
Eclipse Foundation: Teneo website (2013), www.eclipse.org/emft/projects/teneo (visited on May 16, 2013)
Harel, D., Marron, A., Weiss, G.: Behavioral programming. Commun. ACM 55(7), 90–100 (2012)
Henglein, F., Larsen, K.F., Simonsen, J.G., Stefansen, C.: Poets: Process-Oriented Event-Driven Transaction Systems. Journal of Logic and Algebraic Programming 78(5), 381–401 (2009), The 1st Worksh. on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2007)
JBoss Inc.: Hibernate website (2013), http://www.hibernate.org/ (visited on May 17, 2013)
Jendrock, E., Evans, I., Gollapudi, D., Haase, K., Cervera-Navarro, R., Srivathsa, C., Markito, W.: Java EE 7 Tutorial, vol. 2. Pearson Education (2014)
Karusseit, M., Margaria, T.: A Web-Based Runtime-Reconfigurable Role Management Service (2007)
Karusseit, M., Margaria, T.: Feature-based Modelling of a Complex, Online-Reconfigurable Decision Support Service. Electr. Notes Theor. Comput. Sci. 157(2), 101–118 (2006)
Margaria, T., Floyd, B., Camargo, R.G., Lamprecht, A.-L., Neubauer, J., Seelaender, M.: Simple management of high assurance data in long-lived interdisciplinary healthcare research: A proposal. In: Steffen, B., Margaria, T. (eds.) ISoLA 2014. LNCS, vol. 8803, pp. 529–547. Springer, Heidelberg (2014)
Margaria, T., Steffen, B.: Business Process Modeling in the jABC: The One-Thing Approach. In: Handbook of Research on Business Process Modeling, pp. 1–26. IGI Global (2009)
Margaria, T.: Service is in the Eyes of the Beholder. IEEE Computer (November 2007)
Margaria, T., Steffen, B.: Lightweight coarse-grained coordination: a scalable system-level approach. STTT 5(2-3), 107–123 (2004)
Margaria, T., Steffen, B.: Agile it: Thinking in user-centric models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2008. CCIS, vol. 17, pp. 490–502. Springer, Heidelberg (2009)
Margaria, T., Steffen, B.: Continuous Model-Driven Engineering. IEEE Computer 42, 106–109 (2009)
Margaria, T., Steffen, B.: Service-Orientation: Conquering Complexity with XMDD. In: Hinchey, M., Koyle, L. (eds.) Conquering Complexity, Springer (2012)
Müller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. SAS, 330–354 (1999)
Neubauer, J.: Higher-Order Process Engineering. Phd thesis, Technische Universität Dortmund (2014), http://hdl.handle.net/2003/33479
Neubauer, J., Margaria, T., Steffen, B.: Design for Verifiability: The OCS Case Study. In: Formal Methods for Industrial Critical Systems: A Survey of Applications. John Wiley & Sons (2011) (in print)
Neubauer, J., Steffen, B.: Plug-and-Play Higher-Order Process Integration. Computer 46(11), 56–62 (2013)
Neubauer, J., Steffen, B.: Second-order servification. In: Zoeppritz, M., Blaser, A. (eds.) IBM 1983. LNBIP, vol. 150, pp. 13–25. Springer, Heidelberg (1983)
Object Management Group, Inc., Ifml website (2014), http://www.ifml.org (visited on July 25, 2014)
Pasley, J.: How BPEL and SOA are changing Web services development. IEEE Internet Computing 9(3), 60–67 (2005)
Recker, J., Mendling, J.: On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages. In: CAiSE Proc. of Workshops and Doctoral Consortium, pp. 521–532. Namur Uni. Press (2006)
Rimple, K., Penchikala, S., Alex, B.: Spring Roo in action. Manning (2012)
Schwaber, K.: Agile Project Management with Scrum. Microsoft Press (2009)
Steffen, B., Margaria, T.: 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)
Steffen, B., Margaria, T., Braun, V., Kalt, N.: Hierarchical Service Definition. In: Annual Review of Communication, pp. 847–856. Int. Engineering Consortium Chicago (USA), IEC (1997)
Steffen, B., Margaria, T.: 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)
Steffen, B., Margaria, T., Nagel, R., Jörges, S., Kubczak, C.: Model-Driven Development with the jABC. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 92–108. Springer, Heidelberg (2007)
Steinberg, D., Budinsky, F., Paternostro, M., Merks, E.: EMF: Eclipse Modeling Framework 2.0, 2nd edn. Addison-Wesley Professional (2009)
Troelsen, A.: C# and the. NET Platform, vol. 1. Apress (2001)
Vermolen, S.D., Wachsmuth, G., Visser, E.: Generating Database Migrations for Evolving Web Applications. In: Proc. 10th ACM Int. Conf. on Generative Programming and Component Engineering, GPCE 2011, pp. 83–92. ACM, New York (2011)
Wimmer, M., Moreno, N., Vallecillo, A.: Systematic Evolution of WebML Models by Coupled Transformations. In: Brambilla, M., Tokuda, T., Tolksdorf, R. (eds.) ICWE 2012. LNCS, vol. 7387, pp. 185–199. Springer, Heidelberg (2012)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Neubauer, J., Frohme, M., Steffen, B., Margaria, T. (2014). Prototype-Driven Development of Web Applications with DyWA. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change. ISoLA 2014. Lecture Notes in Computer Science, vol 8802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-662-45234-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-662-45234-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-662-45233-2
Online ISBN: 978-3-662-45234-9
eBook Packages: Computer ScienceComputer Science (R0)