Some Aspects of Domain Specific Conceptual Modeling for Simulation of Logistic Terminal Operations

When simulation modeling is used for performance improvement studies of complex systems such as transport terminals, domain specific conceptual modeling constructs could be used by modelers to create structured models. A two stage procedure which includes identification of the problem characteristics/cluster - ‘knowledge acquisition’ and identification of standard models for the problem cluster – ‘model abstraction’ was found to be effective in creating structured models when applied to certain logistic terminal systems. In this paper we discuss some methods and examples related the knowledge acquisition and model abstraction stages for the development of three different types of model categories of terminal systems

Domain specific and general epistemological beliefs their effects on mathematics

Resumen basado en el de la publicación

Accumulation of domain-specific physical inactivity and presence of hypertension in brazilian public healthcare system

Hypertension is one of the most common noncommunicable diseases worldwide, and physical inactivity is a risk factor predisposing to its occurrence and complications. However, it is still unclear the association between physical inactivity domains and hypertension, especially in public healthcare systems. Thus, this study aimed to investigate the association between physical inactivity aggregation in different domains and prevalence of hypertension among users of Brazilian public health system. 963 participants composed the sample. Subjects were divided into quartiles groups according to three different domains of physical activity (occupational; physical exercises; and leisure-time and transportation). Hypertension was based on physician diagnosis. Physical inactivity in occupational domain was significantly associated with higher prevalence of hypertension (OR = 1.52 [1.05 to 2.21]). The same pattern occurred for physical inactivity in leisure-time (OR = 1.63 [1.11 to 2.39]) and aggregation of physical inactivity in three domains (OR = 2.46 [1.14 to 5.32]). However, the multivariate-adjusted model showed significant association between hypertension and physical inactivity in three domains (OR = 2.57 [1.14-5.79]). The results suggest an unequal prevalence of hypertension according to physical inactivity across different domains and increasing the promotion of physical activity in the healthcare system is needed.

Strumenti e framework per lo sviluppo di linguaggi di programmazione e linguaggi domain-specific in java

La tesi ha lo scopo di indagare le tecnologie disponibili per la realizzazione di linguaggi di programmazione e linguaggi domain specific in ambiente Java. In particolare, vengono proposti e analizzati tre strumenti presenti sul mercato: JavaCC, ANTLR e Xtext. Al termine dell’elaborato, il lettore dovrebbe avere un’idea generale dei principali meccanismi e sistemi utilizzati (come lexer, parser, AST, parse trees, etc.), oltre che del funzionamento dei tre tools presentati. Inoltre, si vogliono individuare vantaggi e svantaggi di ciascuno strumento attraverso un’analisi delle funzionalità offerte, così da fornire un giudizio critico per la scelta e la valutazione dei sistemi da utilizzare.

Domain-Specific Program Checking

Lint-like program checkers are popular tools that ensure code quality by verifying compliance with best practices for a particular programming language. The proliferation of internal domain-specific languages and models, however, poses new challenges for such tools. Traditional program checkers produce many false positives and fail to accurately check constraints, best practices, common errors, possible optimizations and portability issues particular to domain-specific languages. We advocate the use of dedicated rules to check domain-specific practices. We demonstrate the implementation of domain-specific rules, the automatic fixing of violations, and their application to two case-studies: (1) Seaside defines several internal DSLs through a creative use of the syntax of the host language; and (2) Magritte adds meta-descriptions to existing code by means of special methods. Our empirical validation demonstrates that domain-specific program checking significantly improves code quality when compared with general purpose program checking.

The website as a domain-specific genre

The paper takes an initial look at how the medial conditions of the screen and the Internet define new constraints for language and style of company websites. The paper first discusses how the impact of bad grammar is enhanced by the salience and universal visibility on the screen. The main part of the paper argues that the language of company websites often represents fossilized rhetorical structures as a paper text hangover from the medial conditions of reading written texts and views this residue as an evolutionary stage of the evolution towards a medially appropriate style.

The Moldable Inspector: a framework for domain-specific object inspection

Answering run-time questions in object-oriented systems involves reasoning about and exploring connections between multiple objects. Developer questions exercise various aspects of an object and require multiple kinds of interactions depending on the relationships between objects, the application domain and the differing developer needs. Nevertheless, traditional object inspectors, the essential tools often used to reason about objects, favor a generic view that focuses on the low-level details of the state of individual objects. This leads to an inefficient effort, increasing the time spent in the inspector. To improve the inspection process, we propose the Moldable Inspector, a novel approach for an extensible object inspector. The Moldable Inspector allows developers to look at objects using multiple interchangeable presentations and supports a workflow in which multiple levels of connecting objects can be seen together. Both these aspects can be tailored to the domain of the objects and the question at hand. We further exemplify how the proposed solution improves the inspection process, introduce a prototype implementation and discuss new directions for extending the Moldable Inspector.

The Moldable Debugger: A Framework for Developing Domain-Specific Debuggers

Debuggers are crucial tools for developing object-oriented software systems as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to explore and exhibit the execution stack and system state, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort. To reduce this gap, we propose a framework for developing domain-specific debuggers called the Moldable Debugger. The Moldable Debugger is adapted to a domain by creating and combining domain-specific debugging operations with domain-specific debugging views, and adapts itself to a domain by selecting, at run time, appropriate debugging operations and views. We motivate the need for domain-specific debugging, identify a set of key requirements and show how our approach improves debugging by adapting the debugger to several domains.

Intercellular adhesion and membrane polarity in rat hepatocytes: Localization of cell -CAM 105 and other domain-specific membrane proteins {\it in situ\/} and {\it in vitro\/} by electron microscopy

Cell-CAM 105 has been identified as a cell adhesion molecule (CAM) based on the ability of monospecific and monovalent anti-cell-CAM 105 antibodies to inhibit the reaggregation of rat hepatocytes. Although one would expect to find CAMs concentrated in the lateral membrane domain where adhesive interactions predominate, immunofluorescence analysis of rat liver frozen sections revealed that cell-CAM 105 was present exclusively in the bile canalicular (BC) domain of the hepatocyte. To more precisely define the in situ localization of cell-CAM 105, immunoperoxidase and electron microscopy were used to analyze intact and mechanically dissociated fixed liver tissue. Results indicate that although cell-CAM 105 is apparently restricted to the BC domain in situ, it can be detected in the pericanalicular region of the lateral membranes when accessibility to lateral membranes is provided by mechanical dissociation. In contrast, when hepatocytes were labeled following incubation in vitro under conditions used during adhesion assays, cell-CAM 105 had redistributed to all areas of the plasma membrane. Immunofluorescence analysis of primary hepatocyte cultures revealed that cell-CAM 105 and two other BC proteins were localized in discrete domains reminscent of BC while cell-CAM 105 was also present in regions of intercellular contact. These results indicate that the distribution of cell-CAM 105 under the experimental conditions used for cell adhesion assays differs from that in situ and raises the possibility that its adhesive function may be modulated by its cell surface distribution. The implications of these and other findings are discussed with regard to a model for BC formation.^ Analysis of molecular events involved in BC formation would be accelerated if an in vitro model system were available. Although BC formation in culture has previously been observed, repolarization of cell-CAM 105 and two other domain-specific membrane proteins was incomplete. Since DMSO had been used by Isom et al. to maintain liver-specific gene expression in vitro, the effect of this differentiation system on the polarity of these membrane proteins was examined. Based on findings presented here, DMSO apparently prolongs the expression and facilitates polarization of hepatocyte membrane proteins in vitro. ^

Domain-Specific Multi-Modeling of Security Concerns in Service-Oriented Architectures

As a common reference for many in-development standards and execution frameworks, special attention is being paid to Service-Oriented Architectures. SOAs modeling, however, is an area in which a consensus has not being achieved. Currently, standardization organizations are defining proposals to offer a solution to this problem. Nevertheless, until very recently, non-functional aspects of services have not been considered for standardization processes. In particular, there exists a lack of a design solution that permits an independent development of the functional and non-functional concerns of SOAs, allowing that each concern be addressed in a convenient manner in early stages of the development, in a way that could guarantee the quality of this type of systems. This paper, leveraging on previous work, presents an approach to integrate security-related non-functional aspects (such as confidentiality, integrity, and access control) in the development of services.

Multi Domain-Specific Modeling of the Security Concerns of Service-Oriented Architectures

Service-Oriented Architectures (SOA), and Web Services (WS), the technology generally used to implement them, achieve the integration of heterogeneous technologies, providing interoperability, and yielding the reutilization of pre-existent systems. Model-driven development methodologies provide inherent benefits such as increased productivity, greater reuse, and better maintainability, to name a few. Efforts on achieving model-driven development of SOAs already exist, but there is currently no standard solution that addresses non-functional aspects of these services as well. This paper presents an approach to integrate these non-functional aspects in the development of web services, with an emphasis on security.