Apesar das novas e efetivas técnicas de engenharia de software, os projetos de desenvolvimento de sistemas estão propensos a ter os mesmos problemas que acometem o software de apoio à gestão. Entrega com atraso, acima do orçamento e não suprindo as reais necessidades dos usuários finais ou da organização que está financiando o desenvolvimento do sistema, são os principais problemas. Esse último problema é o que mais afeta o desenvolvimento de sistemas e é um desafio para que o desenvolvimento personalizado seja uma solução real para várias empresas. Este trabalho apresenta uma proposta de método de gestão que auxilie a comunicação entre as atividades associadas à engenharia de requisitos e as atividades associadas à modelagem dos processos de negócio. Essa abordagem concerne à gestão e tratamento de requisitos de sistemas baseando-se em técnicas de engenharia de processos de negócios e de engenharia de requisitos, no processo unificado de desenvolvimento de software e na utilização de linguagens semi-formais e formais de modelagem, UML e SysML respectivamente. O método pretende mitigar os efeitos dos problemas de comunicação existentes entre os diversos integrantes de um projeto, com especial atenção para a comunicação entre a equipe de requisitos do projeto e os stakeholders responsáveis pela aceitação e aprovação do sistema. A pesquisa...
Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui.; This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs)...
Business process modeling and management approaches
are increasingly used and disclosed between organizations
as a means of optimizing and streamlining the business
activities. Among the various existing modeling languages, we
stress the Business Process Model and Notation (BPMN), currently
in version 2.0. BPMN is a widespread OMG standard
that is actually used either in academia and in organizations.
BPMN enables business process modeling, but does not facilitate
the modeling of the information infrastructure involved in the
process. However, interest in the data and its preservation has
increased in BPMN’s most recent version.
The aim of this paper is to study BPMN 2.0, particularly
on the usage and persistence of data, and present an approach
for obtaining an early data model from the business process
modeling, which may then be used as a starting data model in
the software development process.
While agent-based models are widely used for the simulation of human-natural systems, it remains challenging for scientists to specify their models in a manner in which they can be understood and
used by others. In this research project, we survey existing solutions that have emerged to cope with models specification issues. We then propose another approach: a domain specific modeling language for agent-based simulations of land use/cover change. This language is intended to constitute a means to promote models’ validation and reuse. We also present the general methodology for the development of the modeling language which consists in extending existing conceptual modeling languages with domain-specific language profiles. We also present the first step towards its development comprising a domain model based on a domain ontology.
Objective: The development of tailor-made domain-specific modeling languages is sometimes desirable in medical informatics. Naturally, the development of such languages should be guided. The purpose of this article is to introduce a set of requirements for such languages and show their application in analyzing and comparing existing modeling languages.
Process modeling languages such as “Dynamical Grammars” are highly expressive in the processes they model using stochastic and deterministic dynamical systems, and can be given formal semantics in terms of an operator algebra. However such process languages may be more limited in the types of objects whose dynamics is easily expressible. For many applications in biology, the dynamics of spatial objects in particular (including combinations of discrete and continuous spatial structures) should be formalizable at a high level of abstraction. We suggest that this may be achieved by formalizing such objects within a type system endowed with type constructors suitable for complex dynamical objects. To this end we review and illustrate the operator algebraic formulation of heterogeneous process modeling and semantics, extending it to encompass partial differential equations and intrinsic graph grammar dynamics. We show that in the operator approach to heterogeneous dynamics, types require integration measures. From this starting point, “measurable” object types can be enriched with generalized metrics under which approximation can be defined. The resulting measurable and “metricated” types can be built up systematically by type constructors such as vectors...
Enterprise Engineering offers a global view on multiple concerns such as processes, stakeholders, supporting technology. This global view is sustained by Enterprise Architecture frameworks, languages, tools and standards. The current effort has been focused on general purpose Enterprise Architecture frameworks, modeling languages and tools, which allow describing a wide range of domains. While they are expressive enough at the business layer, at the technical layer, where more detail is needed to describe a domain specific system, such general purpose Enterprise Architecture Modeling Languages sometime lack the semantic strength required. The concepts present in the language are too abstract, they need refinement and specification. To provide the necessary specific semantic strength, this paper proposes an approach to extend Enterprise Architecture Modeling Languages with domain specificity. The proposed approach is a model-driven one, allowing a high degree of automation in the building of tools for the language extension. To better show its benefits, the approach is applied on the domain of Telecommunications, for defining an Enterprise Architecture Modeling Language extension for service creation. The so defined language and its associated tools are illustrated on an IP Multimedia Subsystem conferencing service example.; Vanea Chiprianov...
This paper examines ways in which the addition of data modeling features can enhance the capabilities of mathematical modeling languages, and demonstrates how such integration might be achieved as an application of the embedded languages technique proposed by Bhargava and Kimbrough. Decision making, and decision support systems, require the representation and manipulation of both data and mathematical models. Several data modeling languages as well as several mathematical modeling languages exist, but they have differences sets of capabilities. We motivate with a detailed example the need for the integration of these languages. We describe the benefits that might result, and claim that this could lead to a significant improvement in the functionality of model management systems. Then we present our approach for the integration of these languages, and specify how the claimed benefits are realized.; This paper examines ways in which the addition of data modeling features can enhance the capabilities of mathematical modeling languages, and demonstrates how such integration might be achieved as an application of the embedded languages technique proposed by Bhargava and Kimbrough, Decision-making, and decision support systems, require the representation and manipulation of both data and mathematical models. Several data modeling languages as well as several mathematical mod- eling languages exist...
Approved for public release; distribution is unlimited; The issue of model validation is critical in the formulation and interpretation of mathematical programming models, yet this problem is largely ignored by contemporary modeling languages and the systems they support. This research advanced modeling languages for mathematical programming by providing a formalism and defining a language for specifying a dimensional complement, called typing, to the algebraic representation of models. Typing is a formal specification used to determine automatically whether the algebraic model is well-formed in the sense that its objective junction and constraints are composed of homogeneous components and that operations junction and constraints are composed of homogeneous components and that operations performed using indices are meaningful. A provision is made for the definition of dimensional axioms that can be applied automatically to resolve dimensional differences. The addiction of formal typing to mathematical programming models also yields a powerful abstraction mechanism for integrated modeling.
Approved for public release; distribution is unlimited; Model-based systems engineering (MBSE) needs a formal language, one defined with explicit rules between its elements, in order to support the use of formal modeling in systems engineering. This thesis examines desirable features in the context of quantitative modeling for systems engineering modeling language. Object Management Group’s UML and SysML and Vitech’s System Definition Language are then analyzed in terms of these features. The first important feature is the capability for interoperability between different MBSE tools combined with the ability to integrate the use of specialty tools to interact with and manipulate the system model. Flexibility is necessary in describing and defining entities in the system modeling language. This allows supporting project specific concerns in the system semantics, making MBSE tool support simpler. Finally, support for non-fixed value properties for entities, particularly random variables, is essential to representing system behavior. Existing system modeling languages have shortcomings that should be addressed to improve the conduct of MBSE. Random variables are inconsistently supported. Behavior modeling allows intermingling event timelines for different entities...
Lara, Juan de; Guerra, Esther; Sánchez Cuadrado, Jesús
Fonte: Elsevier B.V.Publicador: Elsevier B.V.
Tipo: Artigo de Revista Científica
Relevância na Pesquisa
This is the author’s version of a work that was accepted for publication in Information Systems. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Information Systems, 38, 8, (2013) DOI: 10.1016/j.is.2013.06.001; Model-driven engineering proposes the use of models to describe the relevant aspects of the system to be built and synthesize the final application from them. Models are normally described using Domain-Specific Modeling Languages (DSMLs), which provide primitives and constructs of the domain. Still, the increasing complexity of systems has raised the need for abstraction techniques able to produce simpler versions of the models while retaining some properties of interest. The problem is that developing such abstractions for each DSML from scratch is time and resource consuming.
In this paper, our goal is reducing the effort to provide modeling languages with abstraction mechanisms. For this purpose, we have devised some techniques, based on generic programming and domain-specific meta-modeling...
The competitive market forces organizations to be agile and flexible so as to react robustly to complex events. Modeling helps managing this complexity. However, in order to model an enterprise, many stakeholders, with different expertise, must work together and take decisions. These decisions and their rationale are not always captured explicitly, in a standard, formal manner. The main problem is to persuade stakeholders to capture them. This article synthesizes an approach for capturing and using the rationale behind enterprise modeling decisions. The approach is implemented through a domain-specific modeling language, defined as an extension of a standard enterprise architecture modeling language. It promotes coordination, enables presenting different stakeholders’ points of view, facilities participation and collaboration in modeling activities—activities focused here on enterprise architecture viewpoints. To present its benefits, such as rapid prototyping, the approach is applied to large organizations in the context of telecommunication service design. It is exemplified on modeling and capturing decisions on a conference service.; Vanea Chiprianov, Yvon Kermarrec, Siegfried Rouvrais, Jacques Simonin
peer-reviewed; There have been several proposals to describe the variability of
software product lines by using modeling languages. In larger organizations
or projects (e.g., multi product line environments) this
can lead to a situation where multiple variability modeling techniques
are used simultaneously. Rather than enforcing a single
modeling language, we present an integrative infrastructure that
provides a unified perspective for users configuring products in
such multi product line environments, regardless of the different
modeling methods and tools used internally. In this tool demonstration
paper, we present a prototypical implementation of our framework
based on Web services. So far, the prototype has been used
with a feature-based, an OVM-style and a decision-oriented variability
Pesquisas acerca do desenvolvimento de modelos comunicacionais em Saúde Pública de eficácia já demonstrada, cujo exemplo pode ser dado pelas animações de Zé Gotinha que auxiliaram na erradicação da poliomielite no Brasil, podem aclarar pontos positivos e auxiliar no entendimento de como propor formatos mais efetivos em termos educacionais. Norteados por esta justificativa e tendo por base o aporte teórico da escola de Tártu de Semiótica da Cultura e o conceito de modelização de linguagens, a dissertação teve por objetivo analisar a articulação dos elementos sígnicos geradores de sentidos considerados importantes no desenvolvimento, aderência e perenidade de ideários benéficos em relação ao ato de se vacinar dentro das animações com Zé Gotinha. Como o arcabouço teórico nos permitiu ver o objeto como uma parte de um movimento maior, também foram desenvolvidas análises das linguagens anteriores as animações, a fim de caracterizá-las dentro deste movimento. Dos materiais e métodos, recolheram-se documentos no Museu de Saúde Pública Emilio Ribas e material produzido pelo Programa Nacional de Imunização (PNI), englobando desde sua formação (1986) até a atualidade (ano de 2012). A pesquisa também obteve entrevistas com envolvidos nos processos criativos. Dos resultados: modelizações de códigos culturais e científicos se fizeram presentes na formação das linguagens; a linha...
Robots belong to a class of Cyber-Physical Systems where complex software as
a mobile device has to full tasks in a complex environment. Modeling robotics
applications for analysis and code generation requires modeling languages for
the logical software architecture and the system behavior. The
MontiArcAutomaton modeling framework integrates six independently developed
modeling languages to model robotics applications: a component & connector
architecture description language, automata, I/O tables, class diagrams, OCL,
and a Java DSL. We describe how we integrated these languages into
MontiArcAutomaton a-posteriori in a black-box integration fashion.; Comment: 6 pages, 4 figures. GEMOC Workshop 2013 - International Workshop on
The Globalization of Modeling Languages, Miami, Florida (USA), Volume 1102 of
CEUR Workshop Proceedings, CEUR-WS.org, 2013
Hybrid systems, which combine discrete and continuous dynamics, require
quality modeling languages to be either described or analyzed. The Concurrent
Constraint paradigm (ccp) is an expressive declarative paradigm, characterized
by the use of a common constraint store to communicate and synchronize
concurrent agents. In this paradigm, the information is stated in the form of
constraints, in contrast to the variable/value style typical of imperative
languages. Several extensions of ccp have been proposed in order to model
reactive systems. One of these extensions is the Timed Concurrent Constraint
Language (tccp) that adds to ccp a notion of discrete time and new features to
model time-out and preemption actions. The goal of this paper is to explore the
expressive power of tccp to describe hybrid systems. We introduce the language
Hy-tccp as a conservative extension of tccp, by adding a notion of continuous
time and new constructs to describe the continuous dynamics of hybrid systems.
In this paper, we present the syntax and the operational semantics of Hy-tccp
together with some examples that show the expressive power of our new language.; Comment: In Proceedings PROLE 2014, arXiv:1501.01693
We give a short report on the contributions to and some discussions made and
conclusions drawn at the Third International Workshop on Critical Systems
Development Using Modeling Languages (CSDUML'04).; Comment: 9 pages, 0 figures
Concurrent,reactive and hybrid systems require quality modeling languages to
be described and analyzed. The Timed Concurrent Constraint Language (tccp) was
introduced as a simple but powerful model for reactive systems. In this paper,
we present hybrid tccp (hy-tccp), an extension of tccp over continuous time
which includes new con- structs to model the continuous dynamics of hybrid
The first edition of GEMOC workshop was co-located with the MODELS 2013
conference in Miami, FL, USA. The workshop provided an open forum for sharing
experiences, problems and solutions related to the challenges of using of
multiple modeling languages in the development of complex software based
systems. During the workshop, concrete language composition artifacts,
approaches, and mechanisms were presented and discussed, ideas and opinions
exchanged, and constructive feedback provided to authors of accepted papers. A
major objective was to encourage collaborations and to start building a
community that focused on providing solutions that support what we refer to as
the globalization of domain-specific modeling languages, that is, support
coordinated use of multiple languages throughout the development of complex
systems. This report summarizes the presentations and discussions that took
place in the first GEMOC 2013 workshop.; Comment: 11 pages, 7 figures
Effective model-driven engineering of complex systems requires to
appropriately describe different specific system aspects. To this end,
efficient integration of different heterogeneous modeling languages is
essential. Modeling language integaration is onerous and requires in-depth
conceptual and technical knowledge and ef- fort. Traditional modeling lanugage
integration approches require language engineers to compose monolithic language
aggregates for a specific task or project. Adapting these aggregates cannot be
to different contexts requires vast effort and makes these hardly reusable.
This contribution presents a method for the engineering of grammar-based
language components that can be independently developed, are syntactically
composable, and ultimately reusable. To this end, it introduces the concepts of
language aggregation, language embed- ding, and language inheritance, as well
as their realization in the language workbench MontiCore. The result is a
generalizable, systematic, and efficient syntax-oriented composition of
languages that allows the agile employment of modeling languages efficiently
tailored for individual software projects.; Comment: 12 pages, 11 figures. Proceedings of the 3rd International Conference
on Model-Driven Engineering and Software Development. Angers...