Aspen a domain specific language for performance modeling software

Combining power and performance analysis for application analysis. Active cosmic castle is a multilevel hardwaresoftware strategy that is integrated by a crosscutting performance modeling methodology, using our innovative aspen modeling framework. Generator pig 6 is a domainspecific modeling language 7 8 that is designed for code generation but this solution also focuses on interactions. It enables analysis that can be used to explore the design space of hardware and software. A domainspecific language for modeling method definition. The campus community is cordially invited to various featured speakers, research talks, student lightning talks, and a panel that will take place on monday, april 11th. Aspen proceedings of the international conference on high. Acmieee international conference for high performance computing, networking, storage, and analysis, 2012. We have developed aspen to facilitate rapid exploration of such design spaces. April 2016 advanced research computing at virginia tech. A case study using aspen ieee ipdps hppac may 11, 2016 energy and performance modeling for aspen domain specific language.

This is in contrast to a genera lpurpose lan guage gpl, which is broadly applicable a cross d omains. In contrast, domainspecific modeling see for instance 18 utilizes dedicated languages for specific domains, which explicitly refer to domain concepts. Domains specific language vs domain specific modelling. Blueridge supercomputers stomp grapes to improve us wine. Design decision tables oriented to a subject matter expert in this particular domain 3. Modeling synthetic aperture radar computation with aspen. A case study using aspen, hppac 2016 in conjunction with ipdps 2016. A domain specific language for performance modeling k. Aspen dsl for performance modeling in a predictivebased approach wfp07.

For instance, aspens control construct helps to fully capture control flow and preserves more algorithmic information than traditional frameworks like bsp and variants 5, 6. A domain specific langua ge dsl is a computer langua ge specialized to a particular appl ication dom ain. Our techniques are based on building abstractions of web pages using domain specific language. Aspen spafford and vetter 2012 is a domainspecific language for analytical performance modeling to enable exploration of novel algorithms and architectures. Jul 01, 2016 domain specific modeling allows to describe robotics concerns with concepts and notations closer to the respective problem domain. An exascale codesign tool for performance modeling. We introduce wtml a domain specific language for modeling web pages and provide automatic code generation with a webtesting framework. Aspenbased performance and energy modeling frameworks. Cameron, combining power and performance modeling for application analysis. Domainspecific modeling dsm is the latest approach to software development, promising to greatly increase the speed and ease of software creation. The easytouse graphical interface makes it an ideal tool for investigating the effects of network reconfiguration and temporary outages on power flow, system. Domainspecific modeling dsm is a software engineering methodology for designing and developing systems, such as computer software. An automatic hardwaresoftware codesign framework for aspen, supercomputing 2016. The goal of defining a domainspecific language is to provide the software modelers and developers with a higherlevel language with which they can build systems.

Financial domainspecific language listing and resources. Andrea pappas advanced research computing at virginia tech. There are a wide variety of dsls, ranging from widely used lan guages for c ommon d omains, such as html for web pages, do wn to lan guages used by only one or a fe w pieces of s oftware, such as. This should make communication with domain experts easier, since they are familiar with the concepts of the language. We have not found a domainspecific language with code generator that allowed for the modeling of message structure.

Early adopters of dsm have been enjoying productivity increases of 500% in production for over a decade. Creating a domainspecific modeling language for an. As the breadth, usage and impact of high performance computing and visualization continues to grow, virginia tech and advanced research computing are again proud to host hpc day. Automated design space exploration with aspenjournal article. Domain specific modeling abstracts the modeling, not necessarily the language that uses it. We present the methodologies of these two models and test their accuracy using five proxy applications. We will use the previous symbian phone application modeling language figure 1a as an example to explain dsm implementation. Use of domain specific modeling with modelbased testing. A domainspecific language dsl is a computer language specialized to a particular application domain.

Exploring emerging technologies in the extreme scale hpc co. A domain specific language for performance modeling, in proc. Modeling cloud messaging with a domainspecific modeling. Mlfi is the ocamlbased contract modeling language underlying lexifis pricing and operations management solutions. Our customers include hundreds of electric utilities, consulting companies, government organizations and large industrial complexes all over the world. The language is based on combinators which allow contracts and market scenarios to be easily composed and analysed. Aspen abstract scalable performance engineering notation fills an important gap in existing performance modeling techniques and is designed to enable rapid exploration of new algorithms and architectures. Model driven testing of web applications using domain.

Section 4 shows how a dsl can be designed for a specific software architectural problem domain using montagesgemmex. Domainspecific languages for business applications. Domainspecific modeling promises to change the modeling landscape by providing a greater level of abstraction from code than uml, providing modeling constructs for developers that mimic the realworld objects more closely, and most importantly, providing complete codegeneration capabilities, which together lead to a much more productive way for developers to model applications. In fact, with the exception of smalltalk, not a single programming language in general use today can show a. Cosmic castle darpa domain specific systems on a chip project status. Domain specific languages in software architecture a dsl can be regarded as a programming or specification language dedicated to a particular domain or problem. The aspen developers at ornl constructed a model of comd and used it to predict the effect of varying cache size on a gpu, in this case an nvidia tesla m 2090, as shown in fig. Models of a software system used in software engineering modeling is the activity of creating models real world model is abstracted. This case study presents an analytical performance model for the darpa uhpc streaming sensor challenge problem developed using aspen, a domain specific language for performance modeling. Models are expressed using directly the concepts of the problem domain and gen slideshare uses cookies to improve functionality and performance, and to provide you with relevant advertising. According to fowlers domainspecific languages, internal dsls are a particular form of api in a host generalpurpose language, often referred to as a fluent interface fowler, 2010.

Both of these models incorporate the aspen domain specific language for. Performance and communication modeling for exascale proxy. A domainspecific language for modeling performance. Aspen is a domain specific language for structured analytical modeling of. A domain specific language for performance modeling to appear in the proceedings of the acm\ieee conference on high performance computing, networking, storage, and analysis. This raises the level of abstraction and results in models that. Modeling language domainspecific language extension of uml syntax and semantics of. Sysml is a domainspecific modeling language for systems engineering that is defined as a uml profile customization. Use of domainspecific modeling with modelbased testing juhapekka tolvanen, phd, metacase stephan schulz, phd, conformiq. Aspen abstract scalable performance engineering notation is a domain specific language for performance modeling that fills an important gap in existing techniques for performance prediction. It involves systematic use of a domainspecific language to represent the various facets of a system. Aspen is a domain specific language for structured analytical modeling of applications and architectures. How to create a domainspecific decision modeling framework.

Unified modeling language uml is a generalpurpose modeling language that is an industry standard for specifying softwareintensive systems. Modeldriven software engineering metamodels and domain. Performance and communication modeling for exascale proxy architecture in aspen mariam umar virginia tech. Domainspecific modeling dsm for full code generation. Creating a domainspecific modeling language for an existing. A significant component of the codesign loop is to engage vendors so that changes to future hardware can be. A variety of techniques combining statistical and visual analytic tools have been developed in the recent years to analyze mvmd. A survey on domainspecific modeling and languages in robotics. Cameron, a study of powerperformance modeling using a domainspecific language, sbacpad 2016.

A domain specific language for performance modeling, in. Aspen power flow is a fullfeatured, pcbased power flow program designed for the planning, design and operating studies of transmission, subtransmission and distribution networks. A domain specific language for performance modeling, in sc12. Mariam umar software architect intel corporation linkedin. Abstractperformance is a fundamental quality of software systems. We present a new approach to analytical performance modeling using aspen, a domain specific language. It includes a formal specification of an applications performance. There are a wide variety of dsls, ranging from widely used languages for common domains, such as html for web pages, down to languages used by only one or a few pieces of software, such. This is in contrast to a generalpurpose language gpl, which is broadly applicable across domains. To address this challenge of design space exploration, we extend our aspen. Aspen abstract scalable performance engineering notation fills an important gap in existing performance modeling techniques and is designed to enable rapid. Synthetic program analysis with aspen proceedings of the. Domain specific modeling promises to change the modeling landscape by providing a greater level of abstraction from code than uml, providing modeling constructs for developers that mimic the realworld objects more closely, and most importantly, providing complete codegeneration capabilities, which together lead to a much more productive way for developers to model applications.

Implement new decision templates with conditions and actions that. Feb 15, 2006 the goal of defining a domainspecific language is to provide the software modelers and developers with a higherlevel language with which they can build systems. Studying how the floating point requirements changed based. This course investigates the use of objectoriented approaches to modeling software requirements and design. Cosmic castle darpa domain specific systems on a chip. Master of science in information systems aspen university. We present a new approach to analytical performance modeling using aspen, a domain specific langauge. Acmieee international conference for high performance computing, networking, st orage, and analysis, 2012 sffd8 djs v tt a ad i s ifi l f p f m d li isc12 acmieee ei t ti lc f f hi hp f. Couched in terms of domain specificity and at a finer granularity, these three elements map to. With domainspecific modeling languages by steven kelly, phd according to software productivity research, the average productivity in java is only 20% better than in basic. It involves systematic use of a domainspecific language to represent the various facets of a system domainspecific modeling languages tend to support higherlevel abstractions than generalpurpose modeling languages, so they require less effort and fewer low. The main assumption is that a modeling in a declarative manner, then the final modeling tool is generated by automated compilation of the method definition for the metamodeling environment of choice. Aspen abstract scalable performance engineering notation is a domain specific language dsl that provides specifications of various analytical performance models, most notably logp, bsp using welldefined grammar. Domainspecific modeling allows to describe robotics concerns with concepts and notations closer to the respective problem domain.

Complementing languageoriented programming, as well as all other forms of domainspecific languages, are the class of compiler writing tools called metacompilers. A domain specific language for performance modeling. It also provides abstractions of application and machines in a well defined manner. Some framework code to be called by the g e nerated code. Domains specific language vs domain specific modelling language. Defining a modeling language involves three aspects.

A domainspecific modeling language along with case tool support for it. These slides illustrate 20 different examples on using domainspecific modeling. Projections from various reports including the international exascale software project iesp 1. A metacompiler is not only useful for generating parsers and code generators for domainspecific languages, but a metacompiler itself compiles a domainspecific metalanguage specifically designed for the domain of metaprogramming. In cloud services, especially in those that follow the software as a ser. Nevertheless, there are some notations, languages, and models that can be applied to represent a system behavior, e. Automated design space exploration with aspen hindawi. The basic concepts of theframework are represented as the available kinds of objects in a new, domain specific modeling language. Understanding the performance characteristics of computer programs has been the subject of. The model focuses on the exploration of algorithmic tradeoffs, data structures and storage, and the impact of an important tiling factor in the image formation kernel of a synthetic aperture radar imageprocessing computation.

Our customers include hundreds of electric utilities, consulting companies, government organizations and large industrial complexes all. Modeldriven software engineering metamodels and domainspecific languages i dr. This case study presents an analytical performance model for the darpa uhpc streaming sensor challenge problem developed using aspen, a domainspecific language for performance modeling. Both of these models incorporate the aspen domain specific language for performance modeling. Specific application domain an overview sciencedirect. Domainspecific modeling languages for embedded system. May 05, 2014 these slides illustrate 20 different examples on using domainspecific modeling. Automated design space exploration with aspenjournal. It is designed to enable rapid exploration of new algorithms and architectures. The key concept of the dsl4spm is the use of a toolbox, containing spem elements, to instantiate objects in a graphical. Energy and performance modeling and estimation for aspen domain specific language.

Aspen was founded in 1986 with a commitment to technical excellence, knowledgeable support and training, and continued software improvement in response to user input. A listing of financial domainspecific languages, research papers, presentations. A dsml would be tailored to the domain instead of being generalpurpose. The easytouse graphical interface makes it an ideal tool for investigating the effects of network reconfiguration and temporary outages on power flow, system losses, area interchange and circuit overloading. Utilizing domainspecific modeling for software testing, procs of valid, october 2011 industrial presentations and tutorials at etsi conferences. When identifying the language concepts, it is of key importance to focus on a narrow application domain and your actual needs for it, knowing that you can change the language when. Scientific visualization has proven to be an effective means for analyzing multivariate multidimensional data mvmd. Exploring emerging technologies in the extreme scale hpc. Domainspecific languages in software architecture a dsl can be regarded as a programming or specification language dedicated to a particular domain or problem. Using applicationspecific performance models to inform dynamic. Because of the succinctness, expressiveness, and composability of aspen, it can be used to model many properties of a system including performance, power, and. Improving developer productivity with domainspecific. Aspens domain specific language dsl approach to analytical performance modeling provides several advantages. The basic concepts of theframework are represented as the available kinds of objects in a new,domainspecific modeling language.