COMPAS Publications

2010

Conference Proceedings

N. Kokash, B. Changizi, F. Arbab: A Semantic Model for Service Composition with Coordination Time Delays. Proceedings of the International Conference on Formal Engineering Methods (ICFEM), November 2010, Shanghai, China (accepted for publication).

A. Elgammal, O. Turetken, W-J. van den Heuvel, M. Papazoglou: Root-Cause Analysis of Design-time Compliance Violations on the basis of Property Patterns. Proceedings of the 8th International Conference on Service-Oriented Computing (ICSOC10), USA, 2010 (accepted for publication).

D. Schumm, T. Anstett, F. Leymann, D. Schleicher, S. Strauch: Essential Aspects of Compliance Management with Focus on Business Process Automation. Proceedings of the 3rd International Conference on Business Process and Services Computing (BPSC 2010), Gesellschaft für Informatik e.V. (GI), Lecture Notes in Informatics, 2010 (accepted for publication).

D. Schumm, F. Leymann, A. Streule: Process Viewing Patterns. Proceedings of the 14th IEEE International EDOC Conference (EDOC 2010), IEEE Computer Society Press, 2010 (accepted for publication).

D. Schumm, D. Karastoyanova, F. Leymann, S. Strauch: Fragmento: Advanced Process Fragment Library. Proceedings of the 19th International Conference on Information Systems Development (ISD 2010), Springer, 2010 (accepted for publication).

E. Mulo, U. Zdun, S. Dustdar: An event view model and DSL for engineering an event-based SOA monitoring infrastructure Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems (DEBS), pp. 62-72, July 2010, Cambridge, United Kingdom.

N. Kokash, C. Krause, E.P. de Vink: Time and Data Aware Analysis of Graphical Service Models. IEEE International Conference on Software Engineering and Formal Methods (SEFM'10), September 2010, Pisa, Italy (accepted for publication).

N. Kokash, C. Krause, E.P. de Vink: Verification of Context-Dependent Channel-Based Service Models. International Symposium on Formal Methods for Components and Objects (FMCO'09), Eindhoven, Netherlands, November 2009 (Post-proceedings, accepted for publication).

D. Schumm, F. Leymann, A. Streule: Process Views to Support Compliance Management in Business Processes. Proceedings of the 11th International Conference on Electronic Commerce and Web Technologies (EC-Web 2010), Springer, 2010 (accepted for publication).

I. Brandic, T. Anstett, D. Schumm, F. Leymann, S. Dustdar and R. Konrad: Compliant Cloud Computing (C3): Architecture and Language Support for User-driven Compliance Management in Clouds. Proceedings of the 3rd International Conference on Cloud Computing (IEEE Cloud 2010), IEEE, 2010.

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.

N. Kokash, C. Krause and E.P. de Vink: Data-Aware Design and Verification of Service Compositions with Reo and mCRL2. Proceedings of the ACM Symposium on Applied Computing, pp. 2406--2413, 2010.

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

Workshop Proceedings

H. Tran, U. Zdun, S. Dustdar: Name-based view integration for enhancing the reusability in process-driven SOAs. Proceedings of the 1st International Workshop on Reuse in Business Process Management, Hoboken, New Jersey, USA, 2010 (accepted for publication).

S. RoyChowdhury, G.R. Gangadharan, P. Silveira, V. D'Andrea: From ODRL-S to Low-level DSL: A Case Study Based on License Compliance in Service Oriented Systems. Proceedings of the 8th International Workshop for Technical, Economic and Legal Aspects of Business Models for Virtual Goods, October 2010 (accepted for publication).

A. Elgammal, O. Turetken, W-J. van den Heuvel, M. Papazoglou: On the Formal Specification of Business Contracts and Regulatory Compliance Proceedings of the 4th Workshop on FLACOS. EPTCS, Pisa, Italy, 2010 (accepted for publication).

D. Schumm, T. Anstett, F. Leymann, D. Schleicher: Applicability of Process Viewing Patterns in Business Process Management Proceedings of the International Workshop on Models and Model-driven Methods for Service Engineering (3M4SE 2010), in conjunction with the 14th IEEE International EDOC Conference (EDOC 2010), IEEE Computer Society Press, 2010 (accepted for publication).

C. Rodríguez, P. Silveira, F. Daniel, F. Casati: Analyzing Compliance of Service-Based Business Processes for Root-Cause Analysis and Prediction Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW'10) in conjunction with ICWE'10, Springer, 2010.

D. Schumm, O. Turetken, N. Kokash, A. Elgammal, F. Leymann, W.-J. van den Heuvel: Business Process Compliance through Reusable Units of Compliant Processes Proceedings of the 1st Workshop on Engineering SOA and the Web (ESW'10) in conjunction with ICWE'10, Springer, 2010.

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.

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

Publicity Material

COMPAS Consortium: Project Brochure. pdf

COMPAS Consortium: Project Poster. 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.