model-based parser generators such as modelCC effectively decouple language design from language processing. modelCC allows the specification of the abstract syntax model of a language as a set of language elements an...
详细信息
ISBN:
(纸本)9789897580659
model-based parser generators such as modelCC effectively decouple language design from language processing. modelCC allows the specification of the abstract syntax model of a language as a set of language elements and their relationships. modelCC provides the necessary mechanisms to specify the mapping from the abstract syntax model (ASM) to a concrete syntax model (CSM). This mapping can be specified as a set of metadata annotations on top of the abstract syntax model itself or by means of a domain-specific language (DSL). Using a domain-specific language to specify the mapping from abstract to concrete syntax models allows the definition of different concrete syntax models for the same abstract syntax model. In this paper, we describe the modelCC domain-specific language for ASM-CSM mappings and we showcase its capabilities by using the modelCC ASM-CSM DSL to define itself.
The tight coupling between language design and language processing in traditional language processing tools is avoided by model-based parser generators such as modelCC. By decoupling language specification from langua...
详细信息
ISBN:
(纸本)9789897580659
The tight coupling between language design and language processing in traditional language processing tools is avoided by model-based parser generators such as modelCC. By decoupling language specification from language processing, modelCC avoids the limitations imposed by traditional parser generators, which constrain language designers to specific kinds of grammars. Apart from providing an alternative approach to language specification, modelCC incorporates reference resolution within the parsing process. Instead of returning mere abstract syntax trees, modelCC is able to obtain abstract syntax graphs from its input string. Moreover, such abstract syntax graphs are not restricted to directed acyclic graphs, since modelCC supports anaphoric, cataphoric, and recursive references.
Syntax-directed translation tools require the specification of a language by means of a formal grammar. This grammar must also conform to the specific requirements of the parser generator to be used. software engineer...
详细信息
Syntax-directed translation tools require the specification of a language by means of a formal grammar. This grammar must also conform to the specific requirements of the parser generator to be used. software engineers then annotate the resulting grammar with semantic actions for the resulting system to perform its desired functionality. Whenever the input text format is modified, the grammar has to be updated and the subsequent changes propagate throughout the entire language processing tool chain. Moreover, if several applications use the same language, multiple copies of the same language specification have to be maintained in sync, since language specification (i.e. the grammar) is tightly coupled to language processing (i.e. the semantic actions that annotate that grammar). In this paper, we introduce modelCC, a model-based parser generator that decouples language specification from language processing, hence avoiding the aforementioned problems that are caused by grammar-driven parser generators. modelCC receives a conceptual model as input, along with constraints that annotate it. It is then able to create a parser for a given textual representation format, so that the generated parser fully automates the instantiation of the desired conceptual model. modelCC is also a powerful tool for the design of domain-specific languages.
The development of autonomous mobile robots is a challenge due to the complexity. interdisciplinarity and variety of requirements and components. It is thus quite difficult or even unrealistic to achieve an agreement ...
详细信息
ISBN:
(纸本)9781586038878
The development of autonomous mobile robots is a challenge due to the complexity. interdisciplinarity and variety of requirements and components. It is thus quite difficult or even unrealistic to achieve an agreement on a standard development platform for robotic software. In this paper we present SPICA, a model-drivendevelopment framework for autonomous mobile robots. With SPICA the developer retains the freedom to choose the most appropriate programming language and underlying platform for the realisation of a specific functional component. Independently developed components are considered as service providers and consumers that interact in order to fulfil the desired functionality. For this purpose, SPICA provides modelling and transformation support to realise such an integration infrastructure for independently developed functional components and different robotic software systems. SPICA has been used successfully in the development of a team of soccer robots for the RoboCup competition.
Over the last two decades, collaborative Systems have become increasingly popular thanks to the many advances made in networks, communications and software tools. Within this field, Collaborative modeling Systems appl...
详细信息
Over the last two decades, collaborative Systems have become increasingly popular thanks to the many advances made in networks, communications and software tools. Within this field, Collaborative modeling Systems apply the collaborative paradigm to the construction of (often visual) models, where users build diagrams from building blocks and the relationships between them. In these kinds of applications, the work is usually arranged into sessions, with the definition of some kind of time organization between those sessions. This organization is known as a collaboration protocol. Unfortunately, it is not usually easy to define these protocols, and many applications do not allow users to make any use of them. In an effort to overcome these difficulties, in this paper we propose a visual language for defining collaboration protocols for these systems. As such, in our language, sessions, artifacts and the transformations between them can be specified visually, and different coordination relationships (such as fork and join) can be defined. The visual language is included in a development method for collaborative systems that take advantage of the Eclipse platform in order to develop model-driven graphical editors that are enhanced with collaboration capabilities. (C) 2012 Elsevier Ltd. All rights reserved.
Groupware systems are usually difficult to design when following traditional methodologies and approaches for single user systems. In this regard, model-driven approaches have been gaining attention in recent years. I...
详细信息
Groupware systems are usually difficult to design when following traditional methodologies and approaches for single user systems. In this regard, model-driven approaches have been gaining attention in recent years. In accordance with this paradigm, we developed the SpacEclipse method in a previous work, which is a method for developing collaborative modeling groupware based on the plug-ins in the Eclipse modeling Project. However, this method presents some deficiencies that we have tried to overcome in this work. In order to achieve this goal, we have chosen the CIAM methodology, which allows the modeling of collaboration, users, tasks, sessions and interactive issues and which is also supported by Eclipse-based tools. In this paper, we explain how the integration of CIAM elements in the SpacEclipse method has been carried out and resulted in a new method with its own methodological, conceptual and technological frameworks. To prove the validity of the method, we have applied it to a re-engineering process in the development of an existing tool. (C) 2013 Elsevier Ltd. All rights reserved.
Process modeling has become an established technique to document, analyse and automate workflows. Workflows that model the procedures followed by professionals require the immediate contribution of these professionals...
详细信息
Process modeling has become an established technique to document, analyse and automate workflows. Workflows that model the procedures followed by professionals require the immediate contribution of these professionals, who usually lack broad knowledge of formal models as well as software engineering skills. Simplicity of the selected modeling approach throughout each step of the design phase is therefore a key factor for the success of a workflow management project. In this paper we show a process modelling framework that combines simplicity and intuitiveness in the modeling phase with immediate evaluation of the models via execution. This combination allows practitioners and professionals to play a key role in the rapid development of IT applications and systems that support role-based workflows. We discuss the practicability and benefits of this approach on an exemplary case study from the healthcare domain: analysis and optimization of outpatient clinic processes of a leading German hospital.
This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. model-driven Technologies are used to integrate...
详细信息
This paper describes a CASE tool for developing complex systems in which heterogeneous and autonomous agents may need to coexist in a complex social and legal framework. model-driven Technologies are used to integrate the design of systems of this kind with the verification of the models and with the generation of executable code from these models. The verification module is based on model-checking techniques to check the coherence of a modeled legal context at design time is presented and it is exemplified with a case study. (C) 2011 Elsevier B.V. All rights reserved.
In our increasingly interconnected world, privacy can seem like an unattainable goal. We are surrounded by countless devices and web services that acquire and collect our personal data as we interact with them. In man...
详细信息
ISBN:
(纸本)9780769551371
In our increasingly interconnected world, privacy can seem like an unattainable goal. We are surrounded by countless devices and web services that acquire and collect our personal data as we interact with them. In many cases, the confidentiality of such data is not guaranteed and is frequently (if not always intentionally) violated. Smartphone apps and Internet web services in particular are known to often leak their users' confidential data to other users or (affiliated) third parties. We present a novel model-driven approach called IFlow that allows the development of distributed applications consisting of mobile apps and web services with secure information flow. In IFlow, a UML model of an information flow-sensitive application is used to automatically generate deployable app and web service code as well as a formal model. By employing automatic, language-based information flow control as well as interactive verification, IFlow enables the developer to give verifiable guarantees to the user about how his private data is being treated by the application.
Discussing business models of companies and organizations has increased in recent years, particularly from an economics perspective. And so has the interest in creating graphical representations that emphasize essenti...
详细信息
ISBN:
(纸本)9783642393365;9783642393358
Discussing business models of companies and organizations has increased in recent years, particularly from an economics perspective. And so has the interest in creating graphical representations that emphasize essential factors. However, feasible implementations of modeling tools are rare, as they tend to be domain specific but at the same time tailored towards the requirements of a heterogeneous group of stakeholders. As ideally the latter should be encouraged to express their needs in a simple but meaningful way, the author researches the application of the eXtreme modeldriven Design (XMDD) approach to model critical parts of an application in order to keep it as simple as possible for participants to contribute to the development process.
暂无评论