![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Chapter and Conference Paper
A multi-agent approach for modelling, enacting and evolving distributed cooperative software processes
-
Chapter and Conference Paper
Managing consistency in cooperating software processes
Software engineering involves both engineers and software tools that cooperatively carry out long-running and distributed process elements in order to achieve project goals. In such an environment, managing in...
-
Chapter and Conference Paper
Fuzzy indicators for monitoring software processes
This paper addresses the issue of monitoring software-intensive processes, focusing on detection of deviations that might appear between the actual enacting process and the process enactment plan. The formalis...
-
Chapter and Conference Paper
Advanced services for process evolution: Monitoring and decision support
Process support environments (PSEs) are widely used for modelling, enacting and analyzing human intensive processes. The benefits of a PSE become apparent when processes to be supported are long lived and dist...
-
Chapter and Conference Paper
Monitoring Software Process Interactions: A Logic-Based Approach
Due to distribution, complexity, heterogeneity and time consumption of nowadays processes, interaction of process elements has become a key issue to monitor. Process support environments are required that allo...
-
Chapter and Conference Paper
SysADL: A SysML Profile for Software Architecture Description
In this paper we propose SysADL, a SysML profile for expressing architecture descriptions using the well-known and consolidated abstractions from the ADL community. We present the SysADL constructs for describ...
-
Chapter and Conference Paper
Composition-Centered Architectural Pattern Description Language
Architectural patterns are important artefacts containing specialized design knowledge to build good-quality systems. Complex systems often exhibit several architectural patterns in their design which leads to...
-
Chapter and Conference Paper
Towards a Process to Design Architectures of Service-Oriented Robotic Systems
Robots have supported several areas of society, making daily tasks easier and executing dangerous, complex activities. The increasing demand and complexity of these robots have challenged the design of robotic...
-
Chapter and Conference Paper
Architecture-Based Code Generation: From π-ADL Architecture Descriptions to Implementations in the Go Language
Architecture description languages (ADLs) should consider both structural and runtime perspectives of software architectures, an important requirement for current software systems. However, most existing ADLs ...
-
Chapter and Conference Paper
Executing Software Architecture Descriptions with SysADL
Most Software Architecture Description Languages (ADLs) lack explicit support for executing an architecture description. In the execution view, the runtime behavior of an architecture is simulated to validate ...
-
Chapter and Conference Paper
Statistical Model Checking of Dynamic Software Architectures
The critical nature of many complex software-intensive systems calls for formal, rigorous architecture descriptions as means of supporting automated verification and enforcement of architectural properties and...
-
Chapter and Conference Paper
Formal Verification of Software-Intensive Systems Architectures Described with Pi** and Instrumentation Diagrams
Socio-technical systems are increasingly becoming software-intensive. The challenge now is to design the architecture of such software-intensive systems for guaranteeing not only its correctness, but also the ...
-
Chapter and Conference Paper
Software Architecture Challenges and Emerging Research in Software-Intensive Systems-of-Systems
Software-intensive systems are often independently developed, operated, managed, and evolved. Progressively, communication networks enabled these independent systems to interact, yielding a new kind of complex...