My research interests are in programming methods and systems and in
engineering. Lately I have been focussing on process-centred
and more in general on cooperative work support in the software
My current work is buiding on the experience with Oikos - a modelling
an enactment language and a process engine, based on the multiple tuple
space paradigm. Oikos demonstrated the feasibility of a logical
of the enactable model, but also highlighted the need of higher levels
of representation to support the refinement method that it advocated.
Semini's PhD thesis provides the formal background for the use of a
temporal logic to process specification. The approach has then been
extended to the specification of generic software systems.
Currently I am interested, in the scope of the FET project Sensoria, on applying service oriented computations in business process modelling, according to a Service Targeted Policy Oriented WorkfLow Approach (StPowla), which exploites Event-Condition-Action policy rules to select the services that implement the workflow in a flexible way.
Software Process Technology
Proceedings of the
5th European Workshop on Software Process Technology '96.
Top | Home page
C. Montangero (firstname.lastname@example.org)
Revised 11 September 2009.