22,026 research outputs found
Fine-grain process modelling
In this paper, we propose the use of fine-grain process
modelling as an aid to software development. We suggest
the use of two levels of granularity, one at the level of the
individual developer and another at the level of the
representation scheme used by that developer. The
advantages of modelling the software development process
at these two levels, we argue, include respectively: (1) the
production of models that better reflect actual
development processes because they are oriented towards
the actors who enact them, and (2) models that are
vehicles for providing guidance because they may be
expressed in terms of the actual representation schemes
employed by those actors. We suggest that our previously
published approach of using multiple âViewPointsâ to
model software development participants, the perspectives
that they hold, the representation schemes that they
deploy and the process models that they maintain, is one
way of supporting the fine-grain modelling we advocate.
We point to some simple, tool-based experiments we have
performed that support our proposition
Semantics of trace relations in requirements models for consistency checking and inferencing
Requirements traceability is the ability to relate requirements back to stakeholders and forward to corresponding design artifacts, code, and test cases. Although considerable research has been devoted to relating requirements in both forward and backward directions, less attention has been paid to relating requirements with other requirements. Relations between requirements influence a number of activities during software development such as consistency checking and change management. In most approaches and tools, there is a lack of precise definition of requirements relations. In this respect, deficient results may be produced. In this paper, we aim at formal definitions of the relation types in order to enable reasoning about requirements relations. We give a requirements metamodel with commonly used relation types. The semantics of the relations is provided with a formalization in first-order logic. We use the formalization for consistency checking of relations and for inferring new relations. A tool has been built to support both reasoning activities. We illustrate our approach in an example which shows that the formal semantics of relation types enables new relations to be inferred and contradicting relations in requirements documents to be determined. The application of requirements reasoning based on formal semantics resolves many of the deficiencies observed in other approaches. Our tool supports better understanding of dependencies between requirements
Variability and Evolution in Systems of Systems
In this position paper (1) we discuss two particular aspects of Systems of
Systems, i.e., variability and evolution. (2) We argue that concepts from
Product Line Engineering and Software Evolution are relevant to Systems of
Systems Engineering. (3) Conversely, concepts from Systems of Systems
Engineering can be helpful in Product Line Engineering and Software Evolution.
Hence, we argue that an exchange of concepts between the disciplines would be
beneficial.Comment: In Proceedings AiSoS 2013, arXiv:1311.319
- âŠ