Service-based software systems are a useful concept recently developed to support the development of systems offering functions (the so-called services) which may be interrelated or may mutually depend on each other. Although appealing from a practical point of view, the development of service-based software for security-critical systems is, unfortunately, not well understood. Services may easily interact with each other in a way which may have unforeseen consequences on the various security properties provided. In this work, we propose a method for facilitating the development of security-critical service-based software systems using the computer-aided systems engineering tool AutoFocus based on the formal method Focus. We explain our method at the example of a service-based system from the automotive domain.
Most development projects have very complex dependencies regarding the tasks to accomplish. Process models offer the chance to incorporate the knowledge of many project managers into active projects. Bridging the gap between process models and project plans by defining such models precisely seems to be beneficial. In this paper, we show the benefits and highlight some of the interesting problems of integrating process modeling and project planning. We introduce metamodeling techniques to constrain the instantiation of the process model, so that structural aspects of the process plan can be derived. A small, consistent example is used throughout the paper to illustrate our approach.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.