Sensapp as a reference platform to support cloud experiments: From the internet of things to the internet of services
The Cloud-computing paradigm was considered as a revolution. Thanks to the abstraction of
computing resources" in the clouds" this paradigm provides" anything" as a service, on a pay …
computing resources" in the clouds" this paradigm provides" anything" as a service, on a pay …
[图书][B] Aspect-oriented security hardening of UML design models
In the coming years, information technology will continue to transform the way we think,
work, communicate, and learn. The tremendous success of Internet-related technologies …
work, communicate, and learn. The tremendous success of Internet-related technologies …
“Adore”, a logical meta-model supporting business process evolution
S Mosser, M Blay-Fornarino - Science of Computer Programming, 2013 - Elsevier
The Service Oriented Architecture (Soa) paradigm supports the assembly of atomic services
to create applications that implement complex business processes. Since “real-life” …
to create applications that implement complex business processes. Since “real-life” …
Advances in behavior modeling
E Roubtsova - Advances in Computers, 2015 - Elsevier
This chapter provides a survey of existing approaches to discrete event behavior modeling.
The comparison is based on the selected set of semantic elements useful for the major …
The comparison is based on the selected set of semantic elements useful for the major …
Generation of conjoint domain models for system-of-systems
D Dhungana, A Falkner, A Haselböck - Proceedings of the 12th …, 2013 - dl.acm.org
Software solutions in complex environments, such as railway control systems or power
plants, are assemblies of heterogeneous components, which are very large and complex …
plants, are assemblies of heterogeneous components, which are very large and complex …
From Value Streams and Capability Maps to Protocol Models and Back
E Roubtsova - International Symposium on Business Modeling and …, 2024 - Springer
Abstract Value Streams with supporting Capability Maps are a popular trend in modern
enterprise architecture design. However, the existing definition of a capability as a collection …
enterprise architecture design. However, the existing definition of a capability as a collection …
Weaving semantic aspects in HiLA
G Zhang, M Hölzl - Proceedings of the 11th annual international …, 2012 - dl.acm.org
UML state machines are widely used for modeling software behavior. Due to the low-level
character of the language, UML state machines are often poorly modularized and hard to …
character of the language, UML state machines are often poorly modularized and hard to …
Provably correct aspect-oriented modeling with UPPAAL timed automata
This chapter presents a method for constructing formal aspect-oriented models whose
correctness is assured by construction. The chapter revisits the principles of aspect-oriented …
correctness is assured by construction. The chapter revisits the principles of aspect-oriented …
Model-Driven Aspect-Oriented Software Security Hardening
D Mouheb - 2012 - spectrum.library.concordia.ca
Security is of paramount importance in software engineering. Nevertheless, security
solutions are generally fitted into existing software as an afterthought phase of the …
solutions are generally fitted into existing software as an afterthought phase of the …