Software (Re-)Engineering with PSF III: an IDE for PSF

We describe the design of an integrated development environment (IDE) for PSF. In the software engineering process we used process algebra in the form of PSF for the specification of the architecture of the IDE. This specification is refined to a PSF specification of the IDE system as a ToolBus application, by applying vertical and horizontal implementation techniques. We implemented the various tools as specified and connected them with a ToolBus script extracted from the system specification

Software (Re-)Engineering with PSF II: from architecture to implementation

This paper presents ongoing research on the application of PSF in the field of software engineering and reengineering. We build a new implementation for the simulator of the PSF Toolkit starting from the specification in PSF of the architecture of a simple simulator and extend it with features to obtain the architecture of a full simulator. We apply refining and constraining techniques on the specification of the architecture to obtain a specification low enough to build an implementation from

How instructions modify perception: An fMRI study investigating brain areas involved in attributing human agency

Behavioural studies suggest that the processing of movement stimuli is influenced by beliefs about the agency behind these actions. The current study examined how activity in social and action related brain areas differs when participants were instructed that identicalmovement stimuli were either human or computer generated.Participants viewed a series of point-light animation figures derived frommotion-capture recordings of amoving actor, while functional magnetic resonance imaging (fMRI) was used to monitor patterns of neural activity. The stimuli were scrambled to produce a range of stimulus realism categories; furthermore, before each trial participants were told that they were about to view either a recording of human movement or a computersimulated pattern of movement. Behavioural results suggested that agency instructions influenced participants' perceptions of the stimuli. The fMRI analysis indicated different functions within the paracingulate cortex: ventral paracingulate cortex was more active for human compared to computer agency instructed trials across all stimulus types, whereas dorsal paracingulate cortex was activated more highly in conflicting conditions (human instruction, lowrealismor vice versa). These findings support the hypothesis that ventral paracingulate encodes stimuli deemed to be of human origin,whereas dorsal paracingulate cortex is involvedmore in the ascertainment of human or intentional agency during the observation of ambiguous stimuli. Our results highlight the importance of prior instructions or beliefs on movement processing and the role of the paracingulate cortex in integrating prior knowledge with bottom-up stimuli

Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification

Reliability and trust are fundamental prerequisites for the establishment of functional relationships among peers in a Collaborative Networked Organisation (CNO), especially in the context of Virtual Enterprises where economic benefits can be directly at stake. This paper presents a novel approach towards effective service discovery and selection that is no longer based on informal, ambiguous and potentially unreliable service descriptions, but on formal specifications that can be used to verify and certify the actual Web service implementations. We propose the use of Stream X-machines (SXMs) as a powerful modelling formalism for constructing the behavioural specification of a Web service, for performing verification through the generation of exhaustive test cases, and for performing validation through animation or model checking during service selection

Leisure Is Hard Work: Digital Practices and Future Competencies

Part of the Volume on Youth, Identity, and Digital Media This chapter is based on two claims, namely that digital media are fundamental in nurturing human competencies for the future and that children's leisured media practices are critical catalysts in that process. These claims are documented by results from a recent case study on children's content creation of digital animation. Based on these results, the chapter discusses some of the fundamental challenges posed to educational institutions if they are to nurture future-directed competences for all pupils. These challenges include pupils' understanding of knowledge, their attitudes to learning resources and contexts of use, and the distribution of power relations. Like 300 million other kids around the globe, every Dane under the age of 20 knows that the protagonist of The Little Mermaid is Ariel, a fiesty redhead who manages to shape her fate and fortune. This fact is noteworthy only because Danish author Hans Christian Andersen, the author of the orignal fairy tale, composed a tragic tale of loss and redemption. The narrative and experiential discrepancies raise fundamental questions about the ways in which global and local media products frame children's everyday culture and the ways in which media operate as identity markers in a variety of sociocultural contexts. Moreover, Disney's figures, like many other media elements, are routinely appropriated by children in their own, increasingly digitized, media productions, from simple drawings to blogs, screen dumps, and home pages. These practices raise important issues about the role played by digital forms of media production for children vis a vis the more conventional and widespread forms of media reception

A survey of partial differential equations in geometric design

YesComputer aided geometric design is an area where the improvement of surface generation techniques is an everlasting demand since faster and more accurate geometric models are required. Traditional methods for generating surfaces were initially mainly based upon interpolation algorithms. Recently, partial differential equations (PDE) were introduced as a valuable tool for geometric modelling since they offer a number of features from which these areas can benefit. This work summarises the uses given to PDE surfaces as a surface generation technique togethe