Information Flow for ALGOL-like Languages

In this paper we present an approach to information flow analysis for a family of languages. We start with a simple imperative language. We present an information flow analysis using a flow logic. The paper contains detailed correctness proofs for this analysis. We next extend the analysis to a restricted form of Idealised Algol, a call-by-value higher-order extension of the simple imperative language (the key restriction being the lack of recursion). The paper concludes with a discussion of further extensions, including a probabilistic extension of Idealised Algol.

Extending Agent Languages for Autonomy

BDI agent languages provide a useful abstraction for complex systems comprised of interactive autonomous entities, but they have been used mostly in the context of single agents with a static plan library of behaviours invoked reactively. These languages provide a theoretically sound basis for agent design but are very limited in providing direct support for autonomy and societal cooperation needed for large scale systems. Some techniques for autonomy and cooperation have been explored in the past in ad hoc implementations, but not incorporated in any agent language. In order to address these shortcomings we extend the well known AgentSpeak(L) BDI agent language to include behaviour generation through planning, declarative goals and motivated goal adoption. We also develop a language-specific multiagent cooperation scheme and, to address potential problems arising from autonomy in a multiagent system, we extend our agents with a mechanism for norm processing leveraging existing theoretical work. These extensions allow for greater autonomy in the resulting systems, enabling them to synthesise new behaviours at runtime and to cooperate in non-scripted patterns.

Adaptivity in programming languages

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. An adaptive device is made up of an underlying formalism, for instance, an automaton, a grammar, a decision tree, etc., and an adaptive mechanism, responsible for providing features for self-modification. Adaptive languages are obtained by using some programming language as the device’s underlying formalism. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Conception of adaptive programming languages

Adaptive devices show the characteristic of dynamically change themselves in response to input stimuli with no interference of external agents. Occasional changes in behaviour are immediately detected by the devices, which right away react spontaneously to them. Chronologically such devices derived from researches in the field of formal languages and automata. However, formalism spurred applications in several other fields. Based on the operation of adaptive automata, the elementary ideas generanting programming adaptive languages are presented.

Adaptive languages and a new programming style

A programming style can be seen as a particular model of shaping thought or a special way of codifying language to solve a problem. Adaptive languages have the basic feature of allowing the expression of programs which self-modifying through adaptive actions at runtime. The conception of such languages calls for a new programming style, since the application of adaptive technology in the field of programming languages suggests a new way of thinking. With the adaptive style, programming language codes can be structured in such a way that the codified program therein modifies or adapts itself towards the needs of the problem. The adaptive programming style may be a feasible alternate way to obtain self-modifying consistent codes, which allow its use in modern applications for self-modifying code.

Male Homosexuality in Brazilian Indexing Languages: Some Ethical Questions

Studies on ethics in information organization have deeply contributed to the recognition of the social dimension of Information Science. The subject approach to information is linked to an ethical dimension because one of its major concerns is related to its reliability and usefulness in a specific discursive community or knowledge domain. In this direction, we propose, through an exploratory research design with qualitative and inductive characteristics, to identify the specific terminology that Brazilian indexing languages allow for terms relating to male homosexuality. We also analyzed the terms assigned to papers published in the Journal of Homosexuality, Sexualities and Journal of Gay & Lesbian Mental Health between the years 2005 to 2009. From this analysis of terms and the Brazilian indexing languages, we see (1) the Brazilian context, (2) imprecision in the terminology, (3) indications of prejudices disseminated by political correctness, (4) biased representation of the subject matter, (5) and the presence of figures of speech.

Model-Driven requirements engineering process aided by ontologies and natural controlled languages

Researches in Requirements Engineering have been growing in the latest few years. Researchers are concerned with a set of open issues such as: communication between several user profiles involved in software engineering; scope definition; volatility and traceability issues. To cope with these issues a set of works are concentrated in (i) defining processes to collect client s specifications in order to solve scope issues; (ii) defining models to represent requirements to address communication and traceability issues; and (iii) working on mechanisms and processes to be applied to requirements modeling in order to facilitate requirements evolution and maintenance, addressing volatility and traceability issues. We propose an iterative Model-Driven process to solve these issues, based on a double layered CIM to communicate requirements related knowledge to a wider amount of stakeholders. We also present a tool to help requirements engineer through the RE process. Finally we present a case study to illustrate the process and tool s benefits and usage

Semantic categories in the indigenous languages of Brazil

This article investigates which semantic categories, as defined in Functional Discourse Grammar, formally manifest themselves in a sample of native languages of Brazil, and the extent to which the distribution of these manifestations across categories can be described systematically in terms of implicational hierarchies. The areas subjected to investigation are basic interrogative words, basic demonstrative words, and nominalization strategies.

Utilizing cross-domain SOAP Web services using client-side languages in an enterprise mashup platform

Service oriented architectures (SOA) based on Simple Object Access Protocol (SOAP) Web services have attracted the attention of enterprises mainly for business-to-business integration and to create composite applications that execute business processes. An existing problem is the lack of preoccupation with non technical users due to the fact that to create a composite application to fulfill users needs, it is necessary to be in contact with IT staff. To overcome this issue, enterprises can take advantage of web 2.0, 'introducing in the development stage some technologies like mashups and some concepts like user empowerment, collaborative work and collective intelligence. Some results [3] [13] have shown how web 2.0 concepts can help non technical users to produce relative complex business processes. However, traditional enterprise requirements goes beyond typical web 2.0 solutions in several aspects: (1) traditional enterprise systems are based on heterogeneous stack of technologies that are not directly exploitable from a web-based client (where SOAP web services play an important role); (2) web browsers set some cross-domain security constraints making difficult to integrate services from diverse domains. In this paper, a contribution to two web 2.0 research projects [14] [15] partially solves the problems described: provide a way to invoke cross-domain backend services (based on SOAP technologies) directly only using clientside languages, without a need for any adaptation layer. © 2010 ACM.

Basic illocutions in the native languages of Brazil

This paper shows that the distribution of basic illocutions (defined as grammatical structures that can be related to a default communicative intentions) within and across the indigenous languages of Brazil can be described systematically in terms of a set of implicational hierarchies by means of which the existence of certain basic illocutions can be predicted from the existence of others. In doing so, a case is made for a major distinction between propositional and behavioural basic illocutions, the former having to do with the exchange of information, the latter with influencing behaviour.

Health related quality of life measure in systemic pediatric rheumatic diseases and its translation to different languages: an international collaboration

Background: Rheumatic diseases in children are associated with significant morbidity and poor health-related quality of life (HRQOL). There is no health-related quality of life (HRQOL) scale available specifically for children with less common rheumatic diseases. These diseases share several features with systemic lupus erythematosus (SLE) such as their chronic episodic nature, multi-systemic involvement, and the need for immunosuppressive medications. HRQOL scale developed for pediatric SLE will likely be applicable to children with systemic inflammatory diseases.Findings: We adapted Simple Measure of Impact of Lupus Erythematosus in Youngsters (SMILEY (c)) to Simple Measure of Impact of Illness in Youngsters (SMILY (c)-Illness) and had it reviewed by pediatric rheumatologists for its appropriateness and cultural suitability. We tested SMILY (c)-Illness in patients with inflammatory rheumatic diseases and then translated it into 28 languages. Nineteen children (79% female, n= 15) and 17 parents participated. The mean age was 12 +/- 4 years, with median disease duration of 21 months (1-172 months). We translated SMILY (c)-Illness into the following 28 languages: Danish, Dutch, French (France), English (UK), German (Germany), German (Austria), German (Switzerland), Hebrew, Italian, Portuguese (Brazil), Slovene, Spanish (USA and Puerto Rico), Spanish (Spain), Spanish (Argentina), Spanish (Mexico), Spanish (Venezuela), Turkish, Afrikaans, Arabic (Saudi Arabia), Arabic (Egypt), Czech, Greek, Hindi, Hungarian, Japanese, Romanian, Serbian and Xhosa.Conclusion: SMILY (c)-Illness is a brief, easy to administer and score HRQOL scale for children with systemic rheumatic diseases. It is suitable for use across different age groups and literacy levels. SMILY (c)-Illness with its available translations may be used as useful adjuncts to clinical practice and research.

Bias in the indexing languages Theorethical approaches about feminine issues

The process of knowledge representation as well as its procedures or tools and its products are not neutral in terms of values; instead they imply moral values. In this context, bias in representation related to prejudice and discrimination, to gender issues, to dicotomic categorization in classification systems or in thesauri and to lack of cultural warrant may arise. Concerning the problem of bias in indexing languages, starting from the initial theoretical reflexions of Brey (1999), Berman (1993), Olson (1998; 2002), Lopez-Huertas Perez & Torres Ramirez (2005), Guimaraes (2006), Hjorland (2008) and Milani et al. (2009), the proposal is to present a preliminary categorization aiming at facilitating the identification of bias concerning feminine issues in indexing languages, to offer a contribution to the theoretical universe of the specific questions of knowledge organization and to present a theme to be discussed by educators and professionals in the areas of cataloging, classification and indexing. If in a society which intends to be politically correct, social attitudes towards stigmatized citizens should be modified, then, the universe of indexing languages, taken as tools of knowledge representation, is a fertile field to sow this reflexion.