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

[1]  Dániel Varró,et al.  VIATRA - visual automated transformations for formal verification and validation of UML models , 2002, Proceedings 17th IEEE International Conference on Automated Software Engineering,.

[2]  Manuel Mazzara,et al.  A pi-calculus based semantics for WS-BPEL , 2007, J. Log. Algebraic Methods Program..

[3]  Edmund M. Clarke,et al.  Model checking and abstraction , 1994, TOPL.

[4]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[5]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[6]  Martin Fowler,et al.  Patterns of Enterprise Application Architecture , 2002 .

[7]  Janos Sztipanovits,et al.  Towards a formal foundation for domain specific modeling languages , 2006, EMSOFT '06.

[8]  Peter G. Neumann,et al.  System and network trustworthiness in perspective , 2006, CCS '06.

[9]  Satnam Singh,et al.  System Level Design and Verification Using a Synchronous Language , 2003, ICCAD 2003.

[10]  Andy Schürr,et al.  Multi-Domain Integration with MOF and extended Triple Graph Grammars , 2004, Language Engineering for Model-Driven Software Development.

[11]  Ruth Breu,et al.  Web Service Engineering - Advancing a New Software Engineering Discipline , 2005, ICWE.

[12]  Wil M. P. van der Aalst,et al.  Communication Abstractions for Distributed Business Processes , 2007, CAiSE.

[13]  Joos Vandewalle,et al.  A Tangled World Wide Web of Security Issues , 2002, First Monday.

[14]  Georg Gottlob,et al.  Complexity and expressive power of logic programming , 2001, CSUR.

[15]  Gabor Karsai,et al.  A visually-specified code generator for Simulink/Stateflow , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).

[16]  Edward A. Lee,et al.  Heterogeneous Modeling and Design of Control Systems , 2003 .

[17]  Gabor Karsai,et al.  Model-integrated development of embedded software , 2003, Proc. IEEE.

[18]  Jan Jürjens,et al.  Tools for secure systems development with UML , 2007, International Journal on Software Tools for Technology Transfer.

[19]  Gabor Karsai,et al.  Domain model translation using graph transformations , 2003, 10th IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, 2003. Proceedings..

[20]  Amy Butros,et al.  Research Paper: Giving Patients Access to Their Medical Records via the Internet: The PCASSO Experience , 2002, J. Am. Medical Informatics Assoc..

[21]  Helen Nissenbaum,et al.  Privacy and contextual integrity: framework and applications , 2006, 2006 IEEE Symposium on Security and Privacy (S&P'06).