Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Compositional Modeling for Data-Centric Business Applications

Ethan K. Jackson and Wolfram Schulte

Abstract

Data-centric business applications comprise an important class of distributed systems that includes on-line stores, document management systems, and patient portals. However, their complexity makes it difficult to design and implement them. We address these issues from a model-driven perspective by developing a formal, compositional, and domain-specific set of abstractions for the specification and analysis of data-centric business applications. Our technique allows us to formally analyze the specified system at design time; in particular we can analyze whether the system is resilient to abnormal conditions, i.e. that key system invariants can always be re-established.

Details

Publication typeInproceedings
Published inSoftware Composition
Pages190-205
Volume4954
SeriesLecture Notes in Computer Science
ISBN978-3-540-78788-4
PublisherSpringer
> Publications > Compositional Modeling for Data-Centric Business Applications