COMPAS Publications

2010

Conference Proceedings

T. Holmes, U. Zdun, F. Daniel and S. Dustdar: Monitoring and Analyzing Service-based Internet Systems through a Model-Aware Service Environment. Proceedings of the 22nd International Conference on Advanced Information Systems Engineering, Springer, 2010 (to appear).

T. Holmes, H. Tran, U. Zdun and S. Dustdar: Model-driven and Domain-specific Architectural Knowledge View for Compliance Meta-data in Process-Driven SOAs. Proceedings of the 5th International Workshop on Sharing and Reusing Architectural Knowledge in conjunction with 32nd International Conference on Software Engineering, ACM, 2010 (to appear).

B. Changizi, N. Kokash and F. Arbab: A Unified Toolset for Business Process Model Formalization. Proceedings of the International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), 2010 (to appear).

N. Kokash, C. Krause and E.P. de Vink: Data-Aware Design and Verification of Service Compositions with Reo and mCRL2. ACM Symposium on Applied Computing 2010, Technical track on Service Oriented Architectures and Programming (ACM SAC), 2010 (to appear).

D. Schumm, F. Leymann, Z. Ma, T. Scheibler and S. Strauch: Integrating Compliance into Business Processes: Process Fragments as Reusable Compliance Controls. Proceedings of the Multikonferenz Wirtschaftsinformatik (MKWI), 2010. pdf

2009

Book Chapters

H. Tran, T. Holmes, U. Zdun and S. Dustdar: Chapter 2: Modeling Process-Driven SOAs – a View-Based Approach. Information Science Reference, Eds: Jorge Cardoso, and Wil van der Aalst, April 2009.

Journal Papers

H. Tran, U. Zdun and S. Dustdar: VbTrace: Using View-based and Model-driven Development to Support Traceability in Process-driven SOAs. Software & System Modeling, Springer, DOI: 10.1007/s10270-009-0137-0, 2009.

M. Strembeck and U. Zdun: An Approach for the Systematic Development of Domain-specific Languages. In: Software - Practice and Experience, Wiley InterScience, 2009.

J. Kramer, Z. Taheri and W. Hutten: Service Oriented Architecture voor interne beheersing. In: PricewaterhouseCoopers Spotlight, volume 3, 2009. pdf

Conference Proceedings

E. Mulo, U. Zdun and S. Dustdar: Monitoring Web Service Event Trails for Business Compliance. Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications (SOCA), IEEE Computer Society Press, 2009.

P. Silveira, C. Rodríguez, F. Casati, F. Daniel, V. D’Andrea, C. Worledge and Z. Taheri: On the Design of Compliance Governance Dashboards for Effective Compliance and Audit Management. Proceedings of the Non Functional Properties and Service Level Agreements Management in Service Oriented Computing Workshop (NFPSLAM-SOC2009), Stockholm, Sweden, 2009.

T. Holmes, U. Zdun and S. Dustdar: MORSE: A Model-Aware Service Environment. Proceedings of the 4th IEEE Asia-Pacific Services Computing Conference (APSCC), pp. 470-477, IEEE Computer Society Press, 2009.

T. Anstett, D. Karastoyanova, F. Leymann, R. Mietzner, A. Monakova, D. Schleicher and S. Strauch: MC-Cube: Mastering Customizable Compliance in the Cloud. Proceedings of the 7th International Joint Conference on Service Oriented Computing (ICSOC), Springer, 2009.

N. Kokash and F. Arbab: Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems. Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures. Vol. 5751 of LNCS, pp. 21-41, Springer, 2009.

C. Mayr, U. Zdun, and S. Dustdar: Reusable Architectural Decision Model for Model and Metadata Repositories. In Formal Methods for Components and Objects, 7th International Symposium, FMCO 2008, Revised Lectures. Vol. 5751 of LNCS, Springer, 2009.

M. Wieland, K. Görlach, D. Schumm and F. Leymann: Towards Reference Passing in Web Service and Workflow-based Applications. Proceedings of the 13th IEEE Enterprise Distributed Object Conference (EDOC 2009), August 2009.

U. Zdun, M. Strembeck: Reusable Architectural Decisions for DSL Design. Foundational Decisions in DSL Development, In: Proc. of the 14th European Conference on Pattern Languages of Programs (EuroPLoP), Irsee Monastery, Germany, July 2009

T. Anstett, F. Leymann, R. Mietzner and S. Strauch: Towards BPEL in the Cloud: Exploiting Different Delivery Models for the Execution of Business Processes. International Workshop on Cloud Services (IWCS2009) in conjunction with the 7th IEEE International Conference on Web Services (ICWS 2009), July 2009.

M. Vasko, E. Oberortner and S. Dustdar: Collaborative Modeling of Web Applications for Various Stakeholders. 5th Model-Driven Web Engineering Workshop in conjunction with ICWE 2009, June 2009.

F. Daniel, F. Casati, V. D'Andrea, S. Strauch, D. Schumm, F. Leymann, E. Mulo, U. Zdun, S. Dustdar, S. Sebahi, F. de Marchi and M. Hacid: Business Compliance Governance in Service-Oriented Architectures. Proceedings of AINA'09, IEEE Press, May 2009. pdf

E. Oberortner, U. Zdun, and S. Dustdar: Tailoring a Model-Driven Quality-of-Service DSL for Various Stakeholders. Workshop on Modeling in Software Engineering (MiSE) at ICSE 2009. pdf

D. Schumm, D. Karastoyanova, F. Leymann and J. Nitzsche: On Visualizing and Modelling BPEL with BPMN. Proceedings of the 4th International Workshop on Workflow Management (ICWM2009), IEEE Computer Society, May 2009.

N. Kokash and F. Arbab: Applying Reo to Service Coordination in Long-Running Business Transactions. Proceedings of the ACM Symposium on Applied Computing (SAC), 2009, pp. 318-319.

B. Wetzstein, S. Strauch and F. Leymann: Measuring Performance Metrics of WS-BPEL Service Compositions. In: Proceedings of the Fifth International Conference on Networking and Services (ICNS 2009), Valencia, Spain, April 20-25, 2009.

Talk Presentations

N. Kokash: Compliant Business Process Specifications to Code. iFM Workshop on Formal Methods and SOA (FMSOA), 2009.

2008

Conference Proceedings

G. R. Gangadharan, S. Dustdar, V. D’Andrea et al.: LASS - License Aware Service Selection: Methodology and Framework. ICSOC, 2008.

C. Mayr, U. Zdun and S. Dustdar: Model-Driven Integration and Management of Data Access Objects in Process-Driven SOAs. ServiceWave, 2008.

E. Oberortner, U. Zdun and S. Dustdar: Domain-specific Languages for Service-oriented Architectures: An Explorative Study. ServiceWave, 2008.

F. Arbab, N. Kokash and M. Sun: Towards Using Reo for Compliance-aware Business Process Modelling. In: Proceedings of the International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA'08), vol. 17 of CCIS, Springer, 2008.

W.-J. v/d Heuvel, M. Papazoglou and B. Orriens: On the risk management and auditing of SOA based business processes. ISoLA, 2008.

Other Publications

F. Arbab, N. Kokash, Z. Maraikar: Design Time Service Composition with Reo Coordination Tools. NESSI Open Framework - Reference Architecture (NEXOF-RA) - Service Composition, Brussels, Belgium, 2008. Available at http://www.nexof-ra.eu/?q=rep/term/157

A. Birukou, V. D’Andrea, N. Kokash: Collaborative Web Service Discovery. NESSI Open Framework - Reference Architecture (NEXOF-RA) - Service Discovery, Brussels, Belgium, 2008. Available at http://www.nexof-ra.eu/?q=rep/term/158

Talk Presentations

M. P. Papazoglou: Compliance Requirements for Business-process driven SOAs. Keynote address, The IFIP World Computer Congress WCC, 2008.

F. Arbab and Natallia Kokash: Formal Behavioral Models and Compliance Analysis for Service Oriented Systems. FMCO, 2008.

S. Dustdar: Towards Compliance-driven Models, Languages, and Architectures for Service-oriented Computing. FMCO, 2008.