MC-CDMA Systems: a General Framework for Performance Evaluation with Linear Equalization

Non

A PROPOSAL FOR THE MANAGEMENT OF HUMAN COMPETENCES FOR SUSTAINABILITY

Considering the discussion regarding the need to promote and develop sustainability in organisations, this study aims to propose the management of human competences for sustainability. The study comprises two phases. First, after reviewing the theories and concepts related to competences and their relationship with sustainability in organisations, we defined six specific human competences. In the second phase, to ascertain the adherence of this set of competences in the organisations, two studies were conducted in companies that are recognized for their actions focused on sustainability and competences management. The evidence reinforces that the competence-based approach represents an appropriate perspective that strategicly drives sustainability management in organisations. As a proposal, the following aspects were defined based on a guiding model: what is the competence-based management model suitable for, how it will be developed, formatted and used

A Study on the Usage of the BPMN Notation for Designing Process Collaboration, Choreography, and Conversation Models

Being widely accepted by industries and academia, Business Process Model and Notation (BPMN) is the de facto standard for business process modeling. However, the large number of notation elements it introduces makes its use quite complex. This work investigates the usage of the BPMN notation by analyzing 54,500 models harvested from seven online collections. The study considers different model types introduced by the standard, such as process collaboration, choreography, and conversation. The analyses focus on the syntactic dimension of BPMN, investigating the usage of BPMN elements and their combinations. Syntactic violations of the standard, and of good modeling practices, are also investigated as well as possible relations with BPMN elements and modeling tools. The results of the study can guide further activities of educators, practitioners, researchers, and standardization bodies

Collaboration vs. choreography conformance in BPMN

The BPMN 2.0 standard is a widely used semi-formal notation to model distributed information systems from different perspectives. The standard makes available a set of diagrams to represent such perspectives. Choreography diagrams represent global constraints concerning the interactions among system components without exposing their internal structure. Collaboration diagrams instead permit to depict the internal behaviour of a component, also referred as process, when integrated with others so to represent a possible implementation of the distributed system. This paper proposes a design methodology and a formal framework for checking conformance of choreographies against collaborations. In particular, the paper presents a direct formal operational semantics for both BPMN choreography and collaboration diagrams. Conformance aspects are proposed through two relations defined on top of the defined semantics. The approach benefits from the availability of a tool we have developed, named C4, that permits to experiment the theoretical framework in practical contexts. The objective here is to make the exploited formal methods transparent to system designers, thus fostering a wider adoption by practitioners

Reinforcing Innovation Effectiveness. A New Methodological Approach for Policy Evaluation

Innovation is considered an important competitiveness factor for companies and a source of wealth for economies. Therefore it is an important subject of policy intervention and regional development. The understanding of what innovation is has evolved in the past decades away from a purely technological definition – of new products and processes introduced on the market, to a wider one including organizational and marketing aspects or incremental innovation in low tech production companies and more recently, innovation in services (European Commission, 2008). Today, innovation is present in the discourse of politicians and business leaders. They see innovation as a positive value and as a solution to solve social problems and company’s competitiveness, so organizations are encouraged to adopt innovative practices through incentives and innovation policies. The main purpose of this paper is to propose a new methodological approach for public policy supporting innovation evaluation in a territorial based analysis. A new methodology which intended to contribute to strengthen and reinforcing the innovation effectiveness in firms and territory development resulting from support of public mechanisms

BProVe: Tool support for business process verification

This demo introduces BProVe, a tool supporting automated verification of Business Process models. BProVe analysis is based on a formal operational semantics defined for the BPMN 2.0 modelling language, and is provided as a freely accessible service that uses open standard formats as input data. Furthermore a plug-in for the Eclipse platform has been developed making available a tool chain supporting users in modelling and visualising, in a friendly manner, the results of the verification. Finally we have conducted a validation through more than one thousand models, showing the effectiveness of our verification tool in practice

BProVe: A formal verification framework for business process models

Business Process Modelling has acquired increasing relevance in software development. Available notations, such as BPMN, permit to describe activities of complex organisations. On the one hand, this shortens the communication gap between domain experts and IT specialists. On the other hand, this permits to clarify the characteristics of software systems introduced to provide automatic support for such activities. Nevertheless, the lack of formal semantics hinders the automatic verification of relevant properties. This paper presents a novel verification framework for BPMN 2.0, called BProVe. It is based on an operational semantics, implemented using MAUDE, devised to make the verification general and effective. A complete tool chain, based on the Eclipse modelling environment, allows for rigorous modelling and analysis of Business Processes. The approach has been validated using more than one thousand models available on a publicly accessible repository. Besides showing the performance of BProVe, this validation demonstrates its practical benefits in identifying correctness issues in real models