A software engineering environment for modeling and developing knowledge-intensive systems
One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are info...
Gespeichert in:
| Veröffentlicht in: | Fourth International Conference on Software Engineering and Knowledge Engineering : proceedings S. 519 - 533 |
|---|---|
| Hauptverfasser: | , , |
| Format: | Tagungsbericht Journal Article |
| Sprache: | Englisch |
| Veröffentlicht: |
IEEE Comput. Soc. Press
1992
|
| Schlagworte: | |
| ISBN: | 9780818628306, 0818628308 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | One of the issues in current software engineering research is the formalization of the production of large-scale software systems. Basically, the knowledge about a production process relies on three models: the product, the organization and the process model. Product and organization models are information models: an extended entity-relationship formalism is suitable to build such models. On the other hand, process models are behavioral models which react to temporal events or to user actions on the repository. The authors' research aims at providing conceptual models which support the construction of rigorous and verifiable organization and process models. They have developed two formalisms: Quid for building E-R models and generating the corresponding repository, and Protob for expressing process models in terms of high level nets. This paper illustrates the formalisms and present examples of process models.< > |
|---|---|
| Bibliographie: | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| ISBN: | 9780818628306 0818628308 |
| DOI: | 10.1109/SEKE.1992.227909 |