Página 1 dos resultados de 549 itens digitais encontrados em 0.007 segundos

Proposta de método para gestão de requisitos de sistemas integrando modelagem de negócio e linguagens formais.; Proposal for management system requirements method integrating business modeling and formal languages.

Oliveira, Valter Castelhano de
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 23/10/2008 PT
Relevância na Pesquisa
46.27%
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...

Catálogo de modelos de computação para o desenvolvimento de linguagens específicas de modelagem de domínio.; Catalog of models of computation for the development of domain-specific modeling languages.

Fernandes, Sergio Martins
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Tese de Doutorado Formato: application/pdf
Publicado em 13/06/2013 PT
Relevância na Pesquisa
56.27%
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)...

From business process modeling to data model : a systematic approach

Cruz, Estrela Ferreira; Machado, Ricardo J.; Santos, Maribel Yasmina
Fonte: IEEE Computer Society Press Publicador: IEEE Computer Society Press
Tipo: Conferência ou Objeto de Conferência
Publicado em /09/2012 ENG
Relevância na Pesquisa
56.26%
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.

Towards a Domain Specific Modeling Language for Agent-Based modeling of Land Use/Cover Change

Grueau, Cédric
Fonte: Repositório Comum de Portugal Publicador: Repositório Comum de Portugal
Tipo: Conferência ou Objeto de Conferência
Publicado em /11/2013 ENG
Relevância na Pesquisa
46.06%
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.

Requirements for Medical Modeling Languages

van der Maas, Arnoud A.F.; Ter Hofstede, Arthur H.M.; Ten Hoopen, A. Johannes
Fonte: American Medical Informatics Association Publicador: American Medical Informatics Association
Tipo: Artigo de Revista Científica
Publicado em //2001 EN
Relevância na Pesquisa
46.32%
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.

Towards Measurable Types for Dynamical Process Modeling Languages

Mjolsness, Eric
Fonte: PubMed Publicador: PubMed
Tipo: Artigo de Revista Científica
Publicado em 06/09/2010 EN
Relevância na Pesquisa
46.23%
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...

Extending enterprise architecture modeling languages: application to telecommunications service creation

Chiprianov, V.; Kermarrec, Y.; Rouvrais, S.
Fonte: Association for Computing Machinery Publicador: Association for Computing Machinery
Tipo: Conference paper
Publicado em //2012 EN
Relevância na Pesquisa
56.41%
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...

On the integration of data and mathematical modeling languages

Bhargava, Hemant K.; Krishnan, Ramayya; Mukherjee, Sumitra
Fonte: Monterey, California. Naval Postgraduate School Publicador: Monterey, California. Naval Postgraduate School
Tipo: Relatório
Relevância na Pesquisa
46.54%
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, [4]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...

A type calculus for mathematical programming modeling languages

Clemence, Robert D.
Fonte: Monterey, California. Naval Postgraduate School Publicador: Monterey, California. Naval Postgraduate School
Tipo: Tese de Doutorado
EN_US
Relevância na Pesquisa
46.27%
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.

Examination of modeling languages to allow quantitative analysis for model-based systems engineering

Nutting, Joseph W.
Fonte: Monterey, California. Naval Postgraduate School Publicador: Monterey, California. Naval Postgraduate School
Tipo: Tese de Doutorado
Relevância na Pesquisa
46.26%
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...

Reusable abstractions for modeling languages

Lara, Juan de; Guerra, Esther; Sánchez Cuadrado, Jesús
Fonte: Elsevier B.V. Publicador: Elsevier B.V.
Tipo: Artigo de Revista Científica
ENG
Relevância na Pesquisa
46.45%
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...

Extending enterprise architecture modeling languages for domain specificity and collaboration: application to telecommunication service design

Chiprianov, V.; Kermarrec, Y.; Rouvrais, S.; Simonin, J.
Fonte: Springer Publicador: Springer
Tipo: Artigo de Revista Científica
Publicado em //2014 EN
Relevância na Pesquisa
46.1%
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

Integrating heterogeneous variability modeling approaches with invar

Dhungana, Deepak; Seichter, Dominik; Botterweck, Goetz; Rabiser, Rick; Grunbacher, Paul; Benavides, David
Fonte: Association for Computing Machinery Publicador: Association for Computing Machinery
Tipo: info:eu-repo/semantics/conferenceObject; all_ul_research; ul_published_reviewed
ENG
Relevância na Pesquisa
46.08%
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 modeling approach.

Articulação de linguagens nos modelos de comunicação para a saúde pública: o personagem Zé Gotinha e o cinema de animação; Articulations of Languages in the Communication Models for Public Health: The Character Zé Gotinha (Little Drop Joe) and The Animation Cinema

Pena, Patricia Beatriz Souza Campinas
Fonte: Biblioteca Digitais de Teses e Dissertações da USP Publicador: Biblioteca Digitais de Teses e Dissertações da USP
Tipo: Dissertação de Mestrado Formato: application/pdf
Publicado em 28/09/2015 PT
Relevância na Pesquisa
46.39%
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...

Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems

Look, Markus; Perez, Antonio Navarro; Ringert, Jan Oliver; Rumpe, Bernhard; Wortmann, Andreas
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 08/09/2014
Relevância na Pesquisa
46.41%
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

Modeling Hybrid Systems in the Concurrent Constraint Paradigm

Adalid, Damián; Gallardo, María del Mar; Titolo, Laura
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 08/01/2015
Relevância na Pesquisa
46.16%
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

Critical Systems Development Using Modeling Languages. (CSDUML-04): Current Developments and Future Challenges (Report on the Third International Workshop)

Jürjens, Jan; Fernandez, Eduardo B.; France, Robert B.; Rumpe, Bernhard; Heitmeyer, Constance
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 22/09/2014
Relevância na Pesquisa
46.07%
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

Modeling Hybrid Systems in Hy-tccp

Adalid, Damian; Gallardo, Maria del Mar; Titolo, Laura
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 15/12/2014
Relevância na Pesquisa
46.07%
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 systems.

Report on the First Workshop On the Globalization of Modeling Languages

Combemale, Benoit; De Antoni, Julien; France, Robert B.; Boulanger, Frédéric; Mosser, Sebastien; Pantel, Marc; Rumpe, Bernhard; Salay, Rick; Schindler, Martin
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 25/08/2014
Relevância na Pesquisa
46.28%
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

Integration of Heterogeneous Modeling Languages via Extensible and Composable Language Components

Haber, Arne; Look, Markus; Perez, Antonio Navarro; Rumpe, Bernhard; Völkel, Steven; Wortmann, Andreas
Fonte: Universidade Cornell Publicador: Universidade Cornell
Tipo: Artigo de Revista Científica
Publicado em 15/09/2015
Relevância na Pesquisa
46.35%
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...