liu.seSearch for publications in DiVA
Change search
Link to record
Permanent link

Direct link
BETA
Assmann, Uwe
Publications (10 of 19) Show all publications
Assmann, U., Henriksson, J. & Maluszynski, J. (2006). Combining safe rules and ontologies by interfacing of reasoners. In: Jóse Júlio Alferes, James Bailey, Wolfgang May and Uta Schwertel (Ed.), Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers: (pp. 33-47). Springer Berlin/Heidelberg, 4187
Open this publication in new window or tab >>Combining safe rules and ontologies by interfacing of reasoners
2006 (English)In: Principles and Practice of Semantic Web Reasoning 4th International Workshop, PPSWR 2006, Budva, Montenegro, June 10-11, 2006, Revised Selected Papers / [ed] Jóse Júlio Alferes, James Bailey, Wolfgang May and Uta Schwertel, Springer Berlin/Heidelberg, 2006, Vol. 4187, p. 33-47Chapter in book (Refereed)
Abstract [en]

The paper presents a framework for hybrid combination of rule languages with constraint languages including but not restricted to Description-Logic-based ontology languages. It shows how reasoning in a combined language can be done by interfacing reasoners of the component languages. A prototype system based on the presented principle integrates Datalog with OWL by interfacing XSB Prolog [2] with a DIG-compliant [1] DL reasoner (e.g. Racer [17]).

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2006
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 4187
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-48048 (URN)10.1007/11853107_3 (DOI)3-540-39586-5 (ISBN)978-3-540-39586-7 (ISBN)
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2018-02-12Bibliographically approved
Assmann, U. (2005). Architectural styles for active documents. Science of Computer Programming, 56(1-2), 79-98
Open this publication in new window or tab >>Architectural styles for active documents
2005 (English)In: Science of Computer Programming, ISSN 0167-6423, E-ISSN 1872-7964, Vol. 56, no 1-2, p. 79-98Article in journal (Refereed) Published
Abstract [en]

This paper proposes several novel architectural styles for active documents. Active documents are documents that contain not only data, but also servlets, applets, expressions in spreadsheet languages, and other forms of software. To grasp the different forms of architectures, several novel concepts are defined. Invasive document composition is a type-safe form of template expansion and extension, transconsistency is a form of transclusion for architectures, and staged architectures provide a form of staged programming on the architectural level. With these concepts, it is possible to explain the architectures of many document processing applications for Web and office, and we define the architectural styles of wizard-parametrized, script-parametrized, transconsistent, stream-based, and staged active documents. Finally, we give a hypothesis of active document composition: it consists of four elements, namely, explicit architecture, invasiveness, transconsistency, and staging. On the basis of this hypothesis, many applications in Web engineering and document processing get a common background, and can be compared and simplified. © 2004 Elsevier B.V. All rights reserved.

National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-45485 (URN)10.1016/j.scico.2004.11.006 (DOI)
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2017-12-13
Pop, A. D., Savga, I., Assmann, U. & Fritzson, P. (2005). Composition of XML Dialects: A ModelicaXML Case Study. Electronical Notes in Theoretical Computer Science, 114(SPEC. ISS.), 137-152
Open this publication in new window or tab >>Composition of XML Dialects: A ModelicaXML Case Study
2005 (English)In: Electronical Notes in Theoretical Computer Science, ISSN 1571-0661, E-ISSN 1571-0661, Vol. 114, no SPEC. ISS., p. 137-152Article in journal (Refereed) Published
Abstract [en]

This paper investigates how software composition and transformation can be applied to domain specific languages used today in modeling and simulation of physical systems. More specifically, we address the composition and transformation of the Modelica language. The composition targets the ModelicaXML dialect which is the XML representation of the Modelica language. By extending the COMPOST concrete composition layer with a component model for Modelica, we provide composition and transformation of Modelica. The design of our COMPOST extension is presented togheter with examples of composition programs for Modelica.

Keywords
Composition of XML dialects, COMPOST, Domain Specific Languages, Modelica, ModelicaXML, XML
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-45526 (URN)10.1016/j.entcs.2004.02.071 (DOI)
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2017-12-13
Pop, A. D., Savga, I., Assmann, U. & Fritzson, P. (2004). Composition of XML dialects: A ModelicaXML case study. In: : . Paper presented at European Joint Conferences on Theory and Practice of Software ETAPS04,2004.
Open this publication in new window or tab >>Composition of XML dialects: A ModelicaXML case study
2004 (English)Conference paper, Published paper (Refereed)
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-22646 (URN)1932 (Local ID)1932 (Archive number)1932 (OAI)
Conference
European Joint Conferences on Theory and Practice of Software ETAPS04,2004
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2018-01-13
Henriksson, A., Assmann, U. & Hunt, J. (2004). Improving Software Quality in Safety-Critical Applications by Model-Driven Design Verification. In: Ninth International Workshop on Formal Methods for Industrial Critical Systems FMICS 04,2004. Austria: Elsevier
Open this publication in new window or tab >>Improving Software Quality in Safety-Critical Applications by Model-Driven Design Verification
2004 (English)In: Ninth International Workshop on Formal Methods for Industrial Critical Systems FMICS 04,2004, Austria: Elsevier , 2004Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Austria: Elsevier, 2004
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-23096 (URN)2493 (Local ID)2493 (Archive number)2493 (OAI)
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2018-01-13
Assmann, U. & Lövdahl, J. (2004). Integrating graph rewriting and standard software tools. In: John L. Pfaltz, Manfred Nagl and Boris Böhlen (Ed.), Applications of Graph Transformations with Industrial Relevance Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers: (pp. 134-148). Springer Berlin/Heidelberg, 3062
Open this publication in new window or tab >>Integrating graph rewriting and standard software tools
2004 (English)In: Applications of Graph Transformations with Industrial Relevance Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / [ed] John L. Pfaltz, Manfred Nagl and Boris Böhlen, Springer Berlin/Heidelberg, 2004, Vol. 3062, p. 134-148Chapter in book (Refereed)
Abstract [en]

OptimixJ is a graph rewrite tool that can be embedded easily into the standard software process. Applications and models can be developed in Java or UML and extended by graph rewrite systems. We discuss how OptimixJ solves several problems that arise: the model-ownership problem, the embedded graphs problem, the library adaptation problem, and the target code encapsulation problem. We also show how the tool can be adapted to host language extensions or to new host languages in a very simple way, relying on the criterion of sublanguage projection. This reduces the effort for adapting OptimixJ to other host languages considerably.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2004
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 3062
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-48324 (URN)10.1007/978-3-540-25959-6_10 (DOI)3-540-22120-4 (ISBN)978-3-5402-2120-3 (ISBN)
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2018-01-31Bibliographically approved
Assmann, U. (2004). MDA - Foundations and Applications (MDAFA) 2004. In: MDA - Foundations and Applications MDAFA 2004,2004. Linköping, Sweden: Linköpings universitet
Open this publication in new window or tab >>MDA - Foundations and Applications (MDAFA) 2004
2004 (English)In: MDA - Foundations and Applications MDAFA 2004,2004, Linköping, Sweden: Linköpings universitet , 2004Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Linköping, Sweden: Linköpings universitet, 2004
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-23097 (URN)2494 (Local ID)2494 (Archive number)2494 (OAI)
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2018-01-13
Assmann, U., Pulvermüller, E., Cointe, P., Bouraquadi, N. & Cointe, I. (2004). Proceedings of Software Composition (SC) -- Workshop at ETAPS 2004. In: Workshop at ETAPS 2004,2004. Spain: Electronic Transactions of Theoretical Computer Science ENTCS
Open this publication in new window or tab >>Proceedings of Software Composition (SC) -- Workshop at ETAPS 2004
Show others...
2004 (English)In: Workshop at ETAPS 2004,2004, Spain: Electronic Transactions of Theoretical Computer Science ENTCS , 2004Conference paper, Published paper (Refereed)
Place, publisher, year, edition, pages
Spain: Electronic Transactions of Theoretical Computer Science ENTCS, 2004
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-23092 (URN)2486 (Local ID)2486 (Archive number)2486 (OAI)
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2018-01-13
Gustavsson, J., Staijen, T. & Assmann, U. (2004). Runtime Evolution as an Aspect. In: First International Workshop on Foundations ofUnanticipated Software Evolution,2004.
Open this publication in new window or tab >>Runtime Evolution as an Aspect
2004 (English)In: First International Workshop on Foundations ofUnanticipated Software Evolution,2004, 2004Conference paper, Published paper (Refereed)
National Category
Computer Sciences
Identifiers
urn:nbn:se:liu:diva-22639 (URN)1925 (Local ID)1925 (Archive number)1925 (OAI)
Available from: 2009-10-07 Created: 2009-10-07 Last updated: 2018-01-13
Assmann, U. & Lövdahl, J. (2003). A demo of OptimixJ. In: John L. Pfaltz, Manfred Nagl and Boris Böhlen (Ed.), Applications of Graph Transformations with Industrial Relevance Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers: (pp. 468-472). Springer Berlin/Heidelberg, 3062
Open this publication in new window or tab >>A demo of OptimixJ
2003 (English)In: Applications of Graph Transformations with Industrial Relevance Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers / [ed] John L. Pfaltz, Manfred Nagl and Boris Böhlen, Springer Berlin/Heidelberg, 2003, Vol. 3062, p. 468-472Chapter in book (Refereed)
Abstract [en]

OptimixJ is a graph rewrite tool that generates Java code from rewrite specifications. Java classes are treated as graph schemas, enabling OptimixJ to extend legacy Java applications through code weaving in a simple way. The demo shows how OptimixJ has been used to implement graph rewriting for RDF/XML documents in the context of the Semantic Web.

Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2003
Series
Lecture Notes in Computer Science, ISSN 0302-9743, E-ISSN 1611-3349 ; 3062
National Category
Engineering and Technology
Identifiers
urn:nbn:se:liu:diva-48325 (URN)10.1007/978-3-540-25959-6_38 (DOI)3-540-22120-4 (ISBN)978-3-5402-2120-3 (ISBN)
Available from: 2009-10-11 Created: 2009-10-11 Last updated: 2018-02-08Bibliographically approved
Organisations

Search in DiVA

Show all publications