Prototype-driven development of web applications with DyWA

Johannes Neubauer; Markus Frohme; Bernhard Steffen; Tiziana Margaria

doi:10.1007/978-3-662-45234-9_5

Prototype-driven development of web applications with DyWA

Johannes Neubauer
, Markus Frohme
, Bernhard Steffen
, Tiziana Margaria

TU Dortmund University
University of Potsdam

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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.

Original language	English
Title of host publication	Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings
Editors	Tiziana Margaria, Tiziana Margaria, Bernhard Steffen
Publisher	Springer Verlag
Pages	56-72
Number of pages	17
ISBN (Electronic)	9783662452332
DOIs	https://doi.org/10.1007/978-3-662-45234-9_5
Publication status	Published - 2014
Externally published	Yes
Event	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 - Imperial, Corfu, Greece Duration: 8 Oct 2014 → 11 Oct 2014

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8802
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014
Country/Territory	Greece
City	Imperial, Corfu
Period	8/10/14 → 11/10/14

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

Automated software engineering
Business process modeling
Domain modeling
Metadata and data definition
Prototyping

Access to Document

10.1007/978-3-662-45234-9_5

Cite this

Neubauer, J., Frohme, M., Steffen, B., & Margaria, T. (2014). Prototype-driven development of web applications with DyWA. In T. Margaria, T. Margaria, & B. Steffen (Eds.), Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings (pp. 56-72). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8802). Springer Verlag. https://doi.org/10.1007/978-3-662-45234-9_5

Neubauer, Johannes ; Frohme, Markus ; Steffen, Bernhard et al. / Prototype-driven development of web applications with DyWA. Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. editor / Tiziana Margaria ; Tiziana Margaria ; Bernhard Steffen. Springer Verlag, 2014. pp. 56-72 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{070c40dc2ccf47cfa3c7e660ba4ebe47,

title = "Prototype-driven development of web applications with DyWA",

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{\textquoteright}s online editorial system.",

keywords = "Automated software engineering, Business process modeling, Domain modeling, Metadata and data definition, Prototyping",

author = "Johannes Neubauer and Markus Frohme and Bernhard Steffen and Tiziana Margaria",

note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 2014.; 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014 ; Conference date: 08-10-2014 Through 11-10-2014",

year = "2014",

doi = "10.1007/978-3-662-45234-9\_5",

language = "English",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "56--72",

editor = "Tiziana Margaria and Tiziana Margaria and Bernhard Steffen",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings",

}

Neubauer, J, Frohme, M, Steffen, B & Margaria, T 2014, Prototype-driven development of web applications with DyWA. in T Margaria, T Margaria & B Steffen (eds), Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 8802, Springer Verlag, pp. 56-72, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014, Imperial, Corfu, Greece, 8/10/14. https://doi.org/10.1007/978-3-662-45234-9_5

Prototype-driven development of web applications with DyWA. / Neubauer, Johannes; Frohme, Markus; Steffen, Bernhard et al.
Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. ed. / Tiziana Margaria; Tiziana Margaria; Bernhard Steffen. Springer Verlag, 2014. p. 56-72 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8802).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Prototype-driven development of web applications with DyWA

AU - Neubauer, Johannes

AU - Frohme, Markus

AU - Steffen, Bernhard

AU - Margaria, Tiziana

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 2014.

PY - 2014

Y1 - 2014

N2 - 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.

AB - 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.

KW - Automated software engineering

KW - Business process modeling

KW - Domain modeling

KW - Metadata and data definition

KW - Prototyping

UR - https://www.scopus.com/pages/publications/84910660916

U2 - 10.1007/978-3-662-45234-9_5

DO - 10.1007/978-3-662-45234-9_5

M3 - Conference contribution

AN - SCOPUS:84910660916

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 56

EP - 72

BT - Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer Verlag

T2 - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2014

Y2 - 8 October 2014 through 11 October 2014

ER -

Neubauer J, Frohme M, Steffen B, Margaria T. Prototype-driven development of web applications with DyWA. In Margaria T, Margaria T, Steffen B, editors, Leveraging Applications of Formal Methods, Verification and Validation - Technologies for Mastering Change - 6th International Symposium, ISoLA 2014, Proceedings. Springer Verlag. 2014. p. 56-72. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-662-45234-9_5

Prototype-driven development of web applications with DyWA

Abstract

Publication series

Conference

UN SDGs

Keywords

Access to Document

Other files and links

Fingerprint

Cite this