![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
Automated Toolchain for Enhanced Productivity in Reconfigurable Multi-accelerator Systems
Ease-of-use and faster implementation times are key challenges that the community has to face to extend the use of FPGAs to non-hardware experts. In this paper, these challenges are tackled by integrating ARTICo
-
Chapter and Conference Paper
Hardware/Software Self-adaptation in CPS: The CERBERO Project Approach
Cyber-Physical Systems (CPS) are interconnected devices, reactive and dynamic to sensed external and internal triggers
-
Chapter and Conference Paper
A BPMN Extension for Including Data Quality Requirements in Business Process Modeling
BPMN is a notation for business process modeling through which it is possible to represent multiple characteristics of the analyzed business processes. However, although in a business process data play a funda...
-
Chapter and Conference Paper
Towards Obtaining Analysis-Level Class and Use Case Diagrams from Business Process Models
Nowadays, business process modeling, using industrial standards such as UML or BPMN, offers us a good opportunity to incorporate requirements at high levels of abstraction. In the context of Model Driven Archi...
-
Chapter and Conference Paper
CIM to PIM Transformation: A Reality
Within the scope of MDA, the model transformation is orientated towards solving the problems of time, cost and quality associated with software creation. Moreover, business process modeling, through the use of...
-
Chapter and Conference Paper
M-BPSec: A Method for Security Requirement Elicitation from a UML 2.0 Business Process Specification
The early attainment of requirements in a software development process allows us to improve the quality of the product. Although many methods through which to elicit requirements exist, few of them are specifi...
-
Chapter and Conference Paper
Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases
The software community is currently paying attention to model transformation. The MDA approach is particularly orientated towards solving the problems of time, cost and quality associated with software creatio...
-
Chapter and Conference Paper
Analysis-Level Classes from Secure Business Processes Through Model Transformations
Nowadays, business processes (BP) are important in the maintenance of competitiveness within enterprises. Moreover, security is a crucial issue in business performance. In the last few years, the languages use...
-
Chapter and Conference Paper
Towards a UML 2.0 Extension for the Modeling of Security Requirements in Business Processes
Security is a crucial issue for business performance, but usually, it is considered after the business processes definition. Many security requirements can be expressed at the business process level. A busines...
-
Chapter and Conference Paper
Capturing Security Requirements in Business Processes Through a UML 2.0 Activity Diagrams Profile
Security has become a crucial aspect for the performance of present organizations since the protected object is the mission of them. Therefore, the management approach oriented to business processes has been a...