A TRANSFORMATION-BASED COMPONENT FRAMEWORK FOR A GENERIC INTEGRATED MODELING TECHNIQUE.
Saved in:
| Title: | A TRANSFORMATION-BASED COMPONENT FRAMEWORK FOR A GENERIC INTEGRATED MODELING TECHNIQUE. |
|---|---|
| Authors: | Ehrig, Hartmut1 ehrig@cs.tu-berlin.de, Orejas, Fernando2 orejas@Isi.upc.es, Braatz, Benjamin1 bbraatz@cs.tu-berlin.de, Klein, Markus1 klein@cs.tu-berlin.de, Piirainen, Martti1 martti@cs.tu-berlin.de |
| Source: | Journal of Integrated Design & Process Science. Dec2002, Vol. 6 Issue 4, p78. 27p. |
| Subjects: | Information theory, Component software, Computer simulation, Semantic networks (Information theory), Java programming language |
| Abstract: | This paper is based on two general ideas. The first one is the integration paradigm for data type and process modeling techniques developed by the first two authors within the last five years. The second one is a transformation-based component framework for system modeling presented at ETAPS 2002 in Grenoble. The aim of this paper is to join both ideas leading to a component framework for a generic integrated modeling technique. This component framework is based on transformations and is especially useful to be instantiated by graph-and net-based techniques. The main concepts are a self-contained semantics and internal correctness of components, based on a new idea of high-level constraints. Two main results concerning compositionality show that semantics and correctness for a system can be inferred from that of its components. The concepts are illustrated by a running example on modeling Java threads by high-level nets. [ABSTRACT FROM AUTHOR] |
| Copyright of Journal of Integrated Design & Process Science is the property of Sage Publications Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 10812059 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: A TRANSFORMATION-BASED COMPONENT FRAMEWORK FOR A GENERIC INTEGRATED MODELING TECHNIQUE. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ehrig%2C+Hartmut%22">Ehrig, Hartmut</searchLink><relatesTo>1</relatesTo><i> ehrig@cs.tu-berlin.de</i><br /><searchLink fieldCode="AR" term="%22Orejas%2C+Fernando%22">Orejas, Fernando</searchLink><relatesTo>2</relatesTo><i> orejas@Isi.upc.es</i><br /><searchLink fieldCode="AR" term="%22Braatz%2C+Benjamin%22">Braatz, Benjamin</searchLink><relatesTo>1</relatesTo><i> bbraatz@cs.tu-berlin.de</i><br /><searchLink fieldCode="AR" term="%22Klein%2C+Markus%22">Klein, Markus</searchLink><relatesTo>1</relatesTo><i> klein@cs.tu-berlin.de</i><br /><searchLink fieldCode="AR" term="%22Piirainen%2C+Martti%22">Piirainen, Martti</searchLink><relatesTo>1</relatesTo><i> martti@cs.tu-berlin.de</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Journal+of+Integrated+Design+%26+Process+Science%22">Journal of Integrated Design & Process Science</searchLink>. Dec2002, Vol. 6 Issue 4, p78. 27p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Information+theory%22">Information theory</searchLink><br /><searchLink fieldCode="DE" term="%22Component+software%22">Component software</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+simulation%22">Computer simulation</searchLink><br /><searchLink fieldCode="DE" term="%22Semantic+networks+%28Information+theory%29%22">Semantic networks (Information theory)</searchLink><br /><searchLink fieldCode="DE" term="%22Java+programming+language%22">Java programming language</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: This paper is based on two general ideas. The first one is the integration paradigm for data type and process modeling techniques developed by the first two authors within the last five years. The second one is a transformation-based component framework for system modeling presented at ETAPS 2002 in Grenoble. The aim of this paper is to join both ideas leading to a component framework for a generic integrated modeling technique. This component framework is based on transformations and is especially useful to be instantiated by graph-and net-based techniques. The main concepts are a self-contained semantics and internal correctness of components, based on a new idea of high-level constraints. Two main results concerning compositionality show that semantics and correctness for a system can be inferred from that of its components. The concepts are illustrated by a running example on modeling Java threads by high-level nets. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Journal of Integrated Design & Process Science is the property of Sage Publications Inc. and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=10812059 |
| RecordInfo | BibRecord: BibEntity: Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 27 StartPage: 78 Subjects: – SubjectFull: Information theory Type: general – SubjectFull: Component software Type: general – SubjectFull: Computer simulation Type: general – SubjectFull: Semantic networks (Information theory) Type: general – SubjectFull: Java programming language Type: general Titles: – TitleFull: A TRANSFORMATION-BASED COMPONENT FRAMEWORK FOR A GENERIC INTEGRATED MODELING TECHNIQUE. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ehrig, Hartmut – PersonEntity: Name: NameFull: Orejas, Fernando – PersonEntity: Name: NameFull: Braatz, Benjamin – PersonEntity: Name: NameFull: Klein, Markus – PersonEntity: Name: NameFull: Piirainen, Martti IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 12 Text: Dec2002 Type: published Y: 2002 Identifiers: – Type: issn-print Value: 10920617 Numbering: – Type: volume Value: 6 – Type: issue Value: 4 Titles: – TitleFull: Journal of Integrated Design & Process Science Type: main |
| ResultId | 1 |
