Tools
TwoUse. Integrated modelling with UML and OWL2.
http://code.google.com/p/twouse
OntoMoPP. Eclipse tools for ontology engineering. Concrete syntaxes for OWL2, SPARQL, SWRL, OWLCL.
http://emftext.org/index.php/EMFText_Concrete_Syntax_Zoo#Ontology_Languages
TrOWL. Tractable reasoning infrastructure for OWL 2 (AGPL licence for open source applications).
http://trowl.eu
OWLText. Syntax- and semantics-enabled metamodelling.
http://emftext.org/index.php/OWLText
DEFT. Development environment for self-updating documentation.
http://deftproject.org
Screencasts
- MOST TOPF. Feature-based custimization of ODSD tool environments from MOST Tool Product Family.
- OWLText. Syntax- and semantics-enabled metamodelling.
- TrOWL. Customization of scalable reasoning infrastructure.
- BPMN Tool. Guidane in the refinement of BPMN process models in ADOxx.
- PDDSL tool. Modelling network devices with a combination of a DSL and OWL2 in ADOxx
Promotional materials
- MOST project fact sheet - information about the project.
- WP1 flyer - information about WP1 Conceptual Integration .
- WP2 flyer - information about WP2 Guidance for the Software Process
- WP3 flyer - information about WP3 Reasoning Technology.
- WP4 flyer - information about WP4 Traceability.
- WP5 flyer - information about WP5 Comarch Case Study.
- WP6 flyer - information about WP6 SAP Case Studies
Old flyers
- WP1 flyer - information about WP1 Conceptual Integration .
- WP2 flyer - information about WP2 Guidance for the Software Process
- WP3 flyer - information about WP3 Reasoning Technology.
- WP4 flyer - information about WP4 Traceability.
- WP5 flyer - information about WP5 Comarch Case Study.
- WP6 flyer - information about WP6 SAP Case Studies
Deliverables
September 2008
- D1.1 Report on the combined
metamodel
- D2.1 Requirements definition and design of ontology-driven software process guidance system
- D3.1 Classification of language hierarchy and complexities
- D5.1 Definition of the case study requirements
- D6.1 Description of functional and non-functional requirements
- D7.5.1 Collaboration Plan
- D8.4 Dissemination and exploitation plan
February 2009
- D1.2 Report on querying the combined metamodel
- D2.2 Modeled Software Guidance/Engineering Processes and Systems
- D3.2 Initial Prototype of Language Transformations
- D3.6 Successful Stories and Potential Patterns on Applying Ontologies in Software Engineering
- D4.1 Taxonomy and Definition of the Explicit
Traceability Information
- D7.1 Market analysis and preparation of marketing and standardization materials
- D7.5.2 Collaboration Plan
September 2009
- D1.3 Report on transformation patterns
- D2.3 Initial prototype of ontology-driven software process guidance system
- D2.5.1 Ontology Services for Model-Driven Software Development
- D3.3 Refinement of language hierarchy (input from use-cases)
- D4.2 Report on Traceability Information
February 2010
- D3.4 Guidance tools for language transformations
- D7.2 Planning and organisation of dissemination activities
- D7.5.3 Collaboration Plan
- D8.4 Dissemination and exploitation plan
May 2011
- D1.4 Revision of the combined metamodel
- D2.4 Final prototype of ontology-driven software
process guidance system
- D3.5 Integration of Transformation and Guidance
Prototypes with Toolset from WP2
- D4.3 Guidelines for Using Traceability Information
- D8.4.5 Dissemination and exploitation plan
Publications
2011
- Christian Wende and Uwe Assmann and Srdjan Zivkovic and Harald Kühn. Feature-based Customisation of Tool Environments for Model-Driven Software Development. In Proceedings of the 15th International Software Product Lines Conference (SPLC 2011), Munich, August 22-26, 2011 (bibtex)
- Jens Lemcke, Andreas Friesen and Tirdad Rahmani. Validating component-based implementations of business processes. Electronic Business Interoperability: Concepts, Opportunities and Challenges (bibtex)
- Srdjan Zivkovic, Krzysztof Miksa and Harald Kühn. A Modelling Method for Consistent Physical Devices Management: An ADOxx Case Study. In Proceedings of the 1st International Workshop on Conceptualization of Modelling Methods (CMM 2011), Colocated with 23rd on Advanced Information Systems Engineering (CAiSE 2011), London 20-24 June 2011 (bibtex)
Publications related to MOST
- Jianfeng Du, Guilin Qi, Yi-Dong Shen and Jeff Z. Pan. Towards Practical ABox Abduction in Large OWL DL Ontologies. The Twenty-Fifth AAAI Conference on Artificial Intelligence (AAAI-11). (bibtex)
- Aidan Hogan, Jeff Z. Pan, Axel Polleres and Yuan Ren. Scalable OWL 2 Reasoning for Linked Data. In Lecture Notes for the Reasoning Web Summer School (presentation, bibtex)
2010
- Gerd Gröoner, Fernando silva Parreiras, and Steen Staab. Semantic Recognition of Ontology Refactoring. In P.F.Patel-Schneider et al., editor, Proc. of the 9th Interational Semantic Web Conference (ISWC), volume 6496 of LNCS, pages 273-288. Springer, 2010. (bibtex)
- Gerd Gröner and Steen Staab. Specialization and Validation of Statecharts in OWL. In Proc. of 17th Int. Conference on Knowledge Engineering and Knowledge Management (EKAW), volume 6317 of LNAI, pages 360-370. Springer, 2010. (bibtex)
- Nophadol Jekjantuk, Gerd Gröner, and Je. Z. Pan. Modelling and reasoning in metamodelling enabled ontologies. In Knowledge Science, Engineering and Management (KSEM) 2010, Belfast, 2010 2010. (bibtex)
- Nophadol Jekjantuk, Gerd Gröner, Je. Z. Pan, and Edward Thomas. Towards hybrid reasoning for verifying and validating multilevel models. In Knowledge Management and Engineering by the Masses, 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11 - 15, 2010. Proceedings, volume 6317 of LNCS. Springer, 2010. (bibtex)
- Nophadol Jekjantuk, Gerd Gröner, Je Z. Pan, and Yuting Zhao. Modelling and validating multilevel models with owl fa. In Proceedings of the 6th International Workshop on Semantic Web Enabled Software Engineering (SWESE2010), 2010. (bibtex)
- Nophadol Jekjantuk, Je Z. Pan, and Gerd Gröoner. Verifying and validating multi-layered models with owl fa toolkit. In Proceedings of 7th the Extended Semantic Web Conference (ESWC2010) (Part II), pages 391-395, 2010. (bibtex)
- Jens Lemcke, Tirdad Rahmani, and Andreas Friesen. Semantic business process engineering. In Uwe Aßmann, Andreas Bartho, and Christian Wende, editors, Reasoning Web, volume 6325 of Lecture Notes in Computer Science, pages 161-181. Springer, 2010. (bibtex)
- Krzysztof Miksa, Pawel Sabina, and Marek Kasztelnik. Combining ontologies with domain specic languages: A case study from network conguration software. In Uwe Amann, Andreas Bartho, and Christian Wende, editors, Reasoning Web. Semantic Technologies for Software Engineering, volume 6325 of Lecture Notes in Computer Science, pages 99-118. Springer Berlin / Heidelberg, 2010. (presentation, bibtex)
- Yuan Ren, Je Z. Pan, and Yuting Zhao. Closed World Reasoning for OWL2 with NBox. Journal of Tsinghua Science and Technology, (6), 2010. (bibtex)
- Yuan Ren, Je Z. Pan, and Yuting Zhao. Closed World Reasoning for OWL2 with Negation As Failure. In 2010 Chinese Semantic Web Symposium (CSWS2010), 2010. (bibtex)
- Yuan Ren, Je Z. Pan, and Yuting Zhao. Soundness Preserving Approximation for TBox Reasoning. In the Proc. of the 25th AAAI Conference Conference (AAAI2010), 2010. (bibtex)
- Federico Rieckhof, Mirko Seifert, and Uwe Amann. Ontology-based Model Synchronisation. In Fernando Silva Parreiras, Je Z. Pan, and Uwe Assmann, editors, TWOMDE 2010, 2010. (presentation, bibtex)
- Hannes Schwarz and Jürgen Ebert. Bridging Query Languages in Semantic and Graph Technologies. In Reasoning Web-Semantic Technologies for Software Engineering - 6th International Summer School 2010, volume 6325, pages 119-160. Springer, 2010. (presentation, bibtex)
- Hannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, and Srdjan Zivkovic. Using Expressive Traceability Relationships for Ensuring Consistent Process Model Renement. In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, pages 183-192, 2010. (presentation, bibtex)
- Steffen Staab, Tobias Walter, Gerd Grner, and Fernando Silva Parreiras. Model driven engineering with ontology technologies. In Reasoning Web. Semantic Technologies for Software Engineering, volume 6325 of LNCS. Springer, 2010. (bibtex)
- Edward Thomas, Je Z. Pan, and Yuan Ren. TrOWL: Tractable OWL 2 Reasoning Infrastructure. In the Proc. of the Extended Semantic Web Conference (ESWC2010), 2010. (bibtex)
- Tobias Walter, Hannes Schwarz, and Yuan Ren. Establishing a bridge from graph-based modeling languages to ontology languages. In Proceedings of the of the Third Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE) at TOOLS, volume 604 of CEUR Workshop Proceedings. ceur-ws.org, 2010. (bibtex)
- Tobias Walter, Fernando Silva Parreiras, Steen Staab, and Jrgen Ebert. Joint language and domain engineering. In Proc. of 6th European Conference on Modelling Foundations and Applications , ECMFA 2010, Paris, volume 6138 of LNCS. Springer, 2010. (bibtex)
- Christian Wende, Srdjan Zivkovic, Uwe Aßmann, and Harald Kühn. Featurebased Customisation of MDSD Tool Environments. Technical Report, Technische Universitt Dresden, Fakultt Informatik, TUD-FI10-05-Juli 2010, ISSN 1430-211X, 2010. (bibtex)
Publications related to MOST
- Christoff Bürger, Sven Karol, and Christian Wende. Applying Attribute Grammars for Metamodel Semantics. International Workshop on Formalization of Modeling Languages (FML 2010) at ECOOP 2010, 2010. (presentation, bibtex)
- Christoff Bürger, Sven Karol, Christian Wende, and Uwe Aßmann. Reference Attribute Grammars for Metamodel Semantics. 3rd International Conference on Software Language Engineering (SLE 2010), 2010. (presentation, bibtex)
- Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Michael Thiele, Christian Wende, and Claas Wilke. Integrating OCL and Textual Modelling Languages. In Jordi Cabot, Tony Clark, Manuel Clavel, and Martin Gogolla, editors, Proceedings of the Workshop on OCL and Textual Modelling (co-located with MODELS 2010), 2010. (presentation, bibtex)
- Henri Mhle and Christian Wende. Describing Role Models in Terms of
Formal Concept Analysis. 8th International Conference on Formal Concept
Analysis (ICFCA10), 2010. (presentation, bibtex) - Guilin Qi, Qiu Ji, Je Pan, and Jianfeng Du. Possdl - a possibilistic dl reasoner for uncertainty reasoning and inconsistency handling. In Proceedings of 7th the Extended Semantic Web Conference (ESWC2010), 2010. (bibtex)
- Jan Reimann, Mirko Seifert, and Uwe Aßmann. Role-Based Generic Model Refactoring. In Dorina C. Petriu, Nicolas Rouquette, and Øystein Haugen, editors, MoDELS (2), volume 6395 of Lecture Notes in Computer Science, pages 78-92. Springer, 2010. (presentation, bibtex)
- Yuan Ren, Kees van Deemter, and je Z. Pan. Charting the Potential of Description Logic for the Generation of Referring Expressions. In Proc. of 6th International Conference on Natural Language Generation(INLG-2010), 2010. (bibtex)
- Quentin Reul and Je Z. Pan. KOSIMap: Use of Description Logic Reasoning to Align Heterogeneous Ontologies. In the Proc. of International Description Logic Workshop (DL2010), 2010. (bibtex)
- Mirko Seifert, Christian Wende, and Uwe Aßmann. Anticipating Unanticipated
Tool Interoperability using Role Models. In Jean Bézivin, Richard Mark Soley, and Antonio Vallecillo, editors, MDI 2010, pages 52-60, New York, NY, USA, 2010. ACM. (presentation, bibtex) - Edward Thomas, Je Z. Pan, Stuart Taylor, and Yuan Ren. Lightweight Reasoning and the Web of Data for Web Science. In the Proc. of the 2nd International Conference on Web Science (WebSci 2010), 2010. (bibtex)
- Claas Wilke, Michael Thiele, and Christian Wende. Extending Variability for OCL Interpretation. Proceedings of the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoD-ELS2010), Oslo, 2010. (presentation, bibtex)
Older
- Hannes Schwarz, Jürgen Ebert, Jens Lemcke, Tirdad Rahmani, and Srdjan Zivkovic. Using Expressive Traceability Relationships for Ensuring Consistent Process Model Refinement. In Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010. to appear. (bibtex)
- Jens Lemcke. Light-weight semantic integration of generic behavioral component descriptions. In Gregoris Mentzas and Andreas Friesen, editors, Semantic Enterprise Application Integration for Business Processes, chapter 7. IGI Global, Harrisburg, PA, September 2009. (bibtex)
- Jianfeng Du, Guilin Qi, Jeff Pan, and Yi-Dong Shen. A decomposition based approach to optimizing conjunctive query answering in owl dl. In 8th International Semantic Web Conference (ISWC2009), October 2009. (bibtex)
- Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Pan, and Steen Staab. Validating process refinement with ontologies. Poster at 6th European Semantic Web Conference (ESWC), 2009. (bibtex)
- Yuan Ren, Gerd Gröner, Jens Lemcke, Tirdad Rahmani, Andreas Friesen, Yuting Zhao, Jeff Z. Pan, and Steen Staab. Validating process refinement with ontologies. In Elisa F. Kendall, Jeff Z. Pan, Marwan Sabbouh, Ljiljana Stojanovic, and Yuting Zhao, editors, 5th International Workshop on Semantic Web Enabled Software Engineering (SWESE), volume 524 of CEUR Workshop Proceedings, pages 1-15. CEUR-WS.org, 2009. (bibtex)
- Yuan Ren, Jens Lemcke, Andreas Friesen, Tirdad Rahmani, Srdjan Zivkovic, Boris Gregorcic, Andreas Bartho, Yuting Zhao, and Jeff Z. Pan. Task representation and retrieval in an ontology-guided modelling system. In Rinke Hoekstra and Peter F. Patel-Schneider, editors, OWL: Experiences and Directions (OWLED), volume 529 of CEUR Workshop Proceedings. CEURWS.org, 2009. (bibtex)
- Kewen Wang, Zhe Wang, Rodney Topor, Jeff Pan, and Grigoris Antoniou. Concept and role forgetting in alc ontologies. In 8th International Semantic Web Conference (ISWC2009), October 2009. (bibtex)
- Andreas Bartho. Creating and maintaining tutorials with deft. In ICPC, pages 309-310, 2009. (bibtex)
- Gerd Groener and Steen Staab. Modeling and Query Pattern for Process Retrieval in OWL. In Proc. of 8th International Semantic Web Conference (ISWC), volume 5823, pages 243-259. LNCS, 2009. (bibtex)
- Florian Heidenreich, Jendrik Johannes, Mirko Seifert, and Christian Wende. Closing the gap between modelling and java. In Mark van den Brand and Jeff Gray, editors, In Proceedings of the 2nd International Conference on Software Language Engineering (SLE 2009), Lecture Notes in Computer Science. Springer, oct 2009. (bibtex)
- Florian Heidenreich, Jendrik Johannes, Mirko Seifert, and Christian Wende. Jamopp: The java model parser and printer. In Technical Report, Technische Universitt Dresden, Fakultt Informatik, TUD-FI09-10, 2009. (bibtex)
- Florian Heidenreich, Jendrik Johannes, Mirko Seifert, Christian Wende, and Marcel Böhme. Generating Safe Template Languages. In Proceedings of the 8th International Conference on Generative Programming and Component Engineering (GPCE 2009), pages 99-108, New York, NY, USA, 2009. ACM. (bibtex)
- Krzysztof Miksa, Marek Kasztelnik, and Pawel Sabina. Towards semantic modeling of physical devices in ngoss technology review. Comarch Technology Review, 2009. (bibtex)
- Krzysztof Miksa, Marek Kasztelnik, Pawel Sabina, and Tobias Walter. Towards semantic modeling of network physical devices. In Proceedings of the 2nd International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2009) at MoDELS 2009, 2009. (bibtex)
- Hannes Schwarz. Towards a Comprehensive Traceability Approach in the Context of Software Maintenance. In Proceedings of the 13th European Conference on Software Maintenance and Reengineering (CSMR 2009), 2009. (presentation, bibtex)
- Hannes Schwarz, Jürgen Ebert, and Andreas Winter. Graphbased traceability: a comprehensive approach. Software and Systems Modeling, 11 2009. (bibtex)
- Tobias Walter and Jürgen Ebert. Combining DSLs and Ontologies using Metamodel Integration. In Domain-Specific Languages, volume 5658, pages 148-169. Springer, 2009. (bibtex)
- Christian Wende and Florian Heidenreich. A model-based product-line for scalable ontology languages. In Proceedings of the 1st International Workshop on Model-Driven Product Line Engineering. Online proceedings, 2009. (bibtex)
- Christian Wende, Nils Thieme, and Steen Zschaler. A role-based approach towards modular language engineering. In Mark van den Brand and Jeff Gray, editors, In Proceedings of the 2nd International Conference on Software Language Engineering (SLE 2009), Lecture Notes in Computer Science. Springer, 2009. (bibtex)
- Tobias Walter and Jürgen Ebert. Combining ontology-enriched domainspecific languages. In Proceedings of the of the Second Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE) at MoDELS, 2009. (bibtex)
- Tobias Walter, Fernando Silva Parreiras, and Steen Staab. Ontodsl: An ontology-based framework for domain-specific languages. In ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems, 12th International Conference, MODELS 2009, volume 5795 of LNCS, pages 408-422. Springer, 2009. (bibtex)
- Srdjan Zivkovic, Harald Kuehn, and Marion Murzek. An architecture of ontology-aware metamodelling platforms for advanced enterprise repositories. In Proceedings of the 1st International Workshop on Advanced Enterprise Repositories (AER 2009), Colocated with 11th International Conference on Enterprise Information Systems (ICEIS 2009) Milano, Italy, pages 95-104, 2009. (presentation, bibtex)
- Krzysztof Miksa. On marrying ontologies & software technologies. Comarch Technology Review, 2008. (bibtex)
- Hannes Schwarz, Jürgen Ebert, Volker Riediger, and Andreas Winter. Towards Querying of Traceability Information in the Context of Software Evolution. In Rainer Gimnich, Uwe Kaiser, Jochen Quante, and Andreas Winter, editors, 10th Workshop Software Reengineering (WSR 2008), volume 126 of GI Lecture Notes in Informatics. GI, 2008. (presentation, bibtex)
- Srdjan Zivkovic, Marion Murzek, and Harald Kuehn. Bringing ontology awareness into model driven engineering platforms. In Proceedings of the 1st International Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008) at MoDELS 2008, pages 47-54, 2008 (presentation, bibtex)





 
You are here: