Communications of the ACM
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
DIPES '98 Proceedings of the IFIP WG10.3/WG10.5 international workshop on Distributed and parallel embedded systems
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Specification and development of interactive systems: focus on streams, interfaces, and refinement
Writing Effective Use Cases
Formal Modelling of Services for Getting a Better Understanding of the Feature Interaction Problem
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
An experiment in feature engineering
Programming methodology
Requirements for Evolving Systems: A Telecommunications Perspective
RE '01 Proceedings of the Fifth IEEE International Symposium on Requirements Engineering
Component coordination: a telecommunication case study
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
A semantic and methodological essence of message sequence charts
Science of Computer Programming
Automated analysis of feature models: challenges ahead
Communications of the ACM - Software product line
ACM Transactions on Software Engineering and Methodology (TOSEM)
Audio feature interactions in Voice-over-IP
Proceedings of the 1st international conference on Principles, systems and applications of IP telecommunications
Aspect-oriented software development
Aspect-oriented software development
Towards compositional synthesis of evolving systems
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
Experience with component-based development of a telecommunication service
CBSE'05 Proceedings of the 8th international conference on Component-Based Software Engineering
Proceedings of the 15th International Software Product Line Conference, Volume 2
Using domain features to handle feature interactions
Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems
Behavioral Refinement and Compatibility of Statechart Extensions
Electronic Notes in Theoretical Computer Science (ENTCS)
Behavioral refinement of non-deterministic state transition diagrams based on behavior elimination
Proceedings of the 17th International Software Product Line Conference co-located workshops
Functional safety based on a system reference model
ASSC '12 Proceedings of the Australian System Safety Conference - Volume 145
Hi-index | 0.00 |
This paper deals with the structured specification of interface behavior of multifunctional systems, which are systems that offer a variety of functions for different purposes and use cases. It introduces a theory and first concepts of a methodology for the identification, structured modeling, and formalization of functional requirements of multifunctional systems. Service hierarchies specify multifunctional systems in terms of their provided sub-functions called services together with their mutual relationships and dependencies. A service hierarchy describes the functionality of multifunctional systems in a structured way. Each service is specified independently and the specification is added to the service hierarchy. Modes help to specify the feature interactions and by that functional dependencies between the services. The approach is based on the Focus theory for modeling interface behavior and services.