Task FF[3]: Generic Mechanisms for Process and Data Integration

This task is concerned with: the provision of a generic mechanism for a close bilateral or multilateral integration of process algebras and data logics generalizing the example of CSP- CAS L and high-level Petri nets, allowing for communication of data values in particular; investigation of the semantic relationship of such process algebra/data logic integrations with combinations of process logics with data logics; and development of a methodology for the integrated specification of heterogeneous data and processes within the newly created framework.

All Tickets

Ticket Priority Summary Owner
No tickets found

Last modified 8 years ago Last modified on 25.02.2011 10:17:42