Fighting Complexity in Computer Systems

Stoyen, Alexander D.

doi:10.1109/mc.1997.607062

Cited by 6 publications

(3 citation statements)

References 1 publication

Supporting

Mentioning

Contrasting

Order By: Relevance

“…5 Given the specific settings here, a suitable refinement mapping from the states of the cross-product M to each individual contract protocol M 1 to M n may be derived from the contained state of each contract. It ensures that every labelled step of the component behavior is conform with a corresponding labelled step in the particular contract supporting this label and multiple τ steps in the other ones.…”

Section: Contract Conformancementioning

confidence: 99%

See 1 more Smart Citation

Separation of non-orthogonal concerns in software architecture and design

Giese

Vilbig

2006

Softw Syst Model

View full text Add to dashboard Cite

Separation of concerns represents an important principle for managing complexity in the design and architecture of large component-based software systems. The fundamental approach is to develop local solutions for individual concerns first, and combine them later into an overall solution for the complete system. However, comprehensive support for the integration of interdependent, possibly conflicting concerns related to synchronization behavior is still missing. In our work, we propose a sound solution for this complex type of composition, employing well-known UML description techniques as well as a rigorous formal model of component synchronization behavior. Based on this foundation, we describe a constructive synthesis algorithm which reliably detects conflicting concerns or generates a maximal synchronization behavior for software components with multiple interactions. An optimized implementation of the algorithm has been integrated into a CASE tool to illustrate feasibility and scalability of the presented technique to the example of a moderately large case study.

show abstract

Section: Contract Conformancementioning

confidence: 99%

“…As a consequence, the implementation, maintenance, and evolution of such systems requires enormous efforts. It is therefore necessary to apply additional strategies for "fighting complexity" [5] in software development.…”

Section: Introductionmentioning

confidence: 99%

Separation of non-orthogonal concerns in software architecture and design

Giese

Vilbig

2006

Softw Syst Model

View full text Add to dashboard Cite

show abstract

“…Parnas said, "Complexity is not a goal; I don't want to be remembered as an engineer of complex systems. " Stoyen states that advances in computer hardware (bigger, better, faster) have ironically led to a problematic increase in the complexity of highlevel software applications (Stoyen 1997). He further notes that the "lack of scalable methodologies for construction of large-scale, 'complex' systems and tools that support such methodologies is both well documented and chronic."…”

Section: Background and Motivationmentioning

confidence: 99%

Web-based diagnosis of model specifications

Derrick¹

1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274)

View full text Add to dashboard Cite

Within the domain of Verification, Validation and Accreditation (VV&A) research, the automated diagnosis of model specifications has received little attention. As part of the limited effort focused on this important area, the Condition Specification represents one of the most promising model specification forms that is amenable to diagnosis. In addition, web-based technologies now offer exciting new possibilities to extend our knowledge in this and other areas of simulation research. This paper introduces the SimDOG Project: the development of prototype tools, written in Java, for the on-line and off-line (standalone) diagnosis of graph-based representations of Condition Specifications.

show abstract

Software Fault Tolerance Forestalls Crashes: To Err Is Human; To Forgive Is Fault Tolerant

Bernstein

2003

Advances in Computers

View full text Add to dashboard Cite

Fighting Complexity in Computer Systems

Cited by 6 publications

References 1 publication

Separation of non-orthogonal concerns in software architecture and design

Separation of non-orthogonal concerns in software architecture and design

Web-based diagnosis of model specifications

Software Fault Tolerance Forestalls Crashes: To Err Is Human; To Forgive Is Fault Tolerant

Contact Info

Product

Resources

About