We seek to support the development of open, distributed applications from plug-compatible software abstractions. In order to rigorously specify these abstractions, we are elaborating a formal object model for software composition in which objects and related software abstractions are viewed as patterns of communicating processes. The semantic foundation is Milner's π calculus, and the starting ...

While traditional approaches in business process modeling tend to focus on “how” the business processes are performed (adopting a behavioral description in which business processes are described in terms of procedural aspects), in goal-oriented business process modeling, the proposals strive to extend traditional business process methodologies by providing a dimension of intentionality to busin...

To uniquely equip students with the active knowledge and the ability to implement pollution prevention technology, we have developed a design-oriented senior-level elective course on minimizing the environmental impact of chemical manufacturing processes. The objectives of the course are to educate students on the real costs of operating processes that release pollutants to the environment, to ...

The recognition that restructuring care processes is central to effective and efficient health care will result in the emergence of process-oriented electronic patient records (EPRs). How will these technologies come into being? Within informatics, it is often stated that to informate something, we should first model it. This paper queries whether a detailed modeling of work processes and data ...

The implementation of electronic procurement processes for product-service bundles, consisting of productand service components requires a consideration of strategic, tactical and operational procurement and information and communication technologies in value networks. In the past, the scientific discussion oriented on traditional procurement processes for products and technology-solutions. Inc...

Cognitive neuroscience prefers a reductionist approach to normal and abnormal brain functions. So, it tries to reducing causes and indices of cognitive and neural processes, in order to increases the accuracy in investigation and manipulation of variables. As a comparison, common diagnostic criteria for mental disorders utilize multidimensional global criteria that existence of some non-overlap...

ABSI'RACI' Real-time control systems with a subset of processes subject to deadlines are investigated. The structure and the perfoImance of a class of such systems. namely the data acquisition and analysis systems are analyzed in case of procedure oriented as well as in the case of message oriented design. A methodology for system modeling and the approximations needed are discussed.

This paper describes the first set of experiments defined by the MIRACLE (Multilingual Information RetrievAl for the CLEf campaign) research group for some of the cross language tasks defined by CLEF. These experiments combine different basic techniques, linguistic-oriented and statistic-oriented, to be applied to the indexing and retrieval processes.

One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE project targets at a methodology and a software framework to support such flexible collaborations based on process oriented design and communication by Web services. MOVE’s framework supports the graphical design and verif...

We seek to support the development of open, distributed applications from plug-compatible software abstractions. In order to rigorously specify these abstractions, we are elaborating a formal object model for software composition in which objects and related software abstractions are viewed as patterns of communicating processes. The semantic foundation is Milner's π calculus, and the starting ...