Hierarchical Communication Diagrams

Formal modelling languages range from strictly textual ones like process algebra scripts to visual modelling languages based on hierarchical graphs like coloured Petri nets. Approaches equipped with visual modelling capabilities make developing process easier and help users to cope with more complex systems. Alvis is a modelling language that combines possibilities of formal models verification with flexibility and simplicity of practical programming languages. The paper deals with hierarchical communication diagrams - the visual layer of the Alvis modelling language. It provides all necessary information to model system structure with Alvis, to manipulate a model hierarchy and to understand a model semantics. All considered concepts are discussed using illustrative examples

at the 14th Conference of the Spanish Association for Artificial Intelligence (CAEPIA 2011)

Technical Report TR-2011/1, Department of Languages and Computation. University of Almeria November 2011. Joaquín Cañadas, Grzegorz J. Nalepa, Joachim Baumeister (Editors)The seventh workshop on Knowledge Engineering and Software Engineering (KESE7) was held at the Conference of the Spanish Association for Artificial Intelligence (CAEPIA-2011) in La Laguna (Tenerife), Spain, and brought together researchers and practitioners from both fields of software engineering and artificial intelligence. The intention was to give ample space for exchanging latest research results as well as knowledge about practical experience.University of Almería, Almería, Spain. AGH University of Science and Technology, Kraków, Poland. University of Würzburg, Würzburg, Germany

IEEE Access Special Section: Cyber-Physical Systems

publishersversionpublishe

Predictors of Elementary-aged Students’ Writing Fluency Growth in Response to a Performance Feedback Writing Intervention

Students at all grade levels in the United States are experiencing significant difficulties in the area of written expression (Salahu-Din, Persky, & Miller, 2008; U.S. Department of Education, 2012). Although performance feedback is an effective evidence-based intervention for improving the writing fluency of elementary-aged students, approximately one-third do not exhibit fluency growth (Eckert et al. 2006, 2008). The transcription skill of handwriting is a prerequisite of skilled writing (Berninger et al., 2002) and interventions to improve handwriting have concurrent positive effects on writing fluency (Berninger et al., 1997; Graham et al., 2000). Transcription skills influence the writing fluency of younger students (Graham et al., 1997; Limpo & Alves, 2013). Additionally gender influences writing fluency, with female students outperforming male students on measures of both handwriting and writing fluency (Malecki & Jewell, 2003; Olinghouse 2008). The goal of the proposed study was to determine whether third-grade students’ (n = 74) transcriptional skills and gender predicted their writing fluency growth in response to a performance feedback intervention. As hypothesized, handwriting skill accounted for some variance in writing fluency growth; however, gender did not. Students who did not respond to the intervention exhibited lower baseline writing fluency and were more likely to be male. Considerations for instruction in basic writing skills and improving the effectiveness of writing interventions are discussed

What Do Actors Do in Contemporary Theatre

The article addresses the issue of strategies of acting in contemporary (largely postdramatic)theatre. In thefirst part of thearticle, theacting isconceptualized asplaying, with referencetorelevant theories, particularly that of Thomas Pavel. The article puts forward the argumentthat the play world created in a theatre performance can be described by the continuousfictional ? real spectrum that accommodates a number of strategies of acting. Within thecontinuum, there exists an ongoing tension between the fictional and the real; theirrelationship is largely variable depending on the strategies of acting at work in a particularperformance. In the second part of the article, these strategies are divided into three groups:?being someone else?, ?being oneself ?and performing actions ? and are then analyzed on thebasisof examplesthat aredrawn primarily fromEstonian contemporary theatre

Communication for Peaceful Social Change and Global Citizenry

The adoption of the 17 Sustainable Development Goals (SDGs) by the United Nations (UN) in 2015 represents a universal call to action involving multiple international actors for the purpose of eradicating poverty, improving living conditions and promoting peace. This entry provides a theoretical overview of the contributions of scholars and practitioners who highlight the importance of a transformative, educational and emancipatory communication by different social actors to establish the main lines of action for the 2030 Agenda for Sustainable Development. This communicative model involves the coordination of actors and strategies, both short- and long-term, cross-cutting actions and discourses to build social, cultural and political settings based on the criteria of peace, equality, social justice and human rights. Specifically, this entails a contribution to the objectives set out in SDG 16, “Peace, Justice and Strong Institutions”, given that the proposed theoretical framework is grounded in Communication for Peace and Communication for Social Change, and includes a systematization of different strategies and experiences from a variety of social issuers, mainly institutions, non-governmental organizations (NGOs) or social movements, aimed at promoting peaceful and inclusive societies. Specifically, communication for peaceful social change and global citizenry contributes to the achievement of specific SDG 16 objectives, particularly 16.1: Significantly reduce all forms of violence... [...

CrossCode: Multi-level Visualization of Program Execution

Program visualizations help to form useful mental models of how programs work, and to reason and debug code. But these visualizations exist at a fixed level of abstraction, e.g., line-by-line. In contrast, programmers switch between many levels of abstraction when inspecting program behavior. Based on results from a formative study of hand-designed program visualizations, we designed CrossCode, a web-based program visualization system for JavaScript that leverages structural cues in syntax, control flow, and data flow to aggregate and navigate program execution across multiple levels of abstraction. In an exploratory qualitative study with experts, we found that CrossCode enabled participants to maintain a strong sense of place in program execution, was conducive to explaining program behavior, and helped track changes and updates to the program state.Comment: 13 pages, 6 figures Submitted to CHI 2023: Conference on Human Factors in Computing System