Systematising Learning and Research Information

This paper considers the ways in which information of relevance to the learning and research communities is organised and used. It contends that there is considerable overlap between the different types of online resources and information currently available within education. It describes some of the structured environments and data stores that have emerged in recent years, along with standards which are attempting to define the properties of discrete learning objects, through the specification of Learning Object Metadata (LOM). The paper contends that current developments of structured learning environments such as Managed and Virtual Learning Environments (MLEs and VLEs) are occurring on the whole in parallel to resource data stores, such as information gateways and portals. This discrepancy has arisen in part because these developments have occurred independently of one another and in part because there has to date been no rigorous definition of the underlying theoretical models. Furthermore, it argues that these predefined structured environments are unlikely to be sufficient to meet the information needs of users in different contexts. The paper goes on to describe an information toolkit, which provides a way of systematising information handling in learning and research, which helps users articulate information plans within specific contexts. The paper concludes with a description of two case studies which illustrate how this toolkit can be used

Web Services Support for Dynamic Business Process Outsourcing

Outsourcing of business processes is crucial for organizations to be effective, efficient and flexible. To meet fast-changing market conditions, dynamic outsourcing is required, in which business relationships are established and enacted on-the-fly in an adaptive, fine-grained way unrestricted by geographic distance. This requires automated means for both the establishment of outsourcing relationships and for the enactment of services performed in these relationships over electronic channels. Due to wide industry support and the underlying model of loose coupling of services, Web services increasingly become the mechanism of choice to connect organizations across organizational boundaries. This paper analyzes to which extent Web services support the dynamic process outsourcing paradigm. We discuss contract -based dynamic business process outsourcing to define requirements and then introduce the Web services framework. Based on this, we investigate the match between the two. We observe that the Web services framework requires further support for cross - organizational business processes and mechanisms for contracting, QoS management and process-based transaction support and suggest ways to fill those gaps

Software process modelling as relationships between tasks

Systematic formulation of software process models is currently a challenging problem in software engineering. We present an approach to define models covering the phases of specification, design, implementation and testing of software systems in the component programming framework, taking into account non-functional aspects of software (efficiency, etc.), automatic reusability of implementations in systems and also prototyping techniques involving both specifications and implementations. Our proposal relies on the identification of a catalogue of tasks that appear during these phases which satisfy some relationships concerning their order of execution. A software process model can be defined as the addition of more relationships over these tasks using a simple, modular process language. We have developed also a formal definition of correctness of a software development with respect to a software process model, based on the formulation of models as graphs.Peer ReviewedPostprint (published version

Bridging the divide in language and approach between pedagogy and programming: the case of IMS Learning Design

Even though the IMS Learning Design (IMS LD) specification has offered a way for expressing multiple-learner scenarios, the language thus provided is far from the language, teaching practitioners use. To bridge this divide, we have developed IMS LD authoring software that translates from the learning designer perspective to the technical perspective. To aid adequate software developments, an analysis was performed to identify uses of level B properties in expert units of learning. In a second analysis, which is described in this paper, these uses were matched with demands of typical pedagogical methods. Some restrictions of the IMS LD specification are pointed out in this regard. As an outcome of the analyses, interfaces employing pedagogical language were integrated in the IMS LD authoring software in order to provide teaching practitioners access to level B functionalities despite their highly technical nature

Data management study. Appendix P - Contractor data requirements related project interfaces /RP/ Final report

Technical, administrative, and managerial data documentation by contractors on interfaces between Voyager project and related space program

Report on the Standardization Project ``Formal Methods in Conformance Testing''

This paper presents the latest developments in the “Formal Methods in Conformance Testing” (FMCT) project of ISO and ITU–T. The project has been initiated to study the role of formal description techniques in the conformance testing process. The goal is to develop a standard that defines the meaning of conformance in the context of formal description techniques. We give an account of the current status of FMCT in the standardization process as well as an overview of the technical status of the proposed standard. Moreover, we indicate some of its strong and weak points, and we give some directions for future work on FMCT

What makes industries believe in formal methods

The introduction of formal methods in the design and development departments of an industrial company has far reaching and long lasting consequences. In fact it changes the whole environment of methods, tools and skills that determine the design culture of that company. A decision to replace current design practice by formal methods, therefore, appears a vital one and is not lightly taken. The past has shown that efforts to introduce formal methods in industry has faced a lot of controversy and opposition at various hierarchical levels in companies, resulting in a marginal spread of such methods. This paper revisits the requirements for formal description techniques and identifies some critical success and inhibiting factors associated with the introduction of formal methods in the industrial practice. One of the inhibiting factors is the often encountered lack of appropriateness of the formal model to express and manipulate the design concerns that determine the world of the engineer. This factor motivated our research in the area of architectural and implementation design concepts. The last two sections of this paper report on some results of this research

A generalized thermodynamic approach to microrheological modelling

A generalized thermodynamic theory is presented which may be applied to microrheological models. The purpose of this theory is to offer a simple framework for many types of modelling at various levels of description. The essential elements of our approach are: a specification of the subsystem in which the reversible storage of energy takes place, the way of coupling of this subsystem to the environment and a proper definition of reversible and irreversible variables. The resulting set of equations, containing a stress tensor expression a microscopic evolution equation and a microscopic equation of state are expressed in a matrix form. Some applications of the theory to well known micro-rheological models are discussed and directions for further developments are indicated