EP2369528 - Information processing apparatus, method and protocol for generation of formal requirements specification models [Right-click to bookmark this link] | Status | The application is deemed to be withdrawn Status updated on 24.08.2012 Database last updated on 03.09.2024 | Most recent event Tooltip | 24.08.2012 | Application deemed to be withdrawn | published on 26.09.2012 [2012/39] | Applicant(s) | For all designated states Siemens AG Wittelsbacherplatz 2 80333 München / DE | [N/P] |
Former [2011/39] | For all designated states SIEMENS AKTIENGESELLSCHAFT Wittelsbacherplatz 2 80333 München / DE | Inventor(s) | 01 /
Boulila, Naoufel, Dr. Schleissheimer Strasse 266 80809 München / DE | [2011/39] | Representative(s) | (deleted) | [2011/39] | Application number, filing date | 10003074.1 | 23.03.2010 | [2011/39] | Filing language | EN | Procedural language | EN | Publication | Type: | A1 Application with search report | No.: | EP2369528 | Date: | 28.09.2011 | Language: | EN | [2011/39] | Search report(s) | (Supplementary) European search report - dispatched on: | EP | 22.06.2010 | Classification | IPC: | G06N5/02 | [2011/39] | CPC: |
G06N5/025 (EP)
| Designated contracting states | AT, BE, BG, CH, CY, CZ, DE, DK, EE, ES, FI, FR, GB, GR, HR, HU, IE, IS, IT, LI, LT, LU, LV, MC, MK, MT, NL, NO, PL, PT, RO, SE, SI, SK, SM, TR [2011/39] | Extension states | AL | Not yet paid | BA | Not yet paid | ME | Not yet paid | RS | Not yet paid | Title | German: | Informationsverarbeitungsvorrichtung, Verfahren und Protokoll zur Erstellung formeller Anforderungsspezifizierungsmodelle | [2011/39] | English: | Information processing apparatus, method and protocol for generation of formal requirements specification models | [2011/39] | French: | Appareil de traitement d'informations, procédé et protocole pour la génération de modèles de spécification d'exigences formelles | [2011/39] | Examination procedure | 29.03.2012 | Application deemed to be withdrawn, date of legal effect [2012/39] | 08.05.2012 | Despatch of communication that the application is deemed to be withdrawn, reason: examination fee not paid in time [2012/39] | Fees paid | Penalty fee | Additional fee for renewal fee | 31.03.2012 | 03   M06   Not yet paid |
Opt-out from the exclusive Tooltip competence of the Unified Patent Court | See the Register of the Unified Patent Court for opt-out data | ||
Responsibility for the accuracy, completeness or quality of the data displayed under the link provided lies entirely with the Unified Patent Court. | Documents cited: | Search | [X] - TONY SPITERI STAINES ED - ANONYMOUS, "Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets", ENGINEERING OF COMPUTER BASED SYSTEMS, 2008. ECBS 2008. 15TH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE, IEEE, PISCATAWAY, NJ, USA, (20080331), ISBN 978-0-7695-3141-0, pages 191 - 200, XP031244238 [X] 1-4 * the whole document * | [X] - KERKOUCHE E ET AL, "Transforming UML models to colored petri nets models using graph grammars", COMPUTERS AND COMMUNICATIONS, 2009. ISCC 2009. IEEE SYMPOSIUM ON, IEEE, PISCATAWAY, NJ, USA, (20090705), ISBN 978-1-4244-4672-8, pages 230 - 236, XP031510560 [X] 1-4 * the whole document * | [XA] - JOAO M FERNANDES ET AL, "Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net", SCENARIOS AND STATE MACHINES, 2007. SCESM '07: ICSE WORKSHOPS 2007. SI XTH INTERNATIONAL WORKSHOP ON, IEEE, PI, (20070501), ISBN 978-0-7695-2958-5, pages 2 - 2, XP031116674 [X] 1,3 * the whole document * [A] 2,4 |