Computer Supported Mobile Adaptive Business Processes (CosmoBiz)
CosmoBiz is a cross-disciplinary research project joining formal models, CSCW and prototyping, supported by ITU, Microsoft Development Center Copenhagen and the Danish Research Council for Technology and Production (Grant no. 274-06-0415).
January 2007- December 2011
Partners
ITU and Microsoft Development Center Copenhagen.
National Dissemination
- Interest Group for Processes and IT (in danish) for Industry, Public Organizations and Researchers.
- From Process Design to Process Execution: Presentation at the Digitaliser 2010 conference featuring Anette Vainer (Resultmaker) and Thomas Hildebrandt (ITU)
News
- Invited talk at the Fifth Workshop on Formal Languages and Analysis of Contract-Oriented Software, Málaga, Spain, September 22-23, 2011
- Papers and presentations at ACM Symposium of Applied Computing SVT, Trento, Italy, March 2012, 23rd Nordic Workshop on Programming Theory (NWPT'11), October 26th - 28th, 2011, 9th International Conference on Software Engineering and Formal Methods, November 14-18, 2011, Montevideo, Uruguay, The First International Symposium on Foundations of Health Information Engineering and Systems, 29-30 August 2011 Johannesburg, South Africa, The Fifteenth IEEE International EDOC Conference, 29th August - 2nd September 2011, Helsinki, Finland, Third international workshop on Infrastructures for healthcare: Global Healthcare June, 2011, IT University of Copenhagen, Fundamentals of Software Engineering 2011, April 20-22, Tehran, Iran
Next project meeting
- 2nd Bigraphs Present & Future Workshop, Oct 31-Nov 2. IT University of Copenhagen
Aim
The project aims to provide formalisations and implementations of business process languages for mobile and adaptive business processes which support the needs of mobile workers and impact the future commercial business process management systems.
Background
The research project combines research in formal models of concurrent and higher-order mobile embedded processes, computer supported cooperative work, theory and implementation of distributed systems and programming languages.
The project continues the ITU funded PhD project of Bundgaard on models, reasoning techniques and types for higher-order mobile embedded resources and applies the foundational research carried out within the Bigraphical Programming Languages project at ITU, funded by ITU and the Danish Research Agency grant no. 2059-03-0031.
The project is also a continuation of the line of research carried out in a current industrial PhD project (funded by Danske Bank) on exploring ways to minimize the gap between a business process model and the actual IT implementation of that model.
