-------- Original-Nachricht -------- Betreff: [WI] Call for Papers: Workshop on Logic Based Modeling 09 Datum: Mon, 2 Mar 2009 12:00:19 +0100 Von: Matthias Fischer fischer@winf.tu-darmstadt.de An: wi@aifb.uni-karlsruhe.de

Apologies for cross-posting

***** Call for Papers *****

for the workshop on

***** Logic Based Modeling 2009 *****

co-located with ER 2009

in Gramado, Brazil

***** Scope of the Workshop *****

In our days, the situations to be modeled are getting more and more complex as the technical possibilities evolve. An example of the growing technical ability to deal with more complex situations is the recent improvement in complex event processing technologies. To be able to build application systems that deal with complex situations in a controlled and efficient manner, it is inevitable to improve modeling techniques as well. We are confident that one way to overcome complexity in modeling is the use of advanced logics.

Every modeling method consists of a modeling language and a modeling procedure. Logic can be integrated in the modeling-language used or may even be a part of the process, either the construction process of the model itself or the rationale for the final model.

The LbM09-workshop deals with the use of logic in modeling languages and the modeling process itself. Papers should be submitted that deal with the integration of advanced logic into modeling languages or modeling approaches using advanced logics in the procedure of modeling. By the term "advanced logic" we understand logic that goes further than typical Boolean logic with simple truth-values like "true" and "false". Examples are modal logic, temporal or topological logic, description logic, hybrid logic, normative logic or practical logic. Dialogical logic in computer science obtains its significance in designing protocols e.g. in eCommerce. It is a serious extension of classical logic. In our daily life we are encountering phrases like "it is necessary, it is possible, ... or it is obligatory, it is permitted" quite frequently. Modal logic is about to reconstruct these expressions and to find new logical implications.

The advantage of using sophisticated logical concepts in modeling is the possibility to capture more meaning and semantics in the model.

***** Topics of Interest *****

The topics addressed by the workshop include (but are not limited to):

- Integration of advanced logical concepts into modeling languages

- The use of advanced logical concepts in the modeling process

- Experiences with the application of logical concepts in real-life scenario modeling

- Advanced logical concepts to be included in modeling

- Extensions of modeling-languages and approaches with logical concepts

- Logic-based analysis of UML

- Logic-based analysis of SBVR

- Logic-based analysis of other modeling-languages

***** Important Dates *****

submission deadline: April, 17th, 2009

notification of acceptance: June, 1st, 2009

submission of camera-ready versions: June, 17th, 2009

***** Submission Guidelines *****

The workshop proceedings will be published by Springer, which is why

- Papers must not exceed 10 pages and must conform to LNCS rules.

- All submissions must be in English.

- Submitted papers need to be originals and may not be submitted or accepted for publication in any other workshop, conference, or journal.

Submission to LbM 09 will be electronically only. Please use the EasyChair registration system linked at the workshops website.

www.metainformationen.de/LbM09

For each accepted paper at least one of the authors must be registered by July 20, 2009, attend the conference and present the paper. Authors will find the registration form, along with the conference hotel reservation form, on the conference web site: http://www.inf.ufrgs.br/ER2009/

The CfP and more information concerning the workshop are available online at: www.metainformationen.de/LbM09

***** Organization *****

Workshop-Chair:

- Erich Ortner, Darmstadt University of Technology, Germany

Program Committee:

- Ulrich Frank, University of Duisburg-Essen, Germany

- Stefan Jablonski, University of Bayreuth, Germany

- Dimitris Karagiannis, University of Vienna, Austria

- Erich Ortner, Darmstadt University of Technology, Germany

- Bernhard Thalheim, Christian-Albrecht-University of Kiel, Germany

- Klaus Turowski, University of Augsburg

- Hartmut Wedekind, University of Erlangen-Nuremberg

/Matthias Fischer///

/Dipl. Wirtsch.-Inform.///

/Wissenschaftlicher Mitarbeiter/

/Technische Universität Darmstadt/

/Fachbereich 1 Rechts- und Wirtschaftswissenschaften/

/Fachgebiet Wirtschaftsinformatik I/

/Hochschulstr. 1/

/D-64289 Darmstadt/

/ /

/Tel. 0 61 51 - 16-3215/

/Fax 0 61 51 - 16-4301/

-- Mailing-Liste: WI@aifb.uni-karlsruhe.de Administrator: WI-admin@aifb.uni-karlsruhe.de Konfiguration: http://www.aifb.uni-karlsruhe.de/mailman/listinfo/wi