Vladimir Mencl, Ph.D.

Researcher
Distributed Systems Research Group
Department of Software Engineering,
Faculty of Mathematics and Physics ,
Charles University, Prague, Czech Republic,
Malostranske namesti 25
11800 Praha
Czech Republic

email: vladimir.mencl <at> gmail.com

I am away.
I am now working for Research and Education Advanced Network New Zealand (REANNZ).

[Research] [Projects] [Theses & projects supervised] [Publications] [Education] [Teaching] [Resume] [Related work] [Personal]

Research interests and activities

Current and recent involvement:

PC co-chair of FACS'06.
PC member of
- WISBD - IV Workshop on Software Engineering and Database, part of the CACIC2007, XIII Argentinean Conference on Computer Science, Corrientes and Resistencia, Argentina, 1-5 October 2007
- FACS'07.
- ICECCS 2006 - 11th IEEE International Conference on Engineering of Complex Computer Systems
- SOFSEM 2007 (Track: Dependable Software and Systems)
- ICCCIT - International Conference on Computer, Communication and Information Technologies, July 14-16, 2007, Tabriz, Iran (postponed/cancelled)
- WISBD - III Workshop of Software Engineering and Data Bases, part of CACIC2006, XII Argentine Congress of Computer Science, October 17-21, 2006, San Luis, Argentina

Research interests:

Formal Methods for Behavior specification
Use Cases and UML
- Formal models of use cases
- Formal notations for use cases
- Deriving behavior specifications from textual use cases
Component Based Programming
other research interests and activities:
- Architecture Description Languages, Component Composition
- Component State Transformation, Component updates
- Distributed technologies : CORBA, EJB, RMI, JINI

Projects

Asbaco (Aspect Based Controllers), http://dsrg.mff.cuni.cz/~mencl/projects/asbaco/
The Asbaco Project captures the internal structure of the control part of a component and provides a mechanism to extend the control functionality via component aspects.
Procasor project, http://dsrg.mff.cuni.cz/procasor
Proposes a scheme to obtain behavior specifications via NLP tools from textual use cases, implemented in an interactive environment in the Procasor project.
Port State Machines
Port State Machines, an extension of UML2.0 Protocol State Machine, permit to capture the nesting and interleaving of operation calls on the interfaces of a component.
OSMOSE/ObjectWeb, http://www.itea-osmose.org/, http://www.objectweb.org/
SOFA project, http://dsrg.mff.cuni.cz/SOFA/
Past projects:
- EJB Comparison Project, http://dsrg.mff.cuni.cz/EJBCOMP/
- CORBA Comparison Project, http://dsrg.mff.cuni.cz/COMP/

Theses and student projects supervised

Recent thesis and projects:

Master's thesis: Jaroslav Dražan, Natural Language Processing of Textual Use Cases (Oct 2004 - Feb 2006), proposal, project page.
Software project: Jan Franců, Jiří Ondrušek, Michal Fiedler, Aleš Plšek: Procasor Environment: Interactive Environment for Requirement Specification (Oct 2004 - Sep 2005), proposal, project page.
Master's thesis: Matěj Polák, UML 2.0 Components (Oct 2004 - Sep 2005), proposal, project page.
Master's thesis: Jiří Samek, Employing OCL for specifying behavior compliance (Oct 2003 - Sep 2005), proposal, project page.
Master's thesis: Zuzana Petrová, Update Description Language (Oct 1998 - Sep 1999)
Master's thesis: Petr Hnětynka, Managing Type Information in an Evolving Environment, (Oct 1999 - Aug 2000)
Undergraduate thesis: Jan Beneš, Netshare - networked group organizer, (Oct 1998 - May 2000)

Publications

Refereed (journals/proceedings)
PDF WWW	Chen, X., Liu, Z., Mencl, V. : Separation of Concerns and Consistent Integration in Requirements Modelling , in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp. 819-831, DOI 10.1007/978-3-540-69507-3_71, Springer, Jan 2007
PDF WWW	Drazan, J., Mencl, V. : Improved Processing of Textual Use Cases: Deriving Behavior Specifications , in Proceedings of SOFSEM 2007, January 20 - 26, 2007, Harrachov, Czech Republic, LNCS 4362, pp.856-868, DOI: 10.1007/978-3-540-69507-3_74, Springer, Jan 2007
PDF	Liu, Z., Mencl, V. , Ravn, A. P., Yang, L.: Harnessing Theories for Tool Support , Accepted for publication in Proceedings of 2nd International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006), 15-19 November 2006, Cyprus, IEEE Computer Society, Nov 2006
PDF	Kofron, J. , Adamek, J. , Bures, T. , Jezek, P. , Mencl, V. , Parizek, P. , Plasil, F. : Checking Fractal Component Behavior Using Behavior Protocols , Presented at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006
PDF	Mencl, V. , Polak, M.: UML 2.0 Components and Fractal: An Analysis , accepted to the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006
PDF	Barros, T., Henrio, L., Cansado, A., Madelaine, E., Morel, M., Mencl, V. , Plasil, F. : Extension of the Fractal ADL for the Specification of Behaviours of Distributed Components , accepted for poster presentation at the 5th Fractal Workshop (part of ECOOP'06), July 3rd, 2006, Nantes, France, Jul 2006
PDF WWW	Mencl, V. , Bures, T. : Microcomponent-Based Component Controllers: A Foundation for Component Aspects , in Proceedings of 12 ^th Asia-Pacific Software Engineering Conference (APSEC 2005), Dec 15-17, 2005, Taipei, Taiwan, pp. 729-738, ISBN 0-7695-2465-6, ISSN 1530-1362, IEEE Computer Society Press, Dec 2005
PDF	Mencl, V. , Plasil, F. , Adamek, J. : Behavior Assembly and Composition of Use Cases - UML 2.0 Perspective , in Proceedings of the Software Engineering (SE) 2005 conference, Feb. 15-17, 2005, Innsbruck, Austria, ISBN 0-88986-466-7, ISSN 1027-2666, pp. 193-201, ACTA Press, Feb 2005
PDF WWW	Mencl, V. : Specifying Component Behavior with Port State Machines , Electronic Notes in Theoretical Computer Science, vol. 101C pp. 129-153, Proceedings of the Workshop on the Compositional Verification of UML Models (CVUML, Oct 21, 2003, part of UML 2003), Edited by F. de Boer and M. Bonsangue, ISSN 1571-0661, Elsevier Science, Nov 2004
PDF	Mencl, V. : Deriving Behavior Specifications from Textual Use Cases , in Proceedings of Workshop on Intelligent Technologies for Software Engineering (WITSE04, Sep 21, 2004, part of ASE 2004), Linz, Austria, ISBN 3-85403-180-7, pp. 331-341, Oesterreichische Computer Gesellschaft, Sep 2004
PDF	Plasil, F. , Mencl, V. : Getting "Whole Picture" Behavior in a Use Case Model , in Proceedings of IDPT 2003, Austin, Texas, U.S.A., ISSN 1090-9389, abstract pp. 23, full paper on CD in session-4/p-4-4.pdf, published by Society for Design and Process Science, Grandview, Texas, awarded with Rudolf Christian Karl Diesel Best Paper Award, also published in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003
PDF	Plasil, F. , Mencl, V. : Getting "Whole Picture" Behavior in a Use Case Model , in Transactions of the SDPS: Journal of Integrated Design and Process Science, vol. 7, no. 4, pp. 63-79, Dec 2003, ISSN-1092-0617, publisher: Society for Design and Process Science, Grandview, Texas, slightly modified version of paper published in Proceedings of IDPT 2003 , Dec 2003
PDF	Mencl, V. : Autonomous Points in Component Composition , Extended abstract of the Poster presented at OOPSLA 2001, in the Conference Companion, ACM ISBN 1-58113-441-X, pp. 83-84, Tampa, FL, USA, Oct 2001
Nonrefereed (proceedings/slides)
PDF	Adamek, J. , Bures, T. , Jezek, P. , Kofron, J. , Mencl, V. , Parizek, P. , Plasil, F. : Real-life Behavior Specification of Software Components , Presented at the 11th EMEA Academic Forum, Dublin, Ireland, May 2006
PDF	Mencl, V. : Microcomponent-Based Component Controllers: A Foundation for Component Aspects , presented at Seminar of UNU-IIST, Macao (slides), Sep 2005
WWW	Mencl, V. : From Textual Use Cases to Behaviour Specifications , ERCIM News No. 59, October 2004, published by ERCIM EEIG, Sophia-Antipolis Cedex, ISSN 0926-4981, pp. 64-65, Oct 2004
PDF WWW	Mencl, V. : Specifying Component Behavior with Port State Machines , presented at Colloquium CIS-TU Berlin and Fraunhofer-ISST, Berlin (slides), Apr 2004
PDF	Mencl, V. : From Textual Use Cases to Behavior Specifications , presented at Colloquium CIS-TU Berlin and Fraunhofer-ISST, Berlin (slides), Apr 2004
PDF	Plasil, F. , Mencl, V. : Getting "Whole Picture" Behavior in a Use Case Model , Presented at CS900 Colloquium seminar, Dept. of CS, University of New Hampshire, Durham, NH, U.S.A. (slides), Dec 2003
PDF	Mencl, V. : Specifying Component Behavior with Port State Machines , Slides presented at the Compositional Verification of UML Models workshop held on Oct 21, 2003 at the UML 2003 Conference , San Francisco, CA, U.S.A., Oct 2003
PDF WWW	Plasil, F. , Mencl, V. : Getting "Whole Picture" Behavior from Use Cases , presented at Informatics Colloquium, Masaryk University, Brno (slides), Apr 2003
PS.GZ	Mencl, V. , Hnetynka, P. : Managing Type Information in an Evolving Environment , Week of Doctoral Students WDS 2000, Faculty of Mathematics and Physics, Jun 2000
PDF	Pospisil, R., Prochazka, M. , Mencl, V. : On Performance of Enterprise JavaBeans , Presented at the Objekty'99 conference, Prague, Nov 1999
PS.GZ	Mencl, V. , Petrova, Z., Plasil, F. : Update description language (position paper) , Week of Doctoral Students WDS 99, Faculty of Mathematics and Physics, Jun 1999
Books (coauthor/editor)
WWW	de Boer, F., Mencl, V. : Proceedings of the Third International Workshop on Formal Aspects of Component Software (FACS 2006) , Electronic Notes in Theoretical Computer Science, Volume 182, Jun 2007
Technical reports
PDF WWW WWW	de Boer, F., Mencl, V. : Preliminary Proceedings of the Third International Workshop on Formal Aspects of Component Software FACS'06, Prague, Czech Republic September 20-22, 2006 , Technical Report 344, UNU-IIST, P.O.Box 3058, Macau, Sep 2006
PDF WWW	Liu, Z., Mencl, V. , Ravn, A. P., Yang, L.: Harnessing Theories for Tool Support , Technical Report 343, UNU-IIST, P.O.Box 3058, Macau, Aug 2006
PDF	Hnetynka, P. , Plasil, F. , Bures, T. , Mencl, V. , Kapova, L. : SOFA 2.0 metamodel , Tech. Report No. 2005/11 (preliminary version), Dep. of SW Engineering, Charles University, Dec 2005
PDF	Mencl, V. : Converting Textual Use Cases into Behavior Specifications , Tech. Report No. 2004/5, Dept. of SW Engineering, Charles University, Prague, Aug 2004
PDF	Mencl, V. : Enhancing Component Behavior Specifications with Port State Machines , Tech. Report No. 2003/4, Dept. of SW Engineering, Charles University, Prague, Sep 2003
PDF	Plasil, F. , Mencl, V. : Use Cases: Assembling "Whole Picture" Behavior , Technical Report 02/11, Department of Computer Science, University of New Hampshire, NH, U.S.A., Nov 2002
PDF	Mencl, V. , Adamek, J. , Buble, A., Hnetynka, P. , Visnovsky, S.: Enhancing EJB Component Model , Tech. Report No. 2001/7, Dep. of SW Engineering, Charles University, Prague, Dec 2001
PDF	Mencl, V. : Managing Configuration of Update-enabled Software Components , Tech. Report No. 2001/5, Dep. of SW Engineering, Charles University, Prague, Oct 2001
PDF	Mencl, V. , Hnetynka, P. : Managing Evolution of Component Specifications using a Federation of Repositories , Tech. Report No. 2001/2, Dep. of SW Engineering, Charles University, Prague, Jun 2001
PhD thesis
PDF PDF	Mencl, V. : Use Cases: Behavior Assembly, Behavior Composition and Reasoning , Ph.D. Thesis, advisor: Frantisek Plasil, Jun 2004
Master thesis
PDF PS	Mencl, V. : Component Definition Language , Master Thesis, advisor: Nguyen Duy Hoa, 1998

Education

Ph.D. in Computer Science (2004), Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic
Mgr. (MS equivalent) in Computer Science (1998), Faculty of Mathematics and Physics, Charles University, Prague, Czech Republic

Teaching

Selected Topics in the Java programming language / Vybrané partie z jazyka Java PRG021
Other semesters:
- Object Oriented Systems (review session seminar) - SWI068
- Individual Software Project course ("Ročníkový projekt II") PRG019
Past teaching:
- Programming in C/C++ - (review session seminar) - PRG029
- Operating systems - (review session seminar) SWI004

Professional CV

Related work

See my list of Related work on Requirement specifications and use cases.
Browse the Related work pages of our research group.

Personal

My photo collection
My PGP keys (my PGP key ID 1024D/B5F1073A, e.g.)
Some comments and notes (redirected) on my current academic stay at UNU/IIST.
Homepage of my mum: Milena Menclová
Homepage of someone very very important to me: Andrea Menclova
A group and a set of resources around tramping with children

Last updated Aug 12, 2020
You are visitor number 32186 since 16 Nov 05.