Recent security breaches show the need to secure large, distributed, complex systems. A fundamental, but little discussed aspect of security is how to evaluate when a complete system is secure. Purely formal methods cannot handle this level of complexity. Code checking does not consider the interaction of separate modules working together and is hard to scale. Model-based approaches, such as pa...

Currently, literature on organizational boundaries is at the center of a heated debate, characterized by a shift from a transactional approach to a broader immaterial perspective centered on the concept of boundless organizations. However, the overestimation of the effects of contemporary dematerialization on business processes can lead to the progressive neglect of the existence of corporate b...

nowadays the position of the renewable energy is so important because of the environment pollution and the limitation of fossil fuels in the world. energy can be generated more and more by the renewable sources, but the fossil fuels are non-renewable. one of the most important renewable sources is the wind energy. the wind energy is an appropriate alternative source of fossil fuel. the replacem...

When designing and implementing real world ambient intelligent systems we are in need of applicable information systems engineering methods. The tools we find in the intelligent systems area focus on the knowledge engineering parts, whereas traditional software engineering techniques are usually not designed with the peculiarities of intelligent systems design in mind. This holds in particular ...

Patterns such as problem frames and architectural styles are used here to support the formal specification and the development of information systems. New problem frames specific to information systems are proposed to describe identified sub-problems and to help the formal specification task. Recomposition is achieved through a component based approach and an architectural style that puts toget...

Purpose While service-dominant logic proposes that all “Goods are a distribution mechanism for service provision” (FP3), there is a need to understand when and why a firm would utilise direct or indirect (goods) service provision, and the interactions between them, to co-create value with the customer. Methodology/ Approach Three longitudinal case studies in B2B equipment-based ‘complex service...