Customizable Notations for Software Design
نویسنده
چکیده
ISF is a visual formalism for creating custom notations for high-level software design. In this paper we describe the formal semantics of ISF in Datalog. The semantics provides useful insight on how deduc-tive database technology can be used to generate tools to support our custom notations.
منابع مشابه
A Toolbox for Automating Visual Software Engineering
Visual diagrammatic (VD) notations have always been widely used in software engineering. Such notations have been used to syntactically represent the structure of software systems, but they usually lack dynamic semantics, and thus provide limited support to software engineers. In contrast, formal models would provide rigorous semantics, but the scarce adaptability to different application domai...
متن کاملRequirements Analysis for Customizable Software Goals-Skills-Preferences Framework
Software customization has been argued to benefit both the productivity of software engineers and end users. However, most customization methods rely on specialists to manually tweak individual applications for a specific user group. Existing software development methods also fail to acknowledge the importance of different kinds of user skills and preferences and how these might be incorporated...
متن کاملGenerating reusable, searchable and executable "architecture constraints as services"
Architecture constraints are components of design documentation. They enable designers to enforce rules that architecture descriptions should respect. Many systems make it possible to associate constraints to models at design stage but very few enable their association to code at implementation stage. When possible, this is done manually, which is a tedious, error prone and time consuming task....
متن کاملInference Graphs: A Computational Structure Supporting Generation of Customizable and Correct Analysis Components
Amalia is a generator framework for constructing analyzers for operationally defined formal notations. These generated analyzers are components that are designed for customization and integration into a larger environment. The customizability and efficiency of Amalia analyzers owe to a computational structure called an inference graph. This paper describes this structure, how inference graphs e...
متن کاملA New Formalism Technique for OCL
Modeling, especially domain-specific modeling has growing importance in many fields of software enginering, such as modeling control flows of data processing for example in man-machine systems. Customizable language dictionary and customizable notations of the model elements offered by domain-specific technologies makes software systems easier to create and maintain. Visual model definitions ha...
متن کامل