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.

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.

Hardware Reuse Improvement through the Domain Specific Language dHDL.

The dHDL language has been defined to improve hardware design productivity. This is achieved through the definition of a better reuse interface (including parameters, attributes and macroports) and the creation of control structures that help the designer in the hardware generation process.

Generating Linked-Data based Domain-Specific Sentiment Lexicons from Legacy Language and Semantic Resources

We present a methodology for legacy language resource adaptation that generates domain-specific sentiment lexicons organized around domain entities described with lexical information and sentiment words described in the context of these entities. We explain the steps of the methodology and we give a working example of our initial results. The resulting lexicons are modelled as Linked Data resources by use of established formats for Linguistic Linked Data (lemon, NIF) and for linked sentiment expressions (Marl), thereby contributing and linking to existing Language Resources in the Linguistic Linked Open Data cloud.

Domain-specific gene disruption reveals critical regulation of neuregulin signaling by its cytoplasmic tail

Neuregulins are a multi-isoform family of growth factors that activate members of the erbB family of receptor tyrosine kinases. The membrane-anchored isoforms contain the receptor-activating ligand in their extracellular domain, a single membrane-spanning region, and a long cytoplasmic tail. To evaluate the potential biological role of the intracellular domain of the membrane-anchored neuregulin isoforms, we used a domain-specific gene disruption approach to produce a mouse line in which only the region of the neuregulin gene encoding almost the entire intracellular domain was disrupted. Consistent with previous reports in which all neuregulin isoforms were disrupted, the resulting homozygous neuregulin mutants died at E10.5 of circulatory failure and displayed defects in neural and cardiac development. To further understand these in vivo observations, we evaluated a similarly truncated neuregulin construct after transient expression in COS-7 cells. This cytoplasmic tail-deleted mutant, unlike wild-type neuregulin isoforms, was resistant to proteolytic release of its extracellular-domain ligand, a process required for erbB receptor activation. Thus, proteolytic processing of the membrane-bound neuregulin isoforms involved in cranial ganglia and heart embryogenesis is likely developmentally regulated and is critically controlled by their intracellular domain. This observation indicates that erbB receptor activation by membrane-bound neuregulins most likely involves a unique temporally and spatially regulated “inside-out” signaling process that is critical for processing and release of the extracellular-domain ligand.

Syntaxin 1A inhibits CFTR chloride channels by means of domain-specific protein–protein interactions

Previously we showed that the functional activity of the epithelial chloride channel that is encoded by the cystic fibrosis gene (CFTR) is reciprocally modulated by two components of the vesicle fusion machinery, syntaxin 1A and Munc-18. Here we report that syntaxin 1A inhibits CFTR chloride channels by means of direct and domain-specific protein–protein interactions. Syntaxin 1A stoichiometrically binds to the N-terminal cytoplasmic tail of CFTR, and this binding is blocked by Munc-18. The modulation of CFTR currents by syntaxin 1A is eliminated either by deletion of this tail or by injecting this tail as a blocking peptide into coexpressing Xenopus oocytes. The CFTR binding site on syntaxin 1A maps to the third predicted helical domain (H3) of this membrane protein. Moreover, CFTR Cl− currents are effectively inhibited by a minimal syntaxin 1A construct (i.e., the membrane-anchored H3 domain) that cannot fully substitute for wild-type syntaxin 1A in membrane fusion reactions. We also show that syntaxin 1A binds to and inhibits the activities of disease-associated mutants of CFTR, and that the chloride current activity of recombinant ΔF508 CFTR (i.e., the most common cystic fibrosis mutant) can be potentiated by disrupting its interaction with syntaxin 1A in cultured epithelial cells. Our results provide evidence for a direct physical interaction between CFTR and syntaxin 1A that limits the functional activities of normal and disease-associated forms of this chloride channel.

Practical domain-specific debuggers using the Moldable Debugger framework

Understanding the run-time behavior of software systems can be a challenging activity. Debuggers are an essential category of tools used for this purpose as they give developers direct access to the running systems. Nevertheless, traditional debuggers rely on generic mechanisms to introspect and interact with the running systems, while developers reason about and formulate domain-specific questions using concepts and abstractions from their application domains. This mismatch creates an abstraction gap between the debugging needs and the debugging support leading to an inefficient and error-prone debugging effort, as developers need to recover concrete domain concepts using generic mechanisms. To reduce this gap, and increase the efficiency of the debugging process, we propose a framework for developing domain-specific debuggers, called the Moldable Debugger, that enables debugging at the level of the application domain. 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. To ensure the proposed model has practical applicability (i.e., can be used in practice to build real debuggers), we discuss, from both a performance and usability point of view, three implementation strategies. We further 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.