DSL for Collaborative Systems with Awareness

Domain Specific Languages (DSLs) are high-level languages defined for combining expressiveness and simplicity by means of linguistic constructs which are close to the problem domain but independent of the complexities inherent to the underlying software implementations. This article presents the CSSL v2.0 language that allows defining in precise, concise and friendly manner the abstract concepts of collaborative systems. Specially, the language makes available the concepts of awareness and collaborative processes. The language is independent of both the framework and the development tools and allows the application of the MDD approach to the development of such systems. The CSSL v2.0 language was designed as a UML extension using the metamodeling mechanism and was implemented with open source tools on the Eclipse platform. It provides improvements on previous proposals by enabling more complete and complex specifications of collaborative situations.Laboratorio de Investigación y Formación en Informática Avanzad

Strategic Leadership Newsletter: Volume 3, Number 4

Jefferson Strategic Leadership Newsletter reports information relevant to the Jefferson (Philadelphia University + Thomas Jefferson University) Doctor of Management Program in Strategic Leadership (DSL) and its community including personal and professional events and accomplishments, new practices, research, opportunities, and suggestions. You are encouraged to forward the Newsletter to friends and colleagues to expand awareness and to brand yourself as a community member. You are also invited to recommend people or organizations to be added to the mailing list. Contact Jefferson Strategic Leadership Newsletter by emailing [email protected]

Emerging technologies for learning (volume 1)

Collection of 5 articles on emerging technologies and trend

Enroller: an experiment in aggregating resources

This chapter describes a collaborative project between e-scientists and humanists working to create an online repository of linguistic data sets and tools. Corpora, dictionaries, and a thesaurus are brought together to enable a new method of research. It combines our most advanced knowledge in both computing and linguistic research techniques

Task Force on California Prison Crowding

This report offers policy and program options to be considered in the Special Session of the Legislature on the severe problems in California prisons

Technology as an economic catalyst in rural and depressed places in Massachusetts

This paper uses case studies, including two cities (Lynn and New Bedford), a sub-city district (Roxbury) and two towns in rural Franklin County (Greenfield and Orange), to examine the role of technology as a potential economic catalyst in rural and depressed places in Massachusetts. Though the five target areas vary in size, density, geographic area, demographic characteristics and economic resources, each exhibits chronic patterns of economic distress related to the decline of manufacturing, construction and other key industries

Assessing the UK policies for broadband adoption

Broadband technology has been introduced to the business community and the public as a rapid way of exploiting the Internet. The benefits of its use (fast reliable connections, and always on) have been widely realised and broadband diffusion is one of the items at the top of the agenda for technology related polices of governments worldwide. In this paper an examination of the impact of the UK government’s polices upon broadband adoption is undertaken. Based on institutional theory a consideration of the manipulation of supply push and demand pull forces in the diffusion of broadband is offered. Using primary and secondary data sources, an analysis of the specific institutional actions related to IT diffusion as pursued by the UK government in the case of broadband is provided. Bringing the time dimension into consideration it is revealed that the UK government has shifted its attention from supply push-only strategies to more interventional ones where the demand pull forces are also mobilised. It is believed that this research will assist in the extraction of the “success factors” in government intervention that support the diffusion of technology with a view to render favourable results if applied to other national settings

Collaborative Verification-Driven Engineering of Hybrid Systems

Hybrid systems with both discrete and continuous dynamics are an important model for real-world cyber-physical systems. The key challenge is to ensure their correct functioning w.r.t. safety requirements. Promising techniques to ensure safety seem to be model-driven engineering to develop hybrid systems in a well-defined and traceable manner, and formal verification to prove their correctness. Their combination forms the vision of verification-driven engineering. Often, hybrid systems are rather complex in that they require expertise from many domains (e.g., robotics, control systems, computer science, software engineering, and mechanical engineering). Moreover, despite the remarkable progress in automating formal verification of hybrid systems, the construction of proofs of complex systems often requires nontrivial human guidance, since hybrid systems verification tools solve undecidable problems. It is, thus, not uncommon for development and verification teams to consist of many players with diverse expertise. This paper introduces a verification-driven engineering toolset that extends our previous work on hybrid and arithmetic verification with tools for (i) graphical (UML) and textual modeling of hybrid systems, (ii) exchanging and comparing models and proofs, and (iii) managing verification tasks. This toolset makes it easier to tackle large-scale verification tasks