The Experts below are selected from a list of 197211 Experts worldwide ranked by ideXlab platform
Oscar Pastor - One of the best experts on this subject based on the ideXlab platform.
-
from requirements to code a conceptual model based approach for automating the Software Production process
Enterprise Modelling and Information Systems Architectures (EMISAJ), 2018Co-Authors: Oscar Pastor, Marcela RuizAbstract:Conceptual Models are part of an increasing number of engineering processes. The model driven development approach considers conceptual models as first-class entities and also considers tools, repositories, etc. as models. In order to take full advantage of these ideas, model transformation is a main activity. A sound Software Production process, conceptual-modelling based, must go from the initial requirements model to the final application code through a well-defined set of conceptual models and transformations between them. Model transformation aims at supporting the Production of target models from a number of source models, while keeping a full traceability support. The current paper presents a practical application of these ideas using the Model Centred Architecture contributed by Heinrich C. Mayr. In this line, we present our research efforts on the integration of requirements and executable conceptual models. We reflect on the integration of Communication Analysis (a communication-oriented business process modelling and requirements method) and the OO-Method (an object-oriented model-driven development method).
-
model driven architecture in practice a Software Production environment based on conceptual modeling
2007Co-Authors: Oscar Pastor, Juan Carlos MolinaAbstract:This book introduces all the relevant information required to understand and put Model Driven Architecture (MDA) into industrial practice. It clearly explains which conceptual primitives should be present in a system specification, how to use UML to properly represent this subset of basic conceptual constructs, how to identify just those diagrams and modeling constructs that are actually required to create a meaningful conceptual schema, and how to accomplish the transformation process between the problem space and the solution space. The approach is fully supported by commercially available tools.
-
closing the gap between organizational modeling and information system modeling
WER, 2003Co-Authors: Alicia Martinez, Oscar Pastor, Hugo EstradaAbstract:The creation of a conceptual schema is a critical feature of the Software Production process. The conceptual schema should represent the structure and behavior of the information system so that the users can perform their organizational tasks. For this reason, the organizational context needs to be the starting point for the generation of an initial conceptual schema. This approach allows us to assure that the functionality of the information system will be equivalent to the tasks that are executed in the business. However, only a few research studies offer a systematic approach for carrying out the equivalence between models. In this paper, a methodological approach for deriving conceptual schemas from TROPOS business models is presented. The resultant conceptual schema will be the input of the OO-Method Case Tool, which implements the automatic Software Production process. By doing this, we go a step further in the process of including business modeling as a key piece in the Software Production process.
-
development of web applications from web enhanced conceptual schemas
Lecture Notes in Computer Science, 2003Co-Authors: Joan Fons, Manoli Albert, Vicente Pelechano, Oscar PastorAbstract:This work presents an OO Software Production method that defines a systematic process for conceptual modelling of web applications. The paper discusses a set of minimum primitives to capture the essentials of dynamic web applications and it discusses how to introduce them in a classical model-centered OO method that provides systematic code generation. Finally, the paper presents some ideas to extend this generation process for developing web solutions taking as an input these web enhanced conceptual schemas.
-
requirements engineering based conceptual modelling
Requirements Engineering, 2002Co-Authors: Emilio Insfran, Oscar Pastor, Roel WieringaAbstract:The Software Production process involves a set of phases where a clear relationship and smooth transitions between them should be introduced. In this paper, a requirements engineering-based conceptual modelling approach is introduced as a way to improve the quality of the Software Production process. The aim of this approach is to provide a set of techniques and methods to capture Software requirements and to provide a way to move from requirements to a conceptual schema in a traceable way. The approach combines a framework for requirements engineering (TRADE) and a graphical object-oriented method for conceptual modelling and code generation (OO-Method). The intended improvement of the Software Production process is accomplished by providing a precise methodological guidance to go from the user requirements (represented through the use of the appropriate TRADE techniques) to the conceptual schema that properly represents them (according to the conceptual constructs provided by the OO-Method). Additionally, as the OO-Method provides full model-based code generation features, this combination minimises the time dedicated to obtaining the final Software product.
Mary Shaw - One of the best experts on this subject based on the ideXlab platform.
-
progress toward an engineering discipline of Software
International Conference on Software Engineering, 2016Co-Authors: Mary ShawAbstract:Is "Software engineering" really engineering? The term was coined in 1968 to call attention to problems with Software Production. Both theory and practice for Software have evolved since then, but do we yet have a true engineering discipline? This keynote sketches the evolution of Software engineering, drawing on civil engineering and Software architecture for examples that show the progressive codification of informal knowledge toward rigorous models and tools. This provides the basis for assessing the maturity of the field and identifying our next challenges.
-
continuing prospects for an engineering discipline of Software
IEEE Software, 2009Co-Authors: Mary ShawAbstract:In her 1990 IEEE Software article "Prospects for an Engineering Discipline of Software" (Nov./Dec, pp. 15-24), Mary Shaw identified the key areas that the Software development profession must address to become a true engineering discipline. That classic article made the magazine's 25th anniversary top picks list (Jan./Feb. 2009, pp. 9-11). Here, Mary reflects on the evolution of her thinking since the publication of "Prospects". The paper dealt with the topics of: programming progress; beyond programming; management of the Software Production; and progress toward an engineering discipline.
-
Software engineering education a roadmap
International Conference on Software Engineering, 2000Co-Authors: Mary ShawAbstract:Software’s increasingly critical role in systems of widespread significance presents new challenges for the education of Software engineers. Not only is our dependence on Software increasing, but the character of Software Production is itself changing ‐ and with it the demands on the Software developers. Four challenges for educators of Software developers help identify aspirations for Software engineering education.
Stuart Kent - One of the best experts on this subject based on the ideXlab platform.
-
model driven engineering
Lecture Notes in Computer Science, 2002Co-Authors: Stuart KentAbstract:The Object Management Group's (OMG) Model Driven Architecture (MDA) strategy envisages a world where models play a more direct role in Software Production, being amenable to manipulation and transformation by machine. Model Driven Engineering (MDE) is wider in scope than MDA. MDE combines process and analysis with architecture. This article sets out a framework for model driven engineering, which can be used as a point of reference for activity in this area. It proposes an organisation of the modelling 'space' and how to locate models in that space. It discusses different kinds of mappings between models. It explains why process and architecture are tightly connected. It discusses the importance and nature of tools. It identifies the need for defining families of languages and transformations, and for developing techniques for generating/configuring tools from such definitions. It concludes with a call to align metamodelling with formal language engineering techniques.
Vicente Pelechano - One of the best experts on this subject based on the ideXlab platform.
-
a methodological framework and Software infrastructure for the construction of Software Production methods
2010Co-Authors: Mario Cervera, Manoli Albert, Victoria Torres, Vicente PelechanoAbstract:The theory of Method Engineering becomes increasingly solid, but very few engineering tools have been developed to support the application of its research results. To overcome this limitation, this paper presents a methodological framework based on Model Driven Engineering techniques. The framework provides a method supported by a Software platform for the construction of Software Production methods. This framework covers from the specification of the Software Production method to the generation of the CASE tool that supports it. This generation process has been semi-automated through model transformations. The CASE tool and the Software platform are based on the Eclipse-based MOSKitt tool. The plugin-based architecture and the integrated modelling tools included in the MOSKitt tool turn it into a suitable Software platform to support our proposal. To validate the proposal we have applied the framework to a case study.
-
development of web applications from web enhanced conceptual schemas
Lecture Notes in Computer Science, 2003Co-Authors: Joan Fons, Manoli Albert, Vicente Pelechano, Oscar PastorAbstract:This work presents an OO Software Production method that defines a systematic process for conceptual modelling of web applications. The paper discusses a set of minimum primitives to capture the essentials of dynamic web applications and it discusses how to introduce them in a classical model-centered OO method that provides systematic code generation. Finally, the paper presents some ideas to extend this generation process for developing web solutions taking as an input these web enhanced conceptual schemas.
-
oo method an oo Software Production environment combining conventional and formal methods
Conference on Advanced Information Systems Engineering, 1997Co-Authors: Oscar Pastor, Vicente Pelechano, Emilio Insfran, Jose E Romero, Jose MerseguerAbstract:00-Method is an 00 Methodology that blends the use of formal specification systems with conventional 00 methodologies based on practice. In contrast to other approaches in this field ([Jun95,Esd93]), a set of graphical models provided by the methodology allows analysts to introduce the relevant system information to obtain the conceptual model through a requirements collection phase, so that an 00 formal specification in Oasis ([Pas92, Pas95-1 ]), can be generated at any time. This formal specification acts as a high-level system repository. Furthermore, a Software prototype which is functionally equivalent to the Oasis specification is also generated in an automated way. This is achieved by defining an execution model which gives the pattern for obtaining a concrete implementation in a declarative or an imperative Software development environment (depending on the user choice). The methodology is supported by a CASE workbench.
B Q Monahan - One of the best experts on this subject based on the ideXlab platform.
-
formal methods in the Production and assessment of safety critical Software
Reliability Engineering & System Safety, 1991Co-Authors: R E Bloomfield, Peter Froome, B Q MonahanAbstract:Abstract Programmable systems are being used in an increasing number of applications where their failure may endanger life. Concern over the correctness of the Software in these systems is making both suppliers and customers turn towards mathematically formal methods for Software Production. This paper provides an introduction to formal methods, including an outline of some of the most mature methods, and discusses some pertinent industrial experience. It considers technology transfer and discusses some of the current limitations of formal methods.
