Compositional Modeling for Data-Centric Business Applications

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

• Type: Journal
• Year: 2008
• Where: SOCO
• Authors: Ethan K. Jackson, Wolfram Schulte
• Keywords: Data-centric Business Applications, Document Management Systems, Important Class, SOCO 2008, Software Engineering