Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond

@inproceedings{Neubauer2013HigherOrderPM,
  title={Higher-Order Process Modeling: Product-Lining, Variability Modeling and Beyond},
  author={Johannes Neubauer and Bernhard Steffen and Tiziana Margaria},
  booktitle={Festschrift for Dave Schmidt},
  year={2013}
}
We present a graphical and dynamic framework for binding and execution of business) process models. It is tailored to integrate 1) ad hoc processes modeled graphically, 2) third party services discovered in the (Inter)net, and 3) (dynamically) synthesized process chains that solve situation-specific tasks, with the synthesis taking place not only at design time, but also at runtime. Key to our approach is the introduction of type-safe stacked second-order execution contexts that allow for… 

DIME: A Programming-Less Modeling Environment for Web Applications

We present DIME, an integrated solution for the rigorous model-driven development of sophisticated web applications based on the Dynamic Web Application (DyWA) framework, that is designed to

Archimedean Points: The Essence for Mastering Change

TLDR
This philosophy and tool chain are illustrated along the stepwise construction of a BPMN tool via a chain of increasingly expressive Petri net tools, which enables tool features like various consistency checks, type-controlled activity integration, and true full code generation.

Heavy meta: Model-driven domain-specific generation of generative domain-specific modeling tools

TLDR
The unique combination of the three DFS strategies and Cinco’s meta-level approach towards their realization in practice lay the foundation for a new paradigm of software development that is strongly focused on simplicity.

Domain-Specific Languages for Enterprise Systems

TLDR
This paper presents an implementation of a generalised and extended variant of the POETS architecture, which amounts to a customisable data model based on nominal subtyping; support for run-time changes to the data model, reports and contracts, while retaining full auditability; and support for referable data that may evolve over time, also while retainingFull auditability as well as referential integrity.

CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools

TLDR
The presented Cinco meta tooling suite is designed to provide a holistic approach that greatly simplifies the development of domain-specific graphical modeling tools.

Synthesis from a Practical Perspective

TLDR
The paper presents the experience with a variety of synthesis approaches and corresponding design and synthesis tools and discusses the synergetic potential of their combination, e.g., to control the computational complexity by reducing the underlying search space.

Language-Driven Engineering: From General-Purpose to Purpose-Specific Languages

TLDR
The paradigm of Language-Driven Engineering is presented, which is characterized by its unique support for division of labour on the basis of Domain-Specific Languages (DSLs) targeting different stakeholders, while at the same time establishing new levels of reuse that are enabled by powerful model transformations and code generation.

Scientific workflows with the jABC framework

TLDR
It is described how the use of the PROPHETS synthesis plugin can enable a semantics-based simplification of the workflow design process, and how the Cinco SCCE Meta-Tooling Suite can be used to generate tailored workflow management tools.

Making Sense of Complex Applications: Constructive Design, Features, and Questions

We highlight how concepts of constructive design help in the comprehension of complex systems, using the history and evolution of the Online Conference Service (OCS) and its product line, including

Meta-Level Reuse for Mastering Domain Specialization

TLDR
It is argued that no unified general-purpose language can adequately support this distinction between modeling and programming in general, and a meta-level framework for mastering the wealth of required domain-specific languages in a bootstrapping fashion is proposed.

References

SHOWING 1-10 OF 68 REFERENCES

Second-Order Servification

In this paper we present second-order servification, a business process modeling paradigm for variability. Key to this paradigm is to consider services and even whole subprocesses as ‘resources’ of a

Service-Orientation: Conquering Complexity with XMDD

TLDR
EXtreme Model-Driven Development addresses the needs via a model-driven, lightweight, and cooperative development paradigm that puts the user process at the center of development and the application expert in control of the process evolution.

Second-Order Semantic Web

We propose a framework for top-down Web service interoperation based on an aggressive version of model-driven development (AMDD). The point here is to govern the construction and customization of

ARIS — Architecture of Integrated Information Systems

TLDR
In this article, a framework will be presented that encompasses the whole life-cycle, from business process design to information technology (IT) deployment, leading to a completely new process-oriented software concept, closing the gap between business process modeling and IT-applications.

Synthesis-Based Loose Programming

TLDR
This paper presents loose programming, an approach designed to enable process developers to design their application-specific processes in an intuitive style by means of a combination of data-flow analysis, ensuring the availability of the required resources, and model checking to ensure global intents and invariants expressed in temporal logic.

Synthesizing Semantic Web Service Compositions with jMosel and Golog

TLDR
Turning the jABC framework into experimentation platform along the lines presented here, will help understanding the application profiles of the individual synthesis solutions and technologies, answering questing like when the overhead to achieve compositionality pays of and where (heuristic) search is the technology of choice.

Model-Driven Development with the jABC

TLDR
The jABC, a framework for model driven application development based on Lightweight Process Coordination, is presented, which has proven to be effective and adequate for the cooperation of non-programmers and technical people, and it is now being rolled out in the operative practice.

Agile IT: Thinking in User-Centric Models

We advocate a new teaching direction for modern CS curricula: extreme model-driven development (XMDD), a new development paradigm designed to continuously involve the customer/application expert

Requirement-Driven Evaluation of Remote ERP-System Solutions: A Service-oriented Perspective

TLDR
This paper systematically evaluates four different APIs provided by popular ERP systems according to their potential for service-oriented enterprise application integration, finding that the currently still quite unsatisfactory quality of the APIs very much reflects the business profile of each ERP solution.
...