| Bibliographic Citation | |
| Full Text |
loading...
|
|---|---|
| Title | An algebraic approach to modeling in software engineering |
| Creator/Author | Loegel, G.J. [Superconducting Super Collider Lab., Dallas, TX (United States)]|[Michigan Univ., Ann Arbor, MI (United States)] ; Ravishankar, C.V. [Michigan Univ., Ann Arbor, MI (United States)] |
| Publication Date | 1993 Sep 01 |
| OSTI Identifier | OSTI ID: 10186325; Legacy ID: DE94001094 |
| Report Number(s) | SSCL-Preprint--405; CONF-9306272--1 |
| DOE Contract Number | AC35-89ER40486 |
| Other Number(s) | Other: ON: DE94001094 |
| Resource Type | Conference |
| Specific Type | Technical Report |
| Resource Relation | Conference: AMAST `93: algebraic methodology and softward technology conference,Enschede (Netherlands),21-25 Jun 1993; Other Information: PBD: Sep 1993 |
| Research Org | Superconducting Super Collider Lab., Dallas, TX (United States) |
| Sponsoring Org | USDOE, Washington, DC (United States) |
| Subject | 99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; 43 PARTICLE ACCELERATORS; PROGRAMMING; ALGEBRA; SUPERCONDUCTING SUPER COLLIDER; ELECTRICAL ENGINEERING; MATHEMATICAL MODELS; DESIGN |
| Description/Abstract | Our work couples the formalism of universal algebras with the engineering techniques of mathematical modeling to develop a new approach to the software engineering process. Our purpose in using this combination is twofold. First, abstract data types and their specification using universal algebras can be considered a common point between the practical requirements of software engineering and the formal specification of software systems. Second, mathematical modeling principles provide us with a means for effectively analyzing real-world systems. We first use modeling techniques to analyze a system and then represent the analysis using universal algebras. The rest of the software engineering process exploits properties of universal algebras that preserve the structure of our original model. This paper describes our software engineering process and our experience using it on both research and commercial systems. We need a new approach because current software engineering practices often deliver software that is difficult to develop and maintain. Formal software engineering approaches use universal algebras to describe ``computer science`` objects like abstract data types, but in practice software errors are often caused because ``real-world`` objects are improperly modeled. There is a large semantic gap between the customer`s objects and abstract data types. In contrast, mathematical modeling uses engineering techniques to construct valid models for real-world systems, but these models are often implemented in an ad hoc manner. A combination of the best features of both approaches would enable software engineering to formally specify and develop software systems that better model real systems. Software engineering, like mathematical modeling, should concern itself first and foremost with understanding a real system and its behavior under given circumstances, and then with expressing this knowledge in an executable form. |
| Country of Publication | United States |
| Language | English |
| Format | Medium: ED; Size: 9 p. |
| Availability | INIS; OSTI as DE94001094; Paper copy available at OSTI: phone, 865-576-8401, or email, reports@adonis.osti.gov To purchase this media from NTIS, click here |
| System Entry Date | 2008 Feb 12 |
| Document Discussions | |
Top | |
