The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Organizations tend to virtualize their business on the cloud due to information globalization. From business process complexity perspective, one of the technologies which most significantly support this automation is Workflow Management Systems. They support definition, synchronization and execution of business process activities. Having a tool to measure the quality of these systems on the cloud...
Business Process Management combines a vision focused on processes and a functionalities integration view to enhance an organization's effectiveness. It provides ways to implement the processes and provides functionalities to control and modify their workflows. A very useful tool to achieve this control is a set of process models, as they supply a description of the process structure and complexity...
Natural language oriented models are useful during the first stages of software development because they ease and encourage stakeholders' participation. Feature models are widely used to model the information gathered during domain analysis. In this paper, we present a strategy to fruitfully use information represented in a natural language model, known as language extended Lexicon, to derive a feature...
At present, business processes contain time requirements within their specifications. Logistics, e-commerce, are examples of these requirements, among others. The time involved in business processes is important regarding the interaction among actors. The technology involved in building these processes plays a key role in assessing the risk of implementation. A technology with the ability to express...
Workflow technologies automate, totally or partially, the business processes. Such technologies use standard languages, like BPMN, to model business processes, BPMN. On the other hand, from the software engineering, OMG has defined a metamodel for the software process engineering (SPEM). This metamodel is used for describing a concrete software development process. The objective of this research work...
This paper is about software projects finance support. In this work we consider software projects as risky investments. In fact we are presenting a general scheme proposal to be used, by software engineers and software project managers, along preliminary discussions with software projects potential investors. Before facing any real world software project, a frequent software project manager first...
The aspect oriented design (AOD) surges from the continuous search of improving the software systems development. The AOD is a methodology that emerges from the aspect oriented programming (AOP), which intents to improve the concerns of the components in software programming; this methodology is based on existing technologies like object oriented (OO). Calculate the resources, is an activity that...
Model driven architecture (MDA) is a software development framework based on automatic transformations of models. The first of these models, the computation independent model (CIM), is used to define the business system, and it is usually represented with UML models. Natural language is widely used in requirements engineering as it is generally understandable by stakeholders encouraging their participation...
Feature modeling has become one of the most popular methods for representing variabilities and commonalities in software product families. In this paper we describe the feature model for e- government systems. In addition, we present a first approach to integrate formal specifications with feature models in order to produce guidelines to be used in the context of specifications reuse. We show that...
A set of rules to integrate Object Constraint Language (OCL) and the RALSE Specification Language (RSL) are shown and discussed. The rules presented here cover the translation of OCL expressions to semantically equivalent RSL expressions. The proposed rules here complete our previous work where we showed how to derive an initial formal specification in RSL from a UML class diagram, illustrated the...
In this work we present a set of rules to integrate Object Constraint Language (OCL) and the RAISE Specification Language (RSL). This is a continuation of our previous work where we have (i) showed how to derive an initial formal specification in RSL from a UML class diagram and (ii) illustrated the use of this mapping via an example. The proposed rules allow transforming OCL expressions into RSL...
In this work, we go a step further in the integration of the RAISE specification language (RSL) and the unified modeling language (UML). On the basis of our previous work -where we showed how to derive an initial formal specification in RSL from a UML class diagram-we propose here the use of set of rules to transform object constraint language (OCL) expressions into RSL expressions. Class diagrams...
Workflow (Wf) has proven to be technology for the improvement of the businesses process. Interphase 1 of Wf allows the Wf processes definition (WPD). This definition does not have elements for the validation, in addition to the lack of temporal elements for time specifications. Our work approaches the theoretical frame for the WPD validation by means of Petri net with clocks (PNwC). This work presents,...
Profiles allow extend UML vocabulary and the design patterns define a common vocabulary for software designers, therefore it is possible to use profile to define a pattern vocabulary in UML. If profiles are used to represent patterns then it is not required to define a special notation neither a particular CASE tool for patterns (UML tool is used). Three mechanisms are in the profiles: stereotypes,...
The workflow automate the business process of a organization. Software process engineering metamodel (SPEM) is a standard as a specification of any software development process. In particular, the software development processes are business process. This work proposes a solution to automate the management of activities of a software development process specified by SPEM. The SPEM activities are transformed...
In this paper, we present a framework to face "risk management" in the context of software projects from an alternative perspective. We describe some controversial point of view both from academia and from real world software projects experiences. We point out that, according to our experience for last ten years, most "risks" arise from dealing with project environment changes...
Different areas of business administration are influenced by a great variety of that allow the structured decision process to produce information in order to optimize it, becoming this production a fundamental element of the business intelligence. Business intelligence is part of the software engineering which is closer to strategic business administration. These tools, like the information systems...
Cyanobacteria, mosses and lichens are the main components of biological soil crusts that cover extensive areas of cold and hot deserts. Approximately 50 species of cyanobacteria, 52 species of mosses and 34 species of lichens have been described from North American deserts. We collected samples of biological crusts from 87 sites in the rainshadow desert of Tehuacán, Puebla, central Mexico, to compare...
Natural language requirements models are useful during the first stages of software development. Formal methods help to increase software quality and reliability. In order to take advantage of both of them, we propose a requirements definition strategy which integrates them. We present in this paper the formalisation of a semiautomatic strategy to derive the types of a first initial specification...
In this paper we are presenting a general scheme proposal to be used as a preliminary financial feasibility analysis tool in complex software projects. We present our scheme proposal applied to a real world example. Before facing any real world software project, a sort of outline financial estimation is needed in order to evaluate if further talks and tasks have sense. This preliminary financial estimation...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.