@inproceedings{jackson2008compositional,
author = {Jackson, Ethan and Schulte, Wolfram},
title = {Compositional Modeling for Data-Centric Business Applications},
series = {Lecture Notes in Computer Science},
booktitle = {Software Composition},
year = {2008},
month = {January},
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.},
publisher = {Springer},
url = {http://approjects.co.za/?big=en-us/research/publication/compositional-modeling-for-data-centric-business-applications/},
pages = {190-205},
volume = {4954},
isbn = {978-3-540-78788-4},
edition = {Software Composition},
}