- "Designing Compliant Service-based Business Processes with ECT", SYANCO Winter School, Berlin, Germany, February 2010 [PDF].
Show/hide abstract
Due to the growing complexity of modern enterprise business processes
and supporting information systems,
IT companies continuously look for new architectures and technologies able to simplify their development.
Among the best practices in this field currently are service-oriented computing and model-driven development.
The adherence to both of these principles helps software engineers relatively easy reconfigure their systems
to meet requirements coming from ever changing business needs, service-level agreements or legislative documents
regulating specific business areas.
In my talk, I will discuss our approach to the development of service-based systems that have to
comply to such requirements. These requirements may affect different aspects of enterprise processes,
including control flow, data flow or Quality of Service parameters. More specifically, we provide a framework
for verification of business process models designed or imported to the Eclipse Coordination Tools (ECT) environment
against a set of formally specified compliance rules.
- "Translating Reo to mCRL2, ProSe Meeting at TU Eindhoven", Netherlands, January 2010 [PPT].
- "Specifying Behavior of Reo in mCRL2", ACG Meeting, Amsterdam, Netherlands, December 2009.
- "Service-based Process Development: from Verifiable Design to Implementation", Collaboration meeting "Model driven development for Complex
Service Oriented Architectures", ServiceWave/ICSOC'09, Stockholm, Sweden, November 2009.
- "Model Checking Reo Connector using mCRL2", FMCO'09, Eindhoven, Netherlands, November 2009 [PDF].
- "Experience with Vereofy", SYANCO meeting, Dresden, Germany, August 2009 [PDF].
- "A Flexible QoS-aware Routing Protocol for Infrastructure-less B3G Networks", ACM SAC, Honolulu, Hawaii, USA, March 2009 [PDF].
- "From Compliant Business Process Specifications to Code", FMSOA workshop, Dusseldorf, Germany, February 2009 [PDF].
- "Formal Behavioral Models and Compliance Analysis for Service-Oriented Systems", FMCO'08, Sophia-Antipolis, France, October 2008 [PDF].
- "Towards Using Reo for Compliance-aware Business Process Modeling", ISOLA'08, Porto Sani, Kassandra, Greece, October 2008 [PDF].
- "QoS-aware Routing in Infrastructure-less B3G Networks", ACG Meeting, CWI, Amsterdam, Netherlands, June 2008 [PDF].
- "Using Reo for Compliance-driven Design of Service-Oriented Applications", ACG Meeting, CWI, Amsterdam, Netherlands, June 2008 [PDF].
- "Reo for Building Mash-Ups", CWI-TNO Meeting, Delft, Netherlands, June 2008.
- "Engineering Service-Oriented Systems: Modelling, Discovery and Quality", ARLES project-team, INRIA-Rocquencourt, France, September 2007.
- "Risk Management for Service-Oriented Architecture", Doctoral Consortium, ICWE, Como, Italy, July 2007 [PPT].
- "Evaluating Quality of Web Services: A Risk-driven Approach", BIS, Poznan, Poland, April 2007 [PPT].
- "IC-Service: A Service-Oriented Approach to the Development of Recommendation Systems", ACM SAC, Seoul, Korea, March 2007 [PPT].
- "Leveraging Web Services Discovery with Customizable Hybrid Matching", University of Trento, Italy, December 2006.
- "Web Service Discovery and Selection: Pragmatic Approaches", University of Lecce, Italy, November 2006.
- "QoS-aware Web Service Discovery with IC-Service", ISSSE, University of Salerno, Italy, September 2006.
- "A Comparison of Web Service Interface Similarity Measures", STAIRS, Riva del Garda, Italy, August 2006.
- "A Service Selection Model to Improve Composition Reliability", International Workshop on AI for
Service Composition, in conjunction with ECAI, Riva del Garda, Italy, August 2006.
- "Towards Efficient Discovery of Web Services", Tilburg University, Netherlands, June 2006.
- "Web Service Discovery with Implicit QoS Filtering", IBM PhD Symposium, Amsterdam, Netherlands, December 2005.
- "An introduction to heuristic algorithms", Research Methodology course, Trento, June 2005.
- "Intellectual Property in Peer-to-Peer Networks", Intellectual Property course, Trento, October 2005 [PPT].
|
|
